Ordering the Infinite

Set Theory · Axiom Academy

How do we arrange infinite collections in different ways? What Makes a Set Well-Ordered? Ordinals come from well-ordered sets . Let's explore what this means by comparing different arrangements. Different Ways to Arrange Infinity Let's sort these ordinal expressions by dragging them to the correct category. Click on pairs of ordinals to compare them. Which is smaller? Watch how ordinals build up in layers, each more complex than the last. Every ordinal corresponds to a well-ordered set. The ordinal captures the structure of that ordering—not just how many elements there are, but what pattern they form. Two sets with the same ordinal are "order-isomorphic." Finite ordinals (0, 1, 2, ...) behave like regular numbers. Successor ordinals (α+1) come immediately after some ordinal α. Limit ordinals (ω, ω·2, ω²) mark infinite jumps with no immediate predecessor. The ordinals form a well-ordered class that extends far beyond anything we can visualize. They appear throughout mathematics: in set theory, proof theory, and the study of infinity itself. Understanding ordinals opens the door to Cantor's paradise!

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