 Importantly, the set-theoretic objects are found in more than one of the axioms of the theory, and Newton’s calculus is reconstructed in a novel, set-theoretic form. Set-theoretic predicates such as “is a binary relation” and “is a function” are also involved in axiomatizing particle mechanics (Suppes 1957, 249). Once these axioms are made explicit, their models can be specified and these can, in turn, be applied to actual systems, thereby providing a semantics for the axioms (e.g., as described in Section 3.3.1 below). A particular system satisfying these seven axioms is a particle mechanics system. (For an example of Newtonian mechanics from the state-space approach, recall the space capsule of Section 3.1.1.)