Axiome sind grundlegende Aussagen einer Wissenschaft oder Theorie, die einerseits nicht auf ihren Wahrheitsgehalt überprüft werden (können) und andererseits allgemein als plausibel, zutreffend und/oder arbeitserleichternd anerkannt werden. Axiome können nicht erklärt oder bewiesen werden, sie können nur beschrieben werden - sie sind einfach da. Kein Axiom eines Axiomensystems darf durch andere Axiome abgeleitet werden können. Axiome müssen wertfrei sein.

Ein besonders anschauliches Beispiel für ein Axiomensystem sind die Axiome, die eine euklidische Ebene bilden, die allseitsbekannte Zeichnenebene aus der Geometrie.

Axiome bilden üblicherweise die Basis von Modellen. In diesem Fall sind die Axiome die Annahmen bzw. Prämissen, unter denen das Modell funktioniert.