The smallest infinite cardinal number is \(\aleph_0\) (pronounced 'aleph null', or 'aleph naught'), the next is (by definition) \(\aleph_1\), then \(\aleph_2\), and so on.

There are \(\aleph_0\) integers. There are strictly more real numbers than integers (proof by 'diagonalisation'), in fact there are \(2^{\aleph_0}\) reals (proof by construction of a one-one mapping between the reals and the powerset of \(\aleph_0\); this is the cardinality of the continuum, or \(C\). So \(\aleph_0 < C\). We know that \(C\) cannot be less than \(\aleph_1\), because the only infinite cardinal less than \(\aleph_1\) is \(\aleph_0\). So, is \(C\) equal to, or greather than, \(\aleph_1\)?

If \(\aleph_1 < C\), there would be sets with cardinality \(\aleph_1\)
that would have strictly more elements than in the set of integers, but
stricly fewer elements than in the set of reals. Cantor's **continuum
hypothesis** is that \(C = \aleph_1\),
that there are no such intermediate sized sets.

Gödel showed in 1938 that the continuum hypothesis cannot be *disproved*
using just the axioms of set theory. Paul Cohen showed in 1963 that the
continuum hypothesis cannot be *proved* using just the axioms of set
theory. It is independent of those axioms, and is undecidable.

Hausdorff's **generalised continuum
hypothesis** is that \(\forall n \,{\tiny\bullet}\, 2^{\aleph_n} = \aleph_{n+1}\).
It is also undecidable.

- Shaughan Lavine.
*Understanding the Infinite*. - Kevin Wald.
*Banned from Aleph* - Leonard Wapner.
*The Pea and the Sun*.

Under the Generalized Continuum
Hypothesis, there are Aleph-1 real numbers, Aleph-2 functions from
the reals to the reals, Aleph-3 functions from the functions from
the reals to the reals to the functions from the reals to the reals,
Aleph-4 functions from the functions from the functions from the
reals to the reals to the functions from the reals to the reals to
the functions from the functions from the reals to the reals to the
functions from the reals to the reals, and so on. (There are simpler
examples, too, but they're not as much fun to say :-) .

-- Kevin Wald. rec.arts.filk, April 2001