L'ipotesi del continuo è una congettura che sostiene che non esistono altre cardinalità se non quella di $\aleph_0$ e di $\aleph_1$.
In altre parole, ogni sottoinsieme di numeri reali ha una di queste due cardinalità.