Beyond Finite Numbers

Set Theory · Axiom Academy

What happens when we count past every finite number? Let's start counting. Press the button to count through the natural numbers. Mathematicians use the symbol ω (omega) to represent what comes after all finite numbers. The number line doesn't stop at ω! We can keep going: ω, ω+1, ω+2, ... and beyond. Here's something surprising: ordinal addition is not commutative ! The ordinal numbers begin with 0, 1, 2, 3, ... but they don't stop there. After all finite numbers comes ω, the first infinite ordinal. This opens up an entire hierarchy of transfinite numbers. Ordinals capture ordering patterns . Two sequences with the same size might have different ordinal types if their elements are arranged differently. This is why ordinal arithmetic behaves so differently from regular addition. Beyond ω lie ω+1, ω+2, ω·2, ω², ω³, ..., ω^ω, and infinitely more. Each represents a unique way to order infinite collections. Welcome to the transfinite!

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