Als Postulat (von ‚Gefordertes, Erbetenes, vor Gericht beanspruchtes oder Behauptetes‘) wird ein Grundsatz für eine Diskussion, eine Theorie oder ein formales System bezeichnet, der keine neuen Terme einführt, aber nicht aus den gegebenen Definitionen  abgeleitet werden kann. Ein Postulat gilt als Axiom, wenn sich aus ihm andere Theoreme des Systems oder der Alltagserfahrung herleiten lassen, deren Geltung bereits bekannt ist oder beschlossen wurde. Die Gültigkeit eines Postulats kann auf der Ebene der Metatheorie angegriffen, bestritten und widerlegt werden, z. B. wenn an seiner Stelle ein anderer Satz gefunden wird, der mindestens die gleiche Begründungskraft hat.