Axioma

Un axioma es una premisa que se considera «evidente» y es aceptada sin requerir una demostración previa. En un sistema hipotético-deductivo, es toda proposición que no se deduce de otras, sino que constituye una regla general de pensamiento lógico, por oposición a los postulados.¹

En matemática, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente, los axiomas se eligen de entre las consideradas «verdades evidentes» porque permiten deducir las demás fórmulas.

En lógica matemática, un postulado es un proposición, no necesariamente evidente: una fórmula bien formada de un lenguaje formal utilizada en una deducción para llegar a una conclusión.

En matemática se distinguen dos tipos de proposiciones: axiomas lógicos y postulados.