De lo que se trata es precisamente de hacer un esfuerzo importante que nos permita poder demostrar que los axiomas de Peano son teoremas dentro de la teoría de la Axiomática de Zermelo-Fraenkel, para precisamente usar el camino más sencillo trazado por Peano.