Suppes’ system is (ZF), plus Choice as an optional axiom. This matches most standard mathematics except for pathological choice-dependent results. 8. Sample Theorem and Proof Style Let’s illustrate Suppes’ rigor with a simple theorem from his book:
Proof : Let ( A ) and ( B ) be sets. By Pairing, ( A, B ) is a set. By Union, ( \bigcup A, B ) is a set. But ( \bigcup A, B = A \cup B ). QED. suppes axiomatic set theory pdf
This ensures that a set is determined solely by its elements. There exists a set with no members. [ \exists x \forall y (y \notin x) ] Suppes’ system is (ZF), plus Choice as an optional axiom
Denoted ( \mathcalP(A) ). There exists a set containing ( \emptyset ) and closed under the successor operation ( x \cup x ). Suppes states it in terms of inductive sets. This ensures an infinite set exists (necessary for arithmetic). Axiom 7: Axiom Schema of Separation (Aussonderung) For any set A and any formula ( \phi(y) ) with no free variable for A, there exists a set ( y \in A : \phi(y) ). [ \forall A \exists B \forall y (y \in B \leftrightarrow y \in A \land \phi(y)) ] Sample Theorem and Proof Style Let’s illustrate Suppes’
Introduction Patrick Suppes (1922–2014) was a towering figure in 20th-century philosophy of science, logic, and mathematics. His 1960 book, Axiomatic Set Theory , remains one of the most accessible yet rigorous introductions to the subject. Unlike more formalist treatments (e.g., Bernays–Gödel or Morse–Kelley), Suppes strikes a balance between philosophical motivation and technical precision. For decades, his text has been widely circulated as a PDF, serving self-learners, graduate students, and philosophers.
Suppes’ goal: present a system but with a simpler, more intuitive style, suitable for beginners and philosophers. He uses a first-order language with ε (membership) and = (equality), and builds sets from the empty set upward. 2. The Language and Logical Framework Suppes assumes classical first-order logic with identity. The only non-logical primitive is the binary predicate ∈ (membership). All objects are sets—there are no ur-elements (primitive non-set objects). This is a pure set theory .
Denoted ( \emptyset ). For any sets a, b, there exists a set whose members are exactly a and b. [ \forall a \forall b \exists x \forall y (y \in x \leftrightarrow y = a \lor y = b) ]