Un axioma es una proposición asumida dentro de un cuerpo teórico sobre la

cual descansan otros razonamientos y proposiciones deducidas de esas

premisas.

Introducido originalmente por los matemáticos griegos del período helenístico,

el axioma se consideraba como una proposición «evidente» y que se aceptaba
sin requerir demostración previa. Posteriormente, en un sistema hipotético-
deductivo, un axioma era toda proposición no deducida de otras, sino que
constituye una regla general de pensamiento lógico (por oposición a
los postulados).1 Así en lógica y matemáticas, un axioma es solo una premisa
que se asume, con independencia de que sea o no evidente, y que se usa para
demostrar otras proposiciones. Actualmente se busca qué consecuencias
lógicas comportan un conjunto de axiomas, y de hecho en algunos casos se opta
por introducir un axioma o bien su contrario, viendo que ninguna de las dos
parece una proposición evidente. Así, si tradicionalmente los axiomas se elegían
de entre «afirmaciones evidentes», con el objetivo de deducir el resto de
proposiciones, en la moderna teoría de modelos un axioma es solo una
asunción, y en modo alguno se considera que la verdad o falsedad de los
axiomas dependa del sentido intuitivo que se le pueda atribuir, o se recurre a que
puedan ser autoevidentes.

En lógica un postulado es una proposición no necesariamente evidente:

una fórmula bien formada (planteada) de un lenguaje formal utilizada en
una deducción para llegar a una conclusión.