Peano-Axiome

Die fünf Peano-Axiome sind eine axiomatische Beschreibung der natürlichen Zahlen:
1. 1 ist eine natürliche Zahl.
2. Jede natürliche Zahl a hat genau einen Nachfolger a′.
3. Es ist stets a′ ≠ 1.
4. Aus a′ = b′ folgt a = b.
5. Jede Menge von natürlichen Zahlen, die die Zahl 1 enthält und die zu jeder Zahl a auch ihren Nachfolger a′ enthält, enthält alle natürlichen Zahlen.