Peano-Axiome

Die Peano-Axiome (auch Dedekind-Peano-Axiome oder Peano-Postulate) sind fünf Axiome, welche die natürlichen Zahlen und ihre Eigenschaften charakterisieren. Sie wurden 1889 vom italienischen Mathematiker Giuseppe Peano formuliert und dienen bis heute als Standardformalisierung der Arithmetik für metamathematische Untersuchungen. Während die ursprüngliche Version von Peano in Prädikatenlogik zweiter Stufe formalisiert werden kann, wird heute meist eine schwächere Variante in Prädikatenlogik erster Stufe verwendet, die als Peano-Arithmetik bezeichnet wird. Mit Ausnahme von Vertretern des Ultrafinitismus wird die Peano-Arithmetik in der Mathematik allgemein als korrekte und konsistente Charakterisierung der natürlichen Zahlen anerkannt. Andere Formalisierungen der natürlichen Zahlen, die mit der Peano-Arithmetik verwandt sind, sind die Robinson-Arithmetik und die Primitiv rekursive Arithmetik.

Richard Dedekind bewies bereits 1888 den sogenannten Isomorphiesatz von Dedekind, dass alle Modelle der Peano-Arithmetik mit Induktionsaxiom zweiter Stufe isomorph zum Standardmodell  sind, d. h., dass die Struktur der natürlichen Zahlen so bis auf Benennung eindeutig charakterisiert wird. Dies gilt dagegen nicht für die erststufige Formalisierung, aus dem Satz von Löwenheim-Skolem folgt die Existenz von paarweise nicht isomorphen Modellen (u. a. Modellen jeder unendlichen Kardinalität), die die Peano-Axiome erfüllen.

Axiome

Ursprüngliche Formalisierung 
Peano betrachtete ursprünglich 1 als kleinste natürliche Zahl. In seiner späteren Version der Axiome, die im Folgenden modern notiert sind, ersetzte er 1 durch 0. Die Axiome haben dann folgende Form:

 
 
 
 
 

Diese Axiome lassen sich folgendermaßen verbalisieren, wobei  als „Nachfolger von “ gelesen wird:
 0 ist eine natürliche Zahl.
 Jede natürliche Zahl  hat eine natürliche Zahl  als Nachfolger.
 0 ist kein Nachfolger einer natürlichen Zahl.
 Natürliche Zahlen mit gleichem Nachfolger sind gleich.
 Enthält die Menge  die 0 und mit jeder natürlichen Zahl  auch deren Nachfolger , so bilden die natürlichen Zahlen eine Teilmenge von .

Das letzte Axiom heißt Induktionsaxiom, da auf ihm die Beweismethode der vollständigen Induktion beruht. Es ist äquivalent zur Aussage, dass jede nichtleere Menge natürlicher Zahlen ein kleinstes Element hat. Mit ihm lassen sich Addition und Multiplikation auf  rekursiv definieren:

 
 

 
 

Die Eins definierte Peano als Nachfolger der Null:
 
Aus dieser Definition folgt mit der Additionsdefinition für den Nachfolger .

Peano setzte als Rahmen eine Klassenlogik voraus. Sein Axiomensystem ist auch in der Mengenlehre interpretierbar oder auch in der Prädikatenlogik zweiter Stufe, da neben Zahlenvariablen im Induktionsaxiom auch die Mengenvariable  vorkommt.

Formalisierung in der Prädikatenlogik erster Stufe 

Die ursprüngliche Formalisierung enthält im Induktionsaxiom eine Quantifikation über Mengen von Objekten (siehe oben). Da aber in der Prädikatenlogik erster Stufe nicht über Mengen von Objekten quantifiziert werden kann, wird für die Formalisierung in der Logik der ersten Stufe das Induktionsaxiom durch ein schwächeres Axiomenschema in der Prädikatenlogik erster Stufe ersetzt. Dieses hat die folgende Form:

  für alle Formeln 

 Gilt  und folgt für jede Zahl n aus  die Gültigkeit von , dann gilt die Formel  für jede natürliche Zahl n.

Für jede Formel  muss das entsprechende Induktionsaxiom hinzugefügt werden; die erststufige Version der Peano-Arithmetik enthält also eine unendliche Menge von Axiomen.

Einzelnachweise

Literatur 
 Richard Dedekind: Was sind und was sollen die Zahlen? Braunschweig, 1888
 Giuseppe Peano: Arithmetices principia, nova methodo exposita. Turin, 1889.
 Hans Hermes: Einführung in die mathematische Logik, B. G. Teubner Stuttgart, 2. Aufl. 1969, Verlags-Nr. 2201

Mathematische Logik
Zahl

hu:Giuseppe Peano#A természetes számok Peano-axiómái