Dit zijn de postulaten voor de rekenkunde van Peano. Deze theorie definieert natuurlijke getallen als volgt:
* Nul is een getal
* Elk getal heeft een opvolger en die opvolger is ook een getal
* Nul is niet de opvolger van enig getal
* Verschillende getallen hebben verschillende opvolgers
* Als nul een bepaalde eigenschap heeft en uit de veronderstelling dat een getal die eigenschap heeft,
bewezen is dat zijn opvolger die ook heeft, dan heeft elk getal die eigenschap.
Nul is dus wiskundig gezien geen betekenis voor ''niets'' of begrijp ik dat verkeerd?