Este los derivó de una serie de postulados (lo que implicaba que la existencia del conjunto de números naturales se daba por cierta), que después precisó Peano dentro de una lógica de segundo orden, resultando así los famosos cinco postulados que llevan su nombre.