Eine Formel, die als grundlegende Annahme eines formalen Systems angenommen wird, aus der weitere Formeln abgeleitet werden können; Axiome dienen als primitive Wahrheiten oder Ausgangspunkte für Deduktion in einer bestimmten Sprache und Logik.

Prinzip

Ein Axiom wird (häufig wegen seiner erklärenden Kraft, Einfachheit oder Zweckmäßigkeit) ohne Beweis im System akzeptiert, so dass es zusammen mit den Ableitungsregeln Theoreme durch Deduktion erzeugt.

Demonstration

In der Zermelo‑Fraenkel‑Mengenlehre besagt das Axiom der Extensionalität, dass zwei Mengen genau dann gleich sind, wenn sie dieselben Elemente haben; dieses Axiom wird als Basisformel behandelt, aus der mengen theoretische Folgerungen folgen.

Fehlanwendung

Eine empirische Regelmäßigkeit oder eine informelle erklärende Aussage als Axiom einer formalen Theorie zu präsentieren, ohne formale Kodierung oder Unabhängigkeitsprüfung, verwechselt empirische Evidenz mit logischer Fundierung und kann Inkonsistenzen verbergen.

Konsequenz

Axiome bestimmen den deduktiven Gehalt einer Theorie: verschiedene Axiome erzeugen verschiedene Theorien und Klassen von Modellen; Unabhängigkeitsergebnisse zeigen, dass manche Axiome nicht aus anderen ableitbar sind.

Umkehrung

Ein Theorem ist die Umkehrung der axiomatischen Rolle: ein Theorem ist eine Aussage, die aus Axiomen abgeleitet wurde statt angenommen zu sein; die Umkehr betont Ableitbarkeit statt Primat.

Abgrenzung

Ein Axiom ist relativ zu einer gewählten formalen Sprache und einem Kalkül; es ist nicht notwendigerweise ein Naturgesetz, kann unabhängig oder widersprüchlich mit anderen Axiomen sein, und sein Status kann sich ändern, wenn sich die zugrundeliegende Logik oder Sprache ändert.

Semantische Spannung

Es besteht Spannung zwischen dem Verständnis von Axiomen als selbstverständliche Wahrheiten (philosophische Lesart) und ihrer Betrachtung als formale Samen zur Strukturbildung (mathematische Lesart); beide Perspektiven prägen unterschiedliche Verwendungsweisen von Axiomen.

Synthese

Ein Axiom ist eine primitive Formel, die in einem formalen System akzeptiert wird, um Deduktion zu starten; zusammen mit Ableitungsregeln verankert es die Konsequenzen der Theorie, formt deren Modelle und ist Zentrum von Fragen nach Unabhängigkeit und Konsistenz.