Peano-Axiome

Fünf Axiome legen die natürlichen Zahlen fest, genau genug, dass eine Maschine jeden Beweis über sie nachprüfen kann. Nach diesem Muster beginnt seither jeder Zweig der Mathematik: erst die Regeln, dann alles Weitere.

Als Nächstes empfohlen → Rekursion · CS·KI

Der Beitrag

1889 legte der italienische Mathematiker Giuseppe Peano — daneben Logiker und Erfinder eines guten Teils der heutigen mathematischen Zeichensprache (∈, ∪, ∩, ∃) — ein sechsunddreißig Seiten starkes lateinisches Heft vor: Arithmetices principia, nova methodo exposita. Darin tat er, was so vor ihm niemand getan hatte: Er schrieb eine Handvoll Axiome auf, aus denen sich im Prinzip die gesamte Arithmetik herleiten lässt. Bis dahin waren die natürlichen Zahlen informell gewesen — jeder verstand sie, formal festgehalten hatte sie niemand. Nach Peano waren sie axiomatisch: so genau bestimmt, dass sich Beweise über sie maschinell nachprüfen ließen.

Peanos Axiome sind von bestechender Sparsamkeit. Ein Anfangselement, üblicherweise die Null, ist Nachfolger von keinem anderen; jedes Element hat genau einen Nachfolger; verschiedene Elemente haben verschiedene Nachfolger; und es gilt das Prinzip der vollständigen Induktion: Was für die Null zutrifft und sich beim Übergang zum Nachfolger vererbt, trifft für jede natürliche Zahl zu. Mehr braucht die Arithmetik nicht. Die Addition entsteht rekursiv aus dem Nachfolger — n + 0 = n, n + S(m) = S(n + m) —, und Multiplikation, Ordnung und die vertrauten Gesetze von Kommutativität, Assoziativität und Distributivität ergeben sich der Reihe nach durch Induktion. Bis 1889 waren die natürlichen Zahlen informell; danach waren sie axiomatisch — genau genug bestimmt, dass jeder Beweis über sie sich im Grundsatz von einer Maschine nachprüfen lässt, und in die Mengenlehre einbettbar als von-Neumann-Ordinalzahlen, in denen jede Zahl die Menge ihrer Vorgänger ist und der Nachfolger von n schlicht n ∪ {n} heißt.

Interessant wird es beim Induktionsaxiom, das sich auf zwei Weisen lesen lässt. In der Peano-Arithmetik zweiter Stufe, wo die Induktion über alle Eigenschaften läuft, ist die Theorie kategorisch: Je zwei Modelle sind isomorph, die Axiome legen die natürlichen Zahlen also wirklich bis auf Umbenennung fest. Die Fassung erster Stufe, in der nur über Formeln der Sprache induziert wird, ist schwächer und lässt Nichtstandardmodelle zu — Modelle mit unendlich großen „natürlichen Zahlen“, größer als jede gewöhnliche. Diese Fassung erster Stufe wurde Gödels Ziel. Weil die Peano-Arithmetik ausdrucksstark genug ist, um Aussagen über sich selbst zu codieren, greifen Gödels Unvollständigkeitssätze unmittelbar an ihr: Keine widerspruchsfreie Erweiterung beweist jede wahre arithmetische Aussage, und keine beweist ihre eigene Widerspruchsfreiheit. PA ist damit das Musterbeispiel eines formalen Systems, dessen innere Ausdruckskraft ihm die eigenen Schranken einträgt. Und der Stil, den Peano eingeführt hat — wenige Axiome an den Anfang, alles Weitere mechanisch daraus —, ist seither die Arbeitsweise der Mathematik, von der Gruppentheorie über die Topologie bis dahin, dass Beweisassistenten wie Rocq (bis 2025 Coq), Lean und Agda induktive Typen als Grundbausteine eingebaut haben.

Warum jetztFunktionale Programmiersprachen legen die natürlichen Zahlen gern nach Peano an: In Haskell ist `data Nat = Zero | Succ Nat` nichts anderes als die Axiome (1) und (2), abgeschrieben, und die rekursiven Definitionen von Addition und Multiplikation folgen Peanos Rezept. Beweisassistenten — Rocq (bis 2025 Coq), Lean, Isabelle, Agda — haben peanoartige induktive Typen als Grundbausteine eingebaut, das Induktionsprinzip als Ableitungsregel dazu. Die umgekehrte Mathematik untersucht, welche Axiome jenseits von Peano nötig sind, um welche Sätze der Analysis zu beweisen. Die Tradition der axiomatischen Grundlegung, die Peano begründet hat, ist zu der Arbeitsweise der Mathematik geworden; von der Gruppentheorie bis zur Topologie beginnt heute alles mit Axiomen in seinem Stil, und die Sorgfalt, jedes Axiom auf Notwendigkeit und Hinlänglichkeit zu prüfen, prägt die moderne mathematische Darstellung.