Von griech. axioma , ›Geltung, Forderung‹: Grundsatz, erster Satz oder erstes Prinzip. Ein Axiom kann nicht bewiesen werden; es bedarf allerdings auch nicht des Beweises, da seine Richtigkeit unmittelbar evident ist und es deshalb als Grundsatz oder erstes Prinzip für andere Sätze dient. (Etwa seit Mitte des 19. Jhs. wurde die Evidenz als Kriterium der Richtigkeit von Axiomen aufgegeben zugunsten einer konventionellen Vereinbarung.) Zu den logischen Axiomen gehören der Satz der Identität, der Satz vom Widerspruch, der Satz vom ausgeschlossenen Dritten und der Satz des Grundes. – Als Axiomatik wird die Lehre vom Postulieren und Ableiten bezeichnet, sofern dabei von einem Axiomensystem ausgegangen wird.