Por ello recurrirermos a demostrar en base a la Axiomática de Zermelo-Freankel las propiedades más básicas de los números naturales, propiedades que no son otra cosa que la Axiomática de Peano.