Lo primero que podemos establecer es que el cardinal del conjunto de primos en el conjunto de los números naturales formula_1 es infinito (esto es, que hay infinitos números primos).