Nuestro primer objetivo ya está cumplido: hemos conseguido definir el conjunto de los números naturales de manera absolutamente formal y recurriendo exlusivamente a la Teoría Axiomática de Conjuntos.