Axiom

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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.