Zahlentheorie/Peano-Axiome/Definition

Dedekind-Peano-Axiome

Eine Menge mit einem ausgezeichneten Element (die Null) und einer (Nachfolger)-Abbildung

heißt natürliche Zahlen (oder Dedekind-Peano-Modell für die natürlichen Zahlen), wenn die folgenden Dedekind-Peano-Axiome erfüllt sind.

  1. Das Element ist kein Nachfolger (die Null liegt also nicht im Bild der Nachfolgerabbildung).
  2. Jedes ist Nachfolger höchstens eines Elementes (d.h. die Nachfolgerabbildung ist injektiv).
  3. Für jede Teilmenge gilt: Wenn die beiden Eigenschaften
      • ,
      • mit jedem Element
      ist auch ,

    gelten, so ist .