No obstante, por completitud, introduciremos el resto de axiomas de la Axiomática de Zermelo-Fraenkel antes de acometer la demostración de esas cinco primeras propiedades básicas del conjunto de los números naturales.