← Theoretical / proof-based

Get started Book tutoring

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

Zermelo–Fraenkel axioms (ZFC)

Mathematical logic & set theory · Theoretical / proof-based

Topic

Zermelo–Fraenkel axioms (ZFC)

Practice by unit: Axiomatic set theory

Undergraduate Mathematical Logic & Set Theory — scope drawn from open logic/set theory notes and typical US intro logic syllabi.

Get started Book tutoring All topics