The role of theorem proving in systems biology

► The manuscript explains the value and rationale of abstraction. ► A distinction is made on which ontological level understanding is sought for. ► It is demonstrated that theorems are not an alternative to mechanistic models. ► Modeling and theorem proving are distinct.