Peanoaxiome/Prädikatenlogik/Zweitstufig und erststufig/Textabschnitt


Axiom  

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 .

    Mit zweitstufig ist gemeint, dass nicht nur über die Elemente der Menge , die man axiomatisch charakterisieren will, quantifiziert wird, sondern auch über beliebige Teilmengen dieser Menge. Mit dieser Axiomatik lassen sich ausgehend von der Nachfolgerfunktion die Addition und die Multiplikation rekursiv einführen, und es lässt sich zeigen, dass je zwei Modelle für diese zweistufigen Peano-Axiome „isomorph“ sind, dass es also zwischen ihnen eine strukturerhaltende Bijektion gibt. Das im Wesentlichen eindeutig bestimmte Modell für diese Arithmetik bezeichnen wir mit .

    Wir betrachten zwei erststufige Varianten. Dabei wird die Nachfolgerfunktion beibehalten und das Induktionsaxiom, das oben für beliebige Teilmengen formuliert war, wird durch ein Induktionsaxiom für die in der Sprache formulierbaren Ausdrücke ersetzt. Das Induktionsaxiom gilt somit lediglich für Teilmengen, die in der gegebenen Sprache charakterisierbar sind.


    Axiom  

    Die Peano-Axiome für die Nachfolgerfunktion in der ersten Stufe werden (in der Sprache zur Symbolmenge mit einer Konstanten und einem einstelligen Funktionssymbol ) folgendermaßen definiert.

    1. .
    2. .
    3. Für jeden Ausdruck von mit einer freien Variablen gilt

    Aus der obigen zweitstufigen Formulierung der Axiomatik, die nur die Nachfolgerabbildung verwendet, kann man in jedem Modell in eindeutiger Weise eine Addition und eine Multiplikation definieren. Dafür ist das obige erststufige Axiomensystem zu schwach. Stattdessen werden wir unter der Peano-Arithmetik das folgende Axiomensystem verstehen, das mit zwei Konstanten und und zwei zweistelligen Operationen und auskommt. Die Nachfolgerfunktion ist dann durch definiert und es braucht dafür kein eigenes Funktionssymbol.


    Axiom  

    Die Peano-Axiome für Addition und Multiplikation in der ersten Stufe werden (in der Sprache zur Symbolmenge mit den beiden Konstanten und und zwei zweistelligen Funktionssymbolen und ) folgendermaßen definiert.

    1. .
    2. .
    3. .
    4. .
    5. .
    6. .
    7. Für jeden Ausdruck von mit einer freien Variablen gilt

    Die Axiome und entsprechen dabei direkt den Nachfolgeraxiomen von oben. Die Axiome und spiegeln die Grundregeln in der zweistufigen Peano-Arithmetik für die rekursive Definition der Addition wider, und die Axiome und entsprechen den Grundregeln für die rekursive Definition der Multiplikation. Bekanntlich gelten diese Axiome für die natürlichen Zahlen. Anders als bei der obigen zweitstufigen Axiomatik gibt es aber von verschiedene Modelle (nicht Standard-Arithmetiken), die die erststufige Peano-Arithmetik erfüllen. Dies ist aber kein „zufälliges“ Defizit der gewählten Axiomatik, sondern dahinter verbirgt sich eine grundsätzliche Schwäche der Sprache erster Stufe, die durch die Gödelschen Unvollständigkeitssätze präzisiert werden wird.