Eine grundlegende Annahme über ein mathematisches System, aus der Theoreme abgeleitet werden können. Zum Beispiel könnte das System die Punkt und Gerade in der Ebene sein. Dann wäre ein Axiom, dass es zu zwei beliebigen verschiedenen Punkt in der Ebene genau eine Gerade durch sie gibt.