A Glimpse of Paradoxes

Set Theory · Axiom Academy

Discover the mind-bending puzzles that forced mathematicians to rebuild set theory from scratch. In a village, there's a barber who shaves exactly those men who do not shave themselves. Click on villagers to see who shaves whom: The barber paradox has a mathematical twin. Consider this set definition: "R is the set of all sets that are NOT members of themselves" Step 3: Hilbert's Infinite Hotel Imagine a hotel with infinitely many rooms, all occupied. Can we fit more guests? Click the buttons to explore: Step 4: The Crisis and Resolution Click through the timeline to see how mathematics responded to these paradoxes: Cantor's paradise—any collection is a set ZFC axioms rebuild mathematics Paradoxes revealed deep truths and shaped modern mathematics! Self-Reference Creates Paradox When definitions refer to themselves (like the barber or Russell's set R), contradictions can arise. We can't freely form "the set of all sets" or arbitrary self-referential collections without paradox. Infinite sets have surprising properties: an infinite hotel can always fit more guests! The ZFC axioms carefully control set formation, avoiding paradoxes while preserving mathematical power.

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