Definimos el conjunto de los números naturales como el conjunto formula_10 (es decir, el conjunto formado por los elementos comunes a todos los conjuntos inductivos).