¿El cero es un natural?

La construcción axiomática de Peano consideraba que el 1 era el primer natural, pero en la construcción de von Neumann, el cero es el primer número natural. Y es la construcción más sólida que existe sobre el conjunto NN.

De hecho, bajo la construcción de von Neumann, los axiomas de Peano dejan de ser axiomas y se convierten en teoremas.

Así que será o no será un natural en función de la construcción que tomemos. Adicionalmente puede venir bien que en el conjuntoNN haya un elemento neutro para la suma para darle al menos estructura de monoide a lo que según Peano era meramente un semigrupo, motivo más para sí considerarlo.

Gracias a por la corrección de errores en mi redacción inicial.