Peano-Axiome

< 1 2 3 >

Die Arithmetik von Peano definiert die natürlichen Zahlen.

Diese Theorie lautet:

1.	0 ist eine natürliche Zahl.
2.	Jede natürliche Zahl n hat eine natürliche Zahl n' als Nachfolger.
3.	0 ist kein Nachfolger einer natürlichen Zahl.
4.	Natürliche Zahlen mit gleichem Nachfolger sind gleich.
5.	Enthält X die 0 und mit jeder natürlichen Zahl n auch deren Nachfolger n', so bilden die natürlichen Zahlen eine Teilmenge von X.

Der italienische Mathematiker Giuseppe Peano hat viel zur Zahlentheorie beigetragen.