Fue Zermelo quien demostró la existencia del conjunto de números naturales, dentro de su teoría de conjuntos y principalmente mediante el uso del axioma de infinitud, que, con una modificación de este hecha por Adolf Fraenkel, permite construir el conjunto de números naturales como ordinales según von Neumann.