AXIOMA O POSTULADOS

Axioma. Enunciado que se consideraba antiguamente, «evidente» y se aceptaba sin

requerir demostración previa. En un sistema deductivo es toda proposición no deducida
(de otras), sino que constituye una regla general de pensamiento lógico por contradicción
dialéctica a los teoremas. El segundo paso para formar un sistema axiomático consiste en
confeccionar una lista de todas las proposiciones para las que no se dan demostraciones.
Estas proposiciones son los postulados o axiomas.

Etimología
La palabra axioma proviene del griego αξιωμα, que significa "lo que parece justo" o
aquello que es considerado evidente y sin necesidad de demostración. La palabra viene
del griego αξιοειν (axioein) que significa "valorar", que a su vez procede de αξιος (axios)
que significa "valuable" o "digno". Entre los antiguos filósofos griegos, un axioma era
aquello que parecía ser verdadero sin ninguna necesidad de prueba.

Definición
En matemáticas, un axioma es una proposición, como parte de un corpus teórico básico,
por conveniencia de estructuración inicial, se acepta sin demostración, como punto de
partida para demostrar otros resultados conocidos genéricamente como teoremas.
Tradicionalmente los axiomas se elegían de las consideradas «afirmaciones evidentes»,
tal como se constata en los "Elementos " de Euclides.

En matemática se distinguen dos tipos de proposiciones: axiomas y teoremas, estos a su

vez se consideran lemas, teorema corto que da introducción; y corolario que es una
consecuencia inmediata. Actualmente, en desuso, escolio, un teorema pequeño como
resultado ligado a otro de más importancia

En Lógica matemática, un postulado es una 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.

Conceptos
El axioma es uno de los conceptos fundamentales de la forma de conocer que llamamos
Forma científica de conocer o adquisición de conocimiento científico. Del análisis de esta
forma de conocer se ocupa la Epistemología.

El concepto de axioma no ha permanecido invariable a lo largo de la historia, sino que se

ha ido modificando como consecuencia de nuestra mayor comprensión de las
posibilidades de conocer y del alcance del propio conocimiento científico.

El axioma es una proposición Primitiva de un Sistema científico, es decir, una proposición

que se admite sin demostración. A partir del Conjunto de axiomas se deduce
rigurosamente todas las restantes proposiciones del sistema científico. Además de los
axiomas propiamente dichos, el sistema axiomático consta de términos primitivos y
reglas. Los términos primitivos carecen de definición; a partir de ellos se definen todos
los restantes términos.

Las Reglas son de dos tipos, las de formación y las de transformación; éstas a veces
también se llaman de Inferencia. Las reglas de formación son como la gramática del
sistema científico en cuestión: nos dicen qué es una proposición significativa dentro del
sistema. Las reglas de transformación o de inferencia nos dicen cómo obtener o deducir
nuevas proposiciones de las proposiciones ya poseídas.

En Lógica
La Lógica del axioma es partir de una Premisa calificada verdadera por sí misma (el
axioma) e inferir sobre ésta, otras Proposiciones por medio del Método deductivo,
obteniendo conclusiones coherentes con el axioma. Los axiomas han de cumplir sólo un
requisito: de ellos, y de Reglas de inferencia, han de deducirse todas las demás
proposiciones de una teoría dada.

Criterio de los Lógicos

Desde hace cien años los lógicos han perseguido tenazmente la axiomatización de su
ciencia, labor que en la Edad Media se había abordado de modo más bien parcial. La
Apoteosi de los sistemas axiomáticos es Principia Matemática de Whitehead y Russell.
Allí de unos pocos axiomas se intenta deducir toda la lógica y la matemática, porque
siguiendo al lógico alemán Gottlob Frege, Whitehead y Russell creían que la matemática
era simplemente una parte de la lógica.

Hubo varias modificaciones posteriores a Principia Matemática; por ejemplo, David

Hilbert mostró cómo es posible prescindir de uno de los cinco axiomas de la Lógica
Proposicional de Principia Matemática, que resultó no ser independiente de los demás.

Lukasiewicz, como resultado de una meditación sobre el Peri Hermeneias de Aristóteles,

describió un sistema en que las Proposiciones, además de verdaderas o falsas, podrían ser
indeterminadas; en términos técnicos construyó una Lógica trivalente en vez de
Bivalente. Autores como Post escribieron sobre lógicas de muchos valores veritativos, es
decir, Polivalentes. Otros lógicos experimentaron con sistemas que no incluían el
concepto de negación.

Con todo esto se modifica el mismo concepto de axioma. En el caso de Principia

Matemática, los axiomas no son lo que es mejor conocido que las conclusiones. Las
relaciones matemáticas, por ejemplo, 3+5=8, son mucho más obvias que la definición de
número o las proposiciones acerca de conjuntos.

Asimismo, el principio de no contradicción es más evidente que el llamado Principio de

sumación, aunque formalmente el principio de no-contradicción no es axiomático, sino
derivado en Principia Matemática. El axioma se ha convertido en un medio de economía
intelectual. Se hace una especie de juego lógico en el que se pretende obtener el mayor
número de conclusiones posibles del menor número de principios posibles.
Características de los Axiomas
Los axiomas son ciertas fórmulas en un Lenguaje que son universalmente válidas, esto
es, fórmulas que son satisfechas por cualquier estructura y por
cualquier Función variable. En términos coloquiales, son enunciados que son verdaderos
en cualquier mundo posible, bajo cualquier interpretación posible y con cualquier
asignación de valores. Usualmente se toma como axiomas un Conjunto mínimo de
Tautologías que son suficientes para probar una teoría.

Los sistemas axiomáticos

Kurt Göde demostró a mediados del Siglo XX que los Sistemas axiomáticos de cierta
complejidad, por definidos y Consistentes que sean, poseen serias limitaciones. En todo
sistema de una cierta complejidad, siempre habrá una proposición P que sea verdadera,
pero no demostrable. De hecho, Gödel prueba que, en cualquier Sistema formal que
incluya la Aritmética, puede formarse una Proposición P que afirme que este enunciado
no es demostrable.

Axioma del silogismo

Principio básico del silogismo; Aristóteles lo formuló como sigue:
««Cuando a una cosa, en calidad de sujeto, se le atribuye algo, todo lo que se dice del predicado
se dirá también del sujeto»».

En vez de las palabras «se atribuye», Aristóteles empleaba a menudo el término

«inherente», y consideraba equivalentes las expresiones: «A se atribuye a B» y «B está
contenido en A». De este modo, el axioma del silogismo es susceptible de interpretación
tanto por su contenido (intensiva) como por su extensión (extensiva). En la lógica formal
tradicional, el significado del axioma del silogismo se revela al reducir todos los
silogismos a los de la primera figura (Silogística). En la lógica formal moderna, el
problema relativo al axioma del silogismo se resuelve en el contexto de un problema más
amplio, el de la axiomatización de la silogística.

Ejemplos en matemáticas
 Para la definición del sistema de los números naturales, el matemático italiano
Giusseppe Peano planteó dos sistemas, hasta cierto modo paralelos. En un caso
incluía al 0, en el otro al 1.
 Para la definición de números reales, Richard Dedekind propuso un sistema
axiomático, centrado en tres aspectos: las propiedades algebraicas sobre las dos
operaciones de adición y de multiplicación. Las propiedades de orden en base a la
relación <= y sus vínculos con la adición y la multiplicación; y las propiedades
topológicas sobre continuidad, concretamente, en el axioma del supremo.
 Una presentación axiomática sobre la estructura de grupo es la de A. G. Kurosch
mediante la asociatividad de la operación interna en G, la existencia de soluciones
para ax = b , como también ya = b.
 TEOREMAS
Un teorema es una proposición cuya verdad se demuestra. 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 demostrada dentro 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.

Teorema
Un teorema requiere de un marco lógico; este marco consistirá en un conjunto
de axiomas (sistema axiomático) y un proceso de inferencia, el cual permite derivar
teoremas a partir de los axiomas y teoremas que han sido derivados pero no son
axiomas.
En lógica proposicional y de primer orden, cualquier afirmación demostrada se
denomina teorema. Más concretamente en lógica se llama demostración a una secuencia
finita de fórmulas bien formadas (fórmulas lógicas bien formadas) F1, ...,Fn, tales que
cada Fi es o bien un axioma o bien un teorema que se sigue de dos fórmulas
anteriores Fj y Fk (tales que j<i y k<i) mediante una regla de deducción. Dada una
demostración como la anterior si el elemento final Fn no es un axioma entonces es un
teorema. Resumiendo lo anterior puede decirse formalmente, un teorema es una
fórmula bien formada, que no es un axioma, y que puede ser el elemento final de alguna
demostración, es decir, un teorema es una fórmula bien formada para la cual existe una
demostración.

Teoremas intervinculados
Siendo p y q dos proposiciones se obtienen los siguientes teoremas, intercambiando la
hipótesis con la conclusión y luego considerando las negaciones de las proposiciones
originales.2
Teorema directo
p⇒q
Teorema recíproco q ⇒ p
Teorema inverso ¬p ⇒ ¬q
Teorema contra recíproco ¬q ⇒ ¬p
 LEMAS
En matemáticas, un lema es una proposición demostrada, utilizada para establecer
un teorema menor o una premisa auxiliar que forma parte de un teorema más general. El
término proviene del griego λήμμα lḗmma, que significa cualquier cosa que es recibida,
tal como un regalo, una dádiva o un soborno.
Ciertos lemas demostrados son más famosos que el teorema para el que fueron creados,
desempeñando a veces la función de teorema. Muchos lemas son de hecho muy
celebrados y generales y se usan por doquier como resultados auxiliares en muchas ramas
de la matemática.

COROLARIOS
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
Una proposición si es consecuencia de un teorema se denomina corolario
El vocablo latina corollarium deriva de: a) corōlla (pétalos de las flores), que
es diminutivo de corōna: corona, porque a los actores, en calidad de gratificación
adicional, se les entregaba una coronita. En Roma, así mismo a los espectadores y a los
invitados a los banquetes se les otorgaba un corollarium; b) -arium, sufijo abundancial
(por las flores de la corona).

Ejemplos
 Al teorema de Pitágoras que dice
El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos
le sigue el corolario:
La longitud de un cateto es menor que la de la hipotenusa;
De a2 = b2 +c2 resulta b2 = a2 - c2.