Axiomatic set theory
Mathematical logic & set theory · Theoretical / proof-based
Zermelo–Fraenkel axioms (ZFC) and the cumulative hierarchy
Objectives
- Zermelo–Fraenkel axioms (ZFC) and the cumulative hierarchy
- Ordinals and cardinals; cardinality and Cantor's theorem
- Axiom of choice and well-ordering (equivalents overview)
- Construction of number systems from set theory
- Russell's paradox and limitations of naive set theory
Study materials
- Practice testComing soon