Baustein:Peano-Axiome

Aus VoWi
Zur Navigation springen Zur Suche springen
Peano-Axiome[Bearbeiten]
  1. 0 (Null) ist eine natürliche Zahl
  2. Jede natürliche Zahl n hat genau einen Nachfolger
  3. 0 ist nicht Nachfolger einer natürlichen Zahl
  4. Verschiedene natürliche Zahlen besitzen verschiedene Nachfolger
  5. Jede Eigenschaft, welche 0 zukommt und sich von jeder natürlichen Zahl auf den Nachfolger überträgt, kommt bereits allen natürlichen Zahlen zu