Als Postulat (von lateinisch postulatus, 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 ...
