This article explores the structure, axioms, key theorems, and enduring relevance of Suppes’ axiomatic set theory. Before Suppes, set theory had been developed naively by Cantor, Frege, and others. However, the discovery of paradoxes (Russell’s paradox, Cantor’s paradox) showed that unrestricted comprehension leads to inconsistency. The axiomatic approach—pioneered by Zermelo (1908), refined by Fraenkel and Skolem (ZFC)—restricts set formation to avoid contradictions.
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) ] suppes axiomatic set theory pdf
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 . This article explores the structure, axioms, key theorems,