Este teorema afirma que el cardinal de formula_16 es mayor que formula_6, donde formula_18 es el cardinal del conjunto potencia de los números naturales, que es exactamente el mismo que el cardinal de los números reales.