L'ipotesi del continuo

E' un postulato dovuto a Cantor. In esso riconosce due tipi di infinito: quello degli insiemi numerabili, detto aleph zero, cioè degli insiemi che possono essere messi in corrispondenza biunivoca con l'insieme dei numeri interi positivi, e quello degli insiemi continui, detto aleph uno, cioè degli insiemi che possono essere messi in corrispondenza biunivoca con l'insieme dei punti di una retta. Cantor enuncia il postulato, che non riuscì mai a dimostrare né a confutare , che non esistono livelli di infinito che siano intermedi tra il numerabile e il continuo.