# Aleph number
An aleph number is one of the indexed infinite cardinal numbers ℵ₀, ℵ₁, ℵ₂, …, ℵ_α, written with the Hebrew letter aleph (ℵ) and introduced by [Georg Cantor](https://www.edgepedia.org/georg-cantor) to denote the cardinalities of infinite well-ordered sets; by the axiom of choice, every infinite cardinal number is some aleph[1](https://encyclopediaofmath.org/wiki/Aleph). The first of them, ℵ₀, is the cardinality of the natural numbers, the smallest infinite size a set can have[1](https://encyclopediaofmath.org/wiki/Aleph).
| Key fact | Detail |
|---|---|
| Origin | Alephs were introduced by Georg Cantor to denote the cardinalities of infinite well-ordered sets; each infinite cardinal number is some aleph, a consequence of the axiom of choice[1](https://encyclopediaofmath.org/wiki/Aleph) |
| ℵ₀ | The cardinality of the set of natural numbers, also the cardinality of ℚ; pronounced "aleph-null", "aleph-zero", or "aleph-naught"[1](https://encyclopediaofmath.org/wiki/Aleph) • [2](https://planetmath.org/alephnumbers) • [3](https://mathworld.wolfram.com/Aleph-0.html) |
| ℵ₁ | The cardinality of the set of all countable ordinal numbers, the smallest uncountable cardinal, strictly larger than ℵ₀[1](https://encyclopediaofmath.org/wiki/Aleph) • [4](https://mathworld.wolfram.com/Aleph-1.html) |
| Ordering | For ordinals α < β, ℵ_α < ℵ_β, and ℵ_{α+1} is the smallest cardinal number that follows ℵ_α[1](https://encyclopediaofmath.org/wiki/Aleph) |
| Arithmetic | ℵ_α + ℵ_β = ℵ_α · ℵ_β = ℵ_{max(α,β)}[1](https://encyclopediaofmath.org/wiki/Aleph) |
| Continuum hypothesis | The assertion 2^{ℵ₀} = ℵ₁; it is independent of Zermelo-Fraenkel set theory with the axiom of choice, assuming those axioms are consistent[1](https://encyclopediaofmath.org/wiki/Aleph) • [4](https://mathworld.wolfram.com/Aleph-1.html) |
| No largest aleph | Cantor showed that the collection of all alephs is not a set, so there is no largest aleph[1](https://encyclopediaofmath.org/wiki/Aleph) |
## Definition and formal construction
The aleph numbers are infinite cardinal numbers defined by transfinite recursion, written ℵ_α, where ℵ is the first letter of the Hebrew alphabet and α is an ordinal number[2](https://planetmath.org/alephnumbers). The recursion starts with ℵ₀, defined as the first infinite ordinal, the cardinality of countably infinite sets such as ℕ and ℚ. For a successor step, ℵ_{α+1} is the least ordinal of cardinality greater than ℵ_α, and for a limit ordinal δ, ℵ_δ is the union ⋃_{α∈δ} ℵ_α[2](https://planetmath.org/alephnumbers). In particular, ℵ₀ corresponds to the ordinal ω₀ and ℵ₁ to the ordinal ω₁, so the scale of cardinal numbers is a subscale of the scale of ordinal numbers[5](https://encyclopediaofmath.org/wiki/Cardinal_number).
**Why every infinite cardinal is an aleph.** As a consequence of the well-ordering principle, every infinite set is equinumerous with an aleph number, so every infinite cardinal is an aleph: for every infinite cardinal κ there is exactly one ordinal α with κ = ℵ_α[2](https://planetmath.org/alephnumbers). The same point follows from the axiom of choice[1](https://encyclopediaofmath.org/wiki/Aleph). The identification matters: aleph numbers are the cardinalities of well-ordered sets, given by initial ordinals. If the axiom of choice fails, not every set can be well-ordered, and the cardinality of a non-well-orderable set requires other machinery, such as Scott's trick[6](https://math.stackexchange.com/questions/2232761/what-is-the-difference-between-cardinals-and-alephs).
The sequence is strictly increasing and unbounded. If α < β, then ℵ_α < ℵ_β, and ℵ_{α+1} is the smallest cardinal number that follows ℵ_α[1](https://encyclopediaofmath.org/wiki/Aleph). There is no largest aleph: Cantor showed that the set of all alephs is meaningless, that is, there is no such set[1](https://encyclopediaofmath.org/wiki/Aleph).
## The first alephs, regularity, and cofinality
ℵ₀ is the cardinality of the natural numbers[1](https://encyclopediaofmath.org/wiki/Aleph). ℵ₁ is the smallest uncountable cardinal, equivalently the cardinal number of the set of all countable ordinal numbers, and it is strictly larger than ℵ₀[4](https://mathworld.wolfram.com/Aleph-1.html).
**Regularity and cofinality.** If cf(α) = α, then α is called regular; otherwise it is called singular. For each cardinal number α, the smallest cardinal α⁺ greater than α is regular, granted the axiom of choice[5](https://encyclopediaofmath.org/wiki/Cardinal_number). In the aleph notation, ℵ_α is singular if α is a limit ordinal and cf(α) < α[1](https://encyclopediaofmath.org/wiki/Aleph). A regular limit cardinal is called weakly inaccessible. The assertion that strongly or weakly inaccessible cardinal numbers exist is independent of the usual axioms of axiomatic set theory[1](https://encyclopediaofmath.org/wiki/Aleph) • [5](https://encyclopediaofmath.org/wiki/Cardinal_number).
König's theorem constrains how cardinals can be built up: if α_t < β_t for all t in a set T and card(T) ≥ ω₀, then the sum ∑_{t∈T} α_t is less than the product ∏_{t∈T} β_t[5](https://encyclopediaofmath.org/wiki/Cardinal_number). One implication for exponentiation is that, when α ≥ 2, the power α^{ω₀} cannot be written as a sum over an infinite ascending sequence of length ω₀ in which every term is smaller than α^{ω₀}.[5](https://encyclopediaofmath.org/wiki/Cardinal_number)
## The continuum hypothesis and the generalized continuum hypothesis
The generalized continuum hypothesis (GCH) states that 2^{ℵ_α} = ℵ_{α+1} for each ordinal number α. When α = 0, this equation takes the form 2^{ℵ₀} = ℵ₁, which is the continuum hypothesis (CH)[1](https://encyclopediaofmath.org/wiki/Aleph). In words, CH asserts that ℵ₁ equals the cardinality of the real numbers[4](https://mathworld.wolfram.com/Aleph-1.html); the Italian Treccani encyclopedia puts it as ℵ₀ denoting the cardinality of the natural numbers, the countable cardinality, while ℵ₁, if the continuum hypothesis is accepted, denotes the cardinality of the set ℝ of real numbers[7](https://www.treccani.it/enciclopedia/aleph_%28Enciclopedia-della-Matematica%29).
Assuming the consistency of Zermelo-Fraenkel set theory with the axiom of choice, the continuum hypothesis can neither be proved nor disproved from those axioms.[4](https://mathworld.wolfram.com/Aleph-1.html) Neither CH nor its negation is provable from the standard axioms[4](https://mathworld.wolfram.com/Aleph-1.html).
## By the numbers: aleph arithmetic
Addition and multiplication of alephs collapse to taking the larger index: ℵ_α + ℵ_β = ℵ_α · ℵ_β = ℵ_{max(α,β)}[1](https://encyclopediaofmath.org/wiki/Aleph). So ℵ₀ + ℵ₀ = ℵ₀ and ℵ₀ · ℵ₀ = ℵ₀, while ℵ₀ + ℵ₁ = ℵ₁.
Exponentiation is subtler and is governed by recursive formulas. The Hausdorff recursive formula governs powers of alephs; its special case at α = 0 is the Bernshtein formula ℵ_n^{ℵ_β} = 2^{ℵ_β} · ℵ_n[1](https://encyclopediaofmath.org/wiki/Aleph). Tarski's recursive formula states that for a limit ordinal α and β < cf(α), ℵ_α^{ℵ_β} = ∑_{ξ<α} ℵ_ξ^{ℵ_β}[1](https://encyclopediaofmath.org/wiki/Aleph). König's theorem, cited above, supplies the basic lower-bound constraint that no power α^{ω₀} with α ≥ 2 can be written as an ω₀-length increasing sum of smaller terms[5](https://encyclopediaofmath.org/wiki/Cardinal_number).
A more recent theorem on the exponentiation of alephs was proved by [Jack Silver](https://www.edgepedia.org/jack-silver) in 1974: if 2^{ℵ_ξ} = ℵ_{ξ+1} for all ξ < ω₁, then 2^{ℵ_{ω₁}} = ℵ_{ω₁+1}[1](https://encyclopediaofmath.org/wiki/Aleph). In other words, the continuum hypothesis pattern cannot fail for the first time exactly at the index ω₁.
## Applications and appearances in mathematics
Alephs classify the sizes of infinite sets across mathematics, from the countable sets measured by ℵ₀ to the uncountable families above them[1](https://encyclopediaofmath.org/wiki/Aleph) • [7](https://www.treccani.it/enciclopedia/aleph_%28Enciclopedia-della-Matematica%29). A classical application is Cantor's result on geometry: n-dimensional space has the same number of points, the cardinality of the continuum, as one-dimensional space, or any finite interval of one-dimensional space, a fact first recognized by Georg Cantor[4](https://mathworld.wolfram.com/Aleph-1.html).
## Notation
The symbol ℵ is the Hebrew letter aleph, sometimes called alef, with Unicode code point 2135, used in pure mathematics to denote transfinite cardinals[8](https://reference.wolfram.com/language/ref/character/Aleph.html.en). ℵ₀ is often pronounced "aleph-null" rather than "aleph-zero", probably because Null is the word for "zero" in Georg Cantor's native language of German; it is also pronounced "aleph-zero" or "aleph-naught", the latter also spelled "aleph-nought"[3](https://mathworld.wolfram.com/Aleph-0.html).
## References
1. [Aleph, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Aleph)
2. [aleph numbers, PlanetMath](https://planetmath.org/alephnumbers)
3. [Aleph-0, Wolfram MathWorld](https://mathworld.wolfram.com/Aleph-0.html)
4. [Aleph-1, Wolfram MathWorld](https://mathworld.wolfram.com/Aleph-1.html)
5. [Cardinal number, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Cardinal_number)
6. [What is the difference between cardinals and alephs? Math StackExchange](https://math.stackexchange.com/questions/2232761/what-is-the-difference-between-cardinals-and-alephs)
7. [Aleph, Treccani, Enciclopedia della Matematica](https://www.treccani.it/enciclopedia/aleph_%28Enciclopedia-della-Matematica%29)
8. [Aleph character, Wolfram Documentation](https://reference.wolfram.com/language/ref/character/Aleph.html.en)
---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Arithmetic and number systems › Number systems › Ordinal and cardinal numbers › Cardinal numbers › Aleph and beth numbers and cardinal notation*
*Initially written Sep 17, 2026 · Reviewed: Sep 17, 2026; Oct 25, 2026 · Edited: Oct 15, 2026; Oct 25, 2026 · Last review: Oct 25, 2026*
*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*
License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license