Axiom

(griechisch "Grundwahrheit")

ein Grundsatz, der nicht aus anderen Sätzen abgeleitet, also auch nicht bewiesen werden kann. Die Axiome sind jedoch keine unbegründeten Annahmen, sondern gelten als unmittelbar einsichtig. Mehrere Axiome werden in der Axiomatik zu einem Axiomensystem zusammengefasst.