In this program
- Zermelo–Fraenkel axioms (ZFC)
- The cumulative hierarchy
- Ordinals and cardinals
- Axiom of choice
- Well-ordering (equivalents overview)
- Construction of number systems from set theory
- Russell's paradox
- Limitations of naive set theory
Axiomatic set theory
Construction of number systems from set theory
Mathematical logic & set theory · Theoretical / proof-based
Topic
Construction of number systems from set theory
Undergraduate Mathematical Logic & Set Theory — scope drawn from open logic/set theory notes and typical US intro logic syllabi.