Från Rilpedia

Det har föreslagits att denna artikel bör slås ihop med axiom. (Diskutera)

Ett postulat är detsamma som en grundsats eller ett axiom. Det är något man utgår ifrån i en teori och inte bevisar.

Termen användes till exempel av Euklides i dennes verk om geometri: Elementa. För Euklides var axiomen självklara matematiska eller logiska sanningar, medan postulaten var mer geometriska sanningar. Ett axiomatiskt systems postulat är de grundsatser, som utöver logiska symboler även innehåller primitiva uttryck som karakteriserar det sakområde som axiomatiseras. Postulaten är systemets icke-logiska axiom.

Denna distinktion är numera utsuddad och flertalet använder termerna axiom och postulat i samma betydelse. Möjligen är det dock så att exempelvis matematiker, som sysslar med företeelser som går att bevisa oftare använder axiom, medan discipliner som fysik, vars sanningar på sin höjd kan beläggas, föredrar postulat.

Moralfilosofen Immanuel Kant använde sig även han av postulat i sin filosofiska teoribildning, till exempel i antagandet om guden Guds (obevisbara) existens.