Axioma's van Peanol

< 1 2 3 >

De rekenkunde van Peano definieert de natuurlijke getallen.

Deze theorie luidt:

1.	Nul is een getal.
2.	Elk getal heeft een opvolger en die opvolger is ook een getal.
3.	Nul is niet de opvolger van enig getal.
4.	Verschillende getallen hebben verschillende opvolgers.
5.	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.

De Italiaanse wiskundige Guiseppe Peano (1858 - 1932) heeft veel bijgedragen aan de getaltheorie.