No se ha añadido ninguna twiki todavía.

(del latín postulatus, de postulare, pedir)

O axioma. Proposición -o función proposicional- que, en los sistemas axiomáticos, se toma, o pide, como principio o punto de partida para la demostración de teoremas, no siendo ni una simple definición de un término ni un enunciado deducible de otros enunciados. En la metodología antigua, los postulados se diferenciaban de los axiomas en que éstos eran evidentes y no demostrados, mientras que aquéllos no eran ni evidentes ni demostrables (se «postulaban»); en la metodología moderna no se distingue entre postulados y axiomas, y éstos no se escogen por su evidencia o su certeza, sino por otras características, como la compatibilidad con otros postulados, por ejemplo, o el número de consecuencias que de ellos se puedan deducir.