(av lat. postulo, kräver, påstår), en grundsats, dvs. en sats som accepteras utan bevis. Ofta skiljs det inte mellan postulat och [[axiom]]; men när så sker är skillnaden i regel denna: Ett axiomatiskt systems axiom är dess rent logiska grundsatser, medan dess postulat är de icke-logiska grundsatserna, dvs. grundsatser som utöver logiska symboler också innehåller [[primitiv|primitiva]] uttryck som är karaktärsitiska för det axiomatiserade sakområdet. Postulat är alltså systemets icke-logiska axiom.
