Otro modo de demostrar es que formula_41 tiene el mismo cardinal que un subconjunto infinito de los naturales: