5/4/2018 Axioma - Wikipedia, la enciclopedia libre

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 A veces se compara a
«afirmaciones evidentes», con el objetivo de deducir el resto de proposiciones, en la los axiomas con
moderna teoría de modelos un axioma es solo una asunción, y en modo alguno se semillas, porque de
considera que la verdad o falsedad de los axiomas dependa del sentido intuitivo que se le ellas surge toda la teoría
pueda atribuir, o se recurre a que puedan ser autoevidentes. de la cual son axiomas.

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.

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

Índice
Etimología
Legado helénico
Lógica
Axioma lógico
Ejemplo 1
Ejemplo 2

Matemáticas
Limitaciones de los sistemas axiomáticos
Véase también
Referencias
Bibliografía
Enlaces externos

Etimología
La palabra axioma proviene del sustantivo griego αξιωμα, que significa «lo que parece justo» o, que se le considera
evidente, sin necesidad de demostración. El término viene del verbo griego αξιοειν (axioein), que significa «valorar», que a
su vez procede de αξιος (axios): «valioso» o «digno». Entre los filósofos griegos antiguos, un axioma era lo que parecía
verdadero sin necesidad de prueba alguna.

Legado helénico
Uno de los grandes frutos de los matemáticos griegos fue la reducción de asertos matemáticos y teoremas, en forma
racional y coherente, a una pequeña cantidad de postulados o axiomas muy simples, los bien conocidos axiomas de la
geometría, o bien las reglas de la aritmética, que presiden relaciones entre unos pocos objetos básicos, tales como los
números enteros y los puntos geométricos. Los objetos matemáticos se generaron como abstracciones o idealizaciones de
la realidad física. Los axiomas, ya sea aceptados como "evidentes" desde un punto de vista filosófico o bien meramente
como abrumadoramente plausibles, se aceptan sin demostración; sobre ellos se ha erigido la cristalizada estructura de las
matemáticas.2

https://es.wikipedia.org/wiki/Axioma 1/4
5/4/2018 Axioma - Wikipedia, la enciclopedia libre

Lógica
La lógica del axioma es partir de una premisa calificada de verdadera por sí misma (el axioma), y de ésta inferir otras
proposiciones por medio del método deductivo, de lo cual se obtienen conclusiones coherentes con el axioma. A partir de
los axiomas, y de reglas de inferencia, han de deducirse todas las demás proposiciones de una teoría dada.

Axioma lógico
Los axiomas son ciertas fórmulas en un lenguaje formal que son universalmente válidas, esto es fórmulas satisfechas por
cualquier estructura y por cualquier función variable. En términos coloquiales son enunciados verdaderos en cualquier
mundo posible, bajo cualquier interpretación posible, con cualquier asignación de valores. Comúnmente se toma como
axioma un conjunto mínimo de tautologías suficientes para probar una teoría.

Ejemplo 1
En cálculo proposicional es común tomar como axiomas lógicos todas las fórmulas siguientes:

1.
2.
3. ,

donde , ,y pueden ser cualquier fórmula en el lenguaje.

Cada uno de estos patrones es un esquema de axiomas, una regla para generar un número infinito de axiomas. Por
ejemplo si p, q, y r son variables proposicionales, entonces y son instancias
del esquema 1 y por lo tanto son axiomas.

Puede probarse que, con solamente estos tres esquemas de axiomas y la regla de inferencia modus ponens, todas las
tautologías del cálculo proposicional son demostrables. También se puede probar que ningún par de estos esquemas es
suficiente para demostrar todas las tautologías utilizando modus ponens. Este conjunto de esquemas axiomáticos también
se utiliza en el cálculo de predicados, pero son necesarios más axiomas lógicos.

Ejemplo 2
Sea un lenguaje de primer orden. Para cada variable la fórmula es universalmente válida.

Esto significa que, para cualquier símbolo variable , la fórmula puede considerarse axioma. Para no incurrir en
vaguedad o en una serie infinita de «nociones primitivas», primero se necesita una idea de lo que se desea expresar
mediante , o definir un uso puramente formal y sintáctico del símbolo . De hecho sucede esto en Lógica
matemática.

Otro ejemplo interesante es el de «instanciación universal» , mediante el cuantificador universal. Para una fórmula en
un lenguaje de primer orden , una variable y un término sustituible por en , la fórmula es válida
universalmente.

En términos informales este ejemplo permite afirmar que si se sabe que cierta propiedad se cumple para toda y que si
es un objeto particular en la estructura, se estaría en capacidad de afirmar .

De nuevo se afirma que la fórmula es válida. Esto es, se debe ser capaz de aportar una prueba de este hecho,
o -mejor expresado- una metaprueba. En efecto, estos ejemplos son metateoremas de la teoría de lógica matemática, ya
que la referencia es meramente al concepto demostrativo en sí. Además se puede extender a una generalización existencial
utilizando el cuantificador existencial.

Esquema axiomático. Para una fórmula en un lenguaje de primer orden , una variable y un término sustituible
por en , la es universalmente válida.

Matemáticas
En matemáticas para que una afirmación sea considerada válida debe o bien estar contenida dentro de una base de
afirmaciones de partida, los denominados axiomas, o debe poder demostrarse a partir de los mismos. Los axiomas son por
tanto los pilares fundamentales de toda rama de las matemáticas, y a partir de ellos, mediante las demostraciones
matemáticas, se deduce la veracidad de cualquier afirmación.

https://es.wikipedia.org/wiki/Axioma 2/4
5/4/2018 Axioma - Wikipedia, la enciclopedia libre

Los axiomas serán, por tanto, afirmaciones que se aceptan como verdaderas y que su veracidad no puede ser demostrada a
partir de otros axiomas. Un axioma no se caracteriza por si resulta una afirmación trivial o intuitiva, siendo el axioma de
elección un ejemplo de un axioma que no resulta trivial.

El otro tipo de afirmaciones a las que se hace referencia son los teoremas. Estas afirmaciones deben ser demostradas
usando los axiomas u otros teoremas ya demostrados. Una consecuencia inmediata de un teorema se llamará corolario.

Muchas partes de la matemática están axiomatizadas, lo que significa que existe un conjunto de axiomas de los cuales es
posible deducir todas las verdades de esa parte de la matemática. Por ejemplo, de los axiomas de Peano es posible deducir
todas las verdades de la aritmética (y por extensión, de otras partes de la matemática).

El formalismo surgido como consecuencia de la crisis fundacional de principios del siglo XX dio lugar al llamado
programa de Hilbert. Dicho programa abogaba por la formalización de diferentes ramas de las matemáticas mediante un
conjunto de axiomas explícitos, en general formulados en lenguajes formales de primer orden. Eso significa que junto con
los axiomas lógicos ordinarios de una teoría de primer orden se introducían símbolos extralógicos (para constantes,
funciones y predicados) y ciertos axiomas matemáticos que usaban dichos signos que restringían su comportamiento.
Cada teoría matemática necesita un conjunto diferente de signos extralógicos, por ejemplo la aritmética de primer orden
requiere la función «siguiente» y una constante que designe al primer de los números naturales (a partir de esos dos
signos nuevos una constante y una función, son definibles la suma, la multiplicación, la relación de orden «menor o igual»
y todas las nociones necesarias para la aritmética).

El programa de Hilbert hizo concebir la posibilidad de unas matemáticas en que la propia consistencia de axiomas
escogidos fuera verificable de manera relativamente simple. Sin embargo, el teorema de incompletitud de Gödel y otros
resultados mostraron la inviabilidad del programa de Hilbert para los fines con los que fue propuesto.

Limitaciones de los sistemas axiomáticos

A mediados del siglo XX, Kurt Gödel demostró sus famosos teoremas de incompletitud. Estos teoremas mostraban que,
aunque un sistema de axiomas recursivos estuvieran bien definidos y fueran consistentes, los sistemas axiomáticos con
esos sistemas de axiomas adolecen de limitaciones graves. Es importante notar aquí la restricción de que el sistema de
axiomas sea recursivamente enumerable, es decir, que el conjunto de axiomas forme un conjunto recursivamente
enumerable dada una codificación o gödelización de los mismos. Esa condición técnica se requiere ya que si el conjunto de
axiomas no es recursivo entonces la teoría ni siquiera será decidible.

Con esa restricción Gödel demostró, que si la teoría admite un modelo de cierta complejidad siempre hay una proposición
P verdadera pero no demostrable. Gödel prueba que en cualquier sistema formal que incluya aritmética puede generarse
una proposición P mediante la cual se afirme que este enunciado no es demostrable.

Véase también
Sistema axiomático
Axiomas de Zermelo-Fraenkel
Postulado
Principio
Dogma
Sistema formal
Regla de inferencia
Teorema
Axiomas de Peano
Teoremas de incompletitud de Gödel
Axiomas de Hilbert

Referencias
2. R. Courant c/ F. John. Introducción al cálculo y al
1. Definición de axioma en Symploke. (http://symploke.truj
análisis matemático. VolI ISBN 968-18-0634-5
aman.org/index.php?title=Axiomas)

Bibliografía
Sagan, Carl (1997). El mundo y sus demonios. Barcelona: Planeta. ISBN 84-08-02043-9.

Enlaces externos
https://es.wikipedia.org/wiki/Axioma 3/4
5/4/2018 Axioma - Wikipedia, la enciclopedia libre

Wikcionario tiene definiciones y otra información sobre axioma.

Axioma (http://www.ucm.es/info/eurotheo/diccionario/A/axioma.pdf)
Axioma, en el Diccionario soviético de filosofía (http://www.filosofia.org/enc/ros/axioma.htm)
Axioma, en Diccionario enciclopédico hispanoamericano (http://www.e-torredebabel.com/Enciclopedia-Hispano-Ameri
cana/V2/axioma-filosofia-D-E-H-A.htm)

Obtenido de «https://es.wikipedia.org/w/index.php?title=Axioma&oldid=106153733»

Se editó esta página por última vez el 11 mar 2018 a las 19:27.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

https://es.wikipedia.org/wiki/Axioma 4/4