Está en la página 1de 1

Un axioma es una premisa que se considera evidente y es

aceptada sin requerir una demostracin previa. En un sistema


hipottico-deductivo, es toda proposicin que no se deduce de otras,
sino que constituye una regla general de pensamiento lgico, por
oposicin a los postulados. En matemtica, un axioma es una
premisa que, por considerarse evidente, se acepta sin demostracin,
como punto de partida para demostrar otras frmulas.
Tradicionalmente, los axiomas se eligen de entre las consideradas
verdades evidentes porque permiten deducir las dems frmulas.
En lgica matemtica, un postulado es un proposicin, no
necesariamente evidente: una frmula bien formada de un lenguaje
formal utilizada en una deduccin para llegar a una conclusin.