The aleph numbers ℵ₀, ℵ₁, ℵ₂, ... enumerate infinite cardinals in increasing order of size. ℵ₀ is the cardinality of ℕ; ℵ₁ is the smallest uncountable cardinal; each larger aleph represents a genuinely larger infinity. This provides a systematic taxonomy of the infinite landscape.
Verify that ℵ₀ = |ℕ| = |ℚ|. Understand ℵ₁ as the smallest cardinal larger than ℵ₀ (not necessarily |ℝ|, per Continuum Hypothesis). Study beth numbers 2^ℵ₀, 2^(2^ℵ₀), ... as alternative hierarchy showing even larger infinities.
From Cantor's diagonalization, you know that ℕ and ℝ are both infinite but ℝ is strictly larger: no bijection between them exists. This shows that "infinite" is not a single size—there is an entire landscape of distinct infinite cardinalities. The aleph hierarchy is the project of systematically organizing all infinite cardinalities into a well-ordered sequence, indexed by ordinals, so that every infinite size has a precise place in the taxonomy.
ℵ₀ (aleph-null) is the cardinality of ℕ, and also of ℤ, ℚ, and every other countably infinite set—all the sets your diagonalization prerequisite showed are "the same size as ℕ." ℵ₁ is defined as the *smallest cardinal strictly greater than ℵ₀*—it is the least uncountable cardinal by definition, not by measurement. Notice: ℵ₁ is not defined as |ℝ|. Whether |ℝ| = ℵ₁ is a separate and independent question—the Continuum Hypothesis—and is not settled by ZFC alone. Then ℵ₂ is the next cardinal after ℵ₁, and so on. For limit ordinals λ, the aleph ℵ_λ is the supremum of all smaller alephs. Every ordinal α indexes an aleph, so the hierarchy extends without bound: ℵ₀, ℵ₁, ℵ₂, …, ℵ_ω, ℵ_{ω+1}, …
The key theorem that makes this exhaustive is the well-ordering theorem (equivalent to the axiom of choice): every set can be well-ordered, meaning its elements can be arranged in a sequence where every non-empty subset has a least element. This guarantees that every infinite set has a cardinality equal to some aleph: the aleph hierarchy is not just a list of large cardinals but a *complete catalog* of all infinite cardinalities. Without the axiom of choice, there can be infinite sets with cardinalities that do not appear in the aleph sequence at all—"amorphous" sets that cannot be well-ordered.
The beth numbers (ℶ₀, ℶ₁, ℶ₂, …) offer a parallel hierarchy generated by iterated power sets: ℶ₀ = ℵ₀, ℶ₁ = 2^{ℵ₀} = |ℝ|, ℶ₂ = 2^{ℶ₁}, and so on. The aleph hierarchy advances by "next cardinal"; the beth hierarchy advances by power set. These two hierarchies can diverge: the Continuum Hypothesis asserts ℶ₁ = ℵ₁ (the first beth equals the first uncountable aleph), while its negation allows ℶ₁ = ℵ₂, ℵ₁₇, or arbitrarily large. The aleph hierarchy provides the framework for asking these cardinality questions precisely; the beth hierarchy provides the answers forced by exponentiation. Their relationship is one of the deepest open structural questions in set theory.