Axiomensysteme

Derartige mathematische Axiomensysteme genügen folgenden Bedingungen:

• Axiome sind Grundannahmen, die meist aus bereits vorhandenen Vorstellungen über den zu definierenden Begriff resultieren, von deren Gültigkeit man ausgeht und die deshalb auch nicht bewiesen werden müssen.
• Axiome sollen zu keinem Widerspruch führen.
• Weitere gewünschte Eigenschaften des zu definierenden Begriffs sowie alle übrigen Sätze der entsprechenden Theorie sollen aus diesen Festlegungen mit den Regeln der Logik bewiesen werden können.
• Keines der Axiome soll aus den anderen Festlegungen des Axiomensystems hergeleitet werden können.

Im Folgenden werden drei Beispiele für mathematische Axiomensysteme angegeben.

Peanosches Axiomensystem (Beispiel 1)

Der italienische Mathematiker GIUSEPPE PEANO (1858 bis 1932) hat im Jahre 1891 nachgewiesen, dass sich die Eigenschaften der natürlichen Zahlen aus fünf Axiomen ableiten lassen (wobei die einzelnen Axiome in der Literatur in verschiedenen Fassungen bzw. Formulierungen angegeben werden):

• Axiom 1: 0 ist eine Zahl.
• Axiom 2: Jede Zahl hat genau einen Nachfolger.
• Axiom 3: 0 ist nicht Nachfolger einer Zahl.
• Axiom 4: Jede Zahl ist Nachfolger höchstens einer Zahl.
• Axiom 5: Von allen Mengen, die die Zahl 0 und mit der Zahl n auch deren Nachfolger n' enthalten, ist die Menge der natürlichen Zahlen die kleinste.

Auf der Basis dieser Axiome wären die natürlichen Zahlen mit 0; 0', 0"; ... zu bezeichnen. Diese Schreibweise ist aber sehr unübersichtlich und beansprucht viel Zeit und Raum. Deshalb verwendet man für die natürlichen Zahlen das dekadische Positionssystem und symbolisiert sie mit 0; 1; 2; ...; 9; 10; 11; ...

Definiert man für die natürlichen Zahlen die uns bekannten Rechenoperationen, so müssen deren Rechenregeln nur mittels der peanoschen Axiome und logischer Schlüsse bewiesen werden können.

Definiert man etwa Addition $\left(+\right)$ und Multiplikation $\left(\cdot \right)$ für natürliche Zahlen m, n mittels
$\begin{array}{l}m+0=0+m=m,\\ m+n\text{'}=\left(m+n\right)\text{'},\\ m\cdot 0=0\cdot m=\mathrm{0,}\\ m\cdot n\text{'}=m\cdot n+m,\end{array}$

so lassen sich aus den peanoschen Axiomen beispielsweise die Kommutativgesetze
$a+b=b+a$ und $a\cdot b=b\cdot a$,

die Assoziativgesetze
$\left(a+b\right)+c=a+\left(b+c\right)$ und $\left(a\cdot b\right)\cdot c=a\cdot \left(b\cdot c\right)$

sowie das Distributivgesetz
$a\cdot \left(b+c\right)=a\cdot b+a\cdot c$
herleiten.

Das dabei benutzte Beweisverfahren der vollständigen Induktion wird durch das Axiom 5 gerechtfertigt.

Kolmogorowsches Axiomensystem (Beispiel 3)

Die Wahrscheinlichkeitsrechnung axiomatisch zu begründen galt lange Zeit als ein aussichtsloses Unterfangen. Noch Anfang des 20. Jahrhunderts war unter Wissenschaftlern die Meinung verbreitet, dass keine weitere mathematische Disziplin auf so unklaren und schwankenden Grundlagen aufgebaut sei wie diese.
Erst als es gelang, Zusammenhänge zwischen der Wahrscheinlichkeitsrechnung und der scheinbar weit von ihr entfernt liegenden Mengentheorie herzustellen, indem zufällige Ereignisse als Mengen definiert wurden, bekamen die Bestrebungen, die Wahrscheinlichkeitsrechnung axiomatisch zu begründen, eine feste Grundlage. Das von dem russischen Mathematiker ANDREJ NIKOLAJEWITSCH KOLMOGOROW (1903 bis 1987) im Jahre 1933 veröffentlichte Axiomensystem stellt einen gewissen Abschluss in diesem Prozess dar.