Aleph Numbers

Set Theory · Axiom Academy

The systematic hierarchy of infinite cardinals indexed by ordinals 1. Aleph-Null: The First Infinity ℵ₀ (aleph-null) is defined as the cardinality of the natural numbers. It is the smallest infinite cardinal number: Any countably infinite set has cardinality ℵ₀. This includes ℕ, ℤ, ℚ, and many other fundamental mathematical sets. The animation shows the natural numbers as the foundation of infinite cardinality. Given any cardinal κ, there exists a next larger cardinal κ⁺ (the successor cardinal). For infinite cardinals, we define: ℵ₁ is the smallest uncountable cardinal. It is strictly larger than ℵ₀, meaning there is no bijection between sets of these cardinalities. This progression continues indefinitely. We can continue taking successors to build an infinite ladder of alephs: Each ℵₙ is strictly larger than ℵₙ₋₁. But the sequence doesn't stop at finite subscripts! The animation shows the initial segment of this infinite hierarchy. After all the finite subscripts, we can take a limit to define ℵ_ω (aleph-omega). For any limit ordinal λ, we define: ℵ_ω is strictly larger than every ℵₙ for finite n. It represents the first "limit cardinal" in the hierarchy. We can continue further: ℵ_ ω+1 , ℵ_ ω+2 , ..., ℵ_ ω·2 , ..., ℵ_ ω² , ... The aleph hierarchy extends through all ordinals. For every ordinal α, there exists a corresponding aleph number:

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