Constructing Sets from Axioms

Set Theory · Axiom Academy

EXAMPLE Constructing Sets from Axioms Build singletons, pairs, ordered pairs, and natural numbers using only ZFC axioms Excellent work! You've completed this example. Here's what we learned: Building from nothing: We can construct arbitrarily complex sets starting from the empty set and applying the axioms step by step. The Pairing axiom is particularly useful for creating small finite sets. Singleton construction: a is built using Pairing as a, a , showing how we can repurpose axioms creatively when they don't exactly match our needs. Ordered pairs: The Kuratowski definition (a,b) = a , a,b encodes order using only unordered sets. This is a brilliant trick that shows order can be reduced to membership. Natural numbers via sets: We represent 0 = ∅, 1 = ∅ , 2 = ∅, ∅ , where each number equals the set of all smaller numbers. This von Neumann construction builds arithmetic from pure set theory. Axioms justify everything: Every construction is justified by explicitly invoking an axiom. In formal set theory, nothing exists unless an axiom guarantees it. These constructions show the power of ZFC: from just axioms and the empty set, we can build all of mathematics! Understanding these fundamental constructions is essential for working in axiomatic set theory.

This is the written version of the interactive lesson above. See the full Set Theory course.