|
Wort: |
Axiome |
|
Beschreibung: |
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. 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): |
|
|
|
Erstellt (c) 2023 von Jens Kallup