O, dicho de otro modo, el conjunto "P" de todos los conjuntos de enteros positivos no es numerable.