AXIOMA

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.

Ejemplo

Los Elementos de Euclides. Después de la Biblia, es el libro con más ediciones a sus espaldas. En
este compendio, Euclides parte de los más simple (axiomas) para, poco a poco, construir lo que se
llamó Geometría euclidiana.

POSTULADO

Un postulado es una proposición no evidente por sí misma, ni demostrada, pero que se acepta, ya
que no existe otro principio al que pueda ser referida.1

Si la proposición se considera evidente y es aceptada sin demostración previa, se denomina axioma.2

También se denomina postulado a los principios sustentados por una determinada persona, un
grupo o una organización.3

Por ejemplo, en filosofía y en psicología los diversos enfoques o escuelas suelen diferenciarse en
una serie de proposiciones filosóficas. A éstas se les nombra postulados, que actúan como
definiciones opcionales que delimitan una concepción de cada disciplina (tipo de método que utiliza,
objetivo de estudio, etcétera)

Ejemplos

Una circunferencia puede escribirse con un centro y una distancia.

Todos los ángulos rectos son iguales entre si.

La suma de dos números es única.

Una recta puede trazarse desde un punto cualquiera hasta otro.

TEOREMA

Un teorema es una proposición que afirma una verdad demostrable. En matemáticas, es toda
proposición que partiendo de un supuesto (hipótesis), afirma una racionabilidad (tesis) no evidente
por sí misma.1

También puede decirse que un teorema es una fórmula bien formada que puede
ser demostradadentro de un sistema formal, partiendo de axiomas u otros teoremas. Demostrar
teoremas es un asunto central en la lógica matemática. Los teoremas también pueden ser
expresados en lenguaje natural formalizado.

Los teoremas generalmente poseen un número de premisas que deben ser enumeradas o aclaradas
de antemano. La conclusión del teorema es una afirmación lógica o matemática que es verdadera
bajo las condiciones dadas. El contenido informativo del teorema es la relación que existe entre
las hipótesis y la tesis o la conclusión.

Se llama corolario a una afirmación lógica que es consecuencia inmediata de un teorema, pudiendo
ser demostrada usando las propiedades del teorema de referencia.

Ejemplo

Teorema de Pitágoras: En un triángulo rectángulo el cuadrado de la hipotenusa es igual a la suma

de los cuadrados de los catetos.

COROLARIO

Corolario (del latín corollarium) es un concepto referido a una proposición tanto en matemática
como en lógica que se utiliza para designar la consistencia de un teorema ya demostrado, sin
necesidad de invertir esfuerzo adicional en su demostración. En pocas palabras, es una
consecuencia obvia que no necesita demostración.

Siempre se refiere a una inferencia escueta e inmediata, si bien la distinción entre teorema y
corolario es tan subjetiva como entre lema y teorema, siendo el lema una proposición breve.1

Ejemplo

Una persona que tiene una dieta poco saludable, fuma más de tres cajas de cigarrillos en un día y
no practica ningún ejercicio físico, es el corolario de una enfermedad coronaria como la
hipertensión arterial e incluso un evento cardiovascular como un infarto.
Falacia

En lógica, una falacia (del latín: fallacia, ‘engaño’) es un argumento que parece válido, pero no lo
es.12 Algunas falacias se cometen intencionalmente para persuadir o manipular a los demás,
mientras que otras se cometen sin intención debido a descuidos o ignorancia. En ocasiones las
falacias pueden ser muy sutiles y persuasivas, por lo que se debe poner mucha atención para
detectarlas.3

Que un argumento sea falaz no implica que sus premisas o su conclusión sean falsas ni que sean
verdaderas. Un argumento puede tener premisas y conclusión verdaderas y aun así ser falaz. Lo que
hace falaz a un argumento es la invalidez del argumento en sí.

Ejemplo

Petición de principio.

Se trata de una falacia caracterizada por contener la conclusión del argumento a probar implícita o
explícitamente dentro de las propias premisas disponibles para ello. Por ello es una forma de
razonamiento circular, en que la conclusión apunta a la premisa misma. Por ejemplo: “Yo tengo la
razón, porque soy tu padre y los padres siempre tienen razón”.