Así, aunque hablemos de la Axiomática de Peano, sabemos que esos axiomas son teoremas dentro de nuestra teoría, y que por lo tanto sí que estamos trabajando dentro de la teoría de la Axiomática de Zermelo-Fraenkel.