Ein Axiomensystem ist die Grundlage aller mathematischer Systeme. Um ein solches System zu schaffen muß man alle Grundtatsachen und Definitionen finden, aus denen sich alle anderen Sätze des betreffenden Fachgebiets bzw. der betreffenden Wissenschaft sammeln. Ist dies gelungen, so nennt man das Axiomensystem definit.
Damit ein solches System überzeugen kann müssen alle Bezeichnungen, die man verwendet definiert sein und es muß alles bewiesen werden, indem man geistig, die definierten Ausdrücke durch ihre Definitionen ersetzt.
Ein Axiomensystem kann niemals die komplette Wahrheit über ein Sachgebiet wiedergeben, sondern ist immer als ein Modell zu verstehen, selbst wenn uns die Naturwissenschaften glauben machen, wollen, daß sie die Wahrheit über ihr Gebiet wiedergeben. Sobald neue Erkenntnisse gewonnen werden, können die überholten Begriffe jedoch sofort durch neue, exaktere ersetzt werden.
Ein Beispiel aus der Mathematik ist die Entwicklung der Geometrie, die in Kapitel 2 näher besprochen wird. Lange Zeit galt nur die euklidische Geometrie. Als die Möglichkeit von anderen Geometrien gezeigt wurde, wurde die euklidische Geometrie durch die nichteuklidische ersetzt, welche die euklidische immer noch berücksichtigte. Außermathematische Systeme lösen einander viel häufiger ab. Zum Beispiel ersetzte die Einstein'sche Relativität die Newton'sche Mechanik .
|
