Explore the foundations of mathematics through 21 interactive demonstrations.
Elements, set-builder notation, and Venn diagram fundamentals
Union, intersection, complement, difference, and symmetric difference
Cartesian products, mappings, injections, surjections, and bijections
Power sets, inclusion-exclusion, and comparing set sizes
Countability, Cantor's diagonal argument, and Hilbert's Hotel
Russell's paradox, ZFC axioms, and the Axiom of Choice
Ordinal numbers, transfinite induction, and the Continuum Hypothesis