Den postulatet (fra latin postulare som betyr "å spørre"), er en bevist prinsipp som brukes i byggingen av en matematisk teori .
I utvidelsen, i epistemologi , er et postulat en proposisjon som ikke synes åpenbar, men som man aksepterer implisitt eller eksplisitt som et prinsipp som brukes i konstruksjonen av en vitenskapelig teori .
Et postulat kan brukes med samtykke fra lytteren, som tar det som et uprøvd, men utvilsomt legitimt prinsipp , fordi det virker intuitivt uutfordrelig (eller fordi det har blitt bevist senere ved demonstrasjoner som ikke involverer det - se selvreferanse , tautologi ). De fleste av postulatene blir vurdert til å være tegn på sunn fornuft , støtte fra erfaring .
Postulatet er det matematikeren ber om å få tildelt, og som tjener som grunnlag for resten av presentasjonen; det er imidlertid per definisjon ikke forbudt å demonstrere dette senere. Slik sett skilles postulatet fra aksiomet , og sistnevnte blir alltid posisjonert fra starten som et grunnleggende element i systemet som vi ikke vil prøve å demonstrere.
GeometriGeometrien som følge av Euklid ble presentert med aksiomer, antatt ikke å være berettiget, og av et postulat (ved et gitt punkt og parallelt med en gitt linje passerer en og en linje) som muligens kunne blitt demonstrert ved fra disse aksiomene . Oppdagelsen av dette postulatets uavhengighet i forhold til de andre aksiomene førte til å vurdere tre geometrier som kuttet av forskjellige aksiomer, dette postulatet som ble et aksiom bare i euklidisk geometri alene , men ikke i ikke-euklidiske geometrier . Innenfor en aksiomatisk teori er det en uavhengig uttalelse av de andre aksiomene, derimot et postulat, som man på en moderne måte kaller heller en formodning , er en uttalelse som skal være en teori for teorien, men som muligens kan være en undecidable av denne teorien, så status (undecidable or theorem) for et postulat er ikke kjent.