Axioma

De Wikipedia, la enciclopedia libre

Un axioma es una proposicin que se considera evidente y se acepta sin requerir
demostracin previa. En un sistema hipottico-deductivo es toda proposicin no deducida (de
otras), sino que constituye una regla general de pensamiento lgico (por oposicin a los
postulados).1
En lgica y matemticas, un axioma es una premisa que, por considerarse evidente, se acepta
sin demostracin, como punto de partida para demostrar otras frmulas. Tradicionalmente los
axiomas se eligen de las consideradas afirmaciones evidentes, porque permiten deducir las
dems frmulas.
En lgica un postulado es una proposicin no necesariamente evidente: una frmula bien formada
(planteada) de un lenguaje formal utilizada en una deduccin para llegar a una conclusin.
En matemtica se distinguen dos tipos de proposiciones: axiomas lgicos y postulados.

ndice

A veces se compara a los

axiomas con semillas,
porque de ellas surge
toda la teora de la cual
son axiomas.

1 Etimologa
2 Legado helnico
3 Lgica
3.1 Axioma lgico
3.1.1 Ejemplo 1
3.1.2 Ejemplo 2
4 Matemticas
5 Limitaciones de los sistemas axiomticos
6 Vase tambin
7 Referencias
8 Bibliografa
9 Enlaces externos

Etimologa

La palabra axioma proviene del sustantivo griego , que significa lo que parece justo o, que se le considera evidente,
sin necesidad de demostracin. El trmino viene del verbo griego (axioein), que significa valorar, que a su vez
procede de (axios): valioso o digno. Entre los filsofos griegos antiguos, un axioma era lo que pareca verdadero sin
necesidad de prueba alguna.

Legado helnico
Uno de los grandes frutos de los matemticos griegos fue la reduccin de asertos matemticos y teoremas, en forma racional y
coherente, a una pequea cantidad de postulados o axiomas muy simples, los bien conocidos axiomas de la geometra, o bien
las reglas de la aritmtica, que presiden relaciones entre unos pocos objetos bsicos, tales como los nmeros enteros y los

puntos geomtricos. Los objetos matemticos se generaron como abstracciones o idealizaciones de la realidad fsica.Los
axiomas , ya sea aceptados como "evidentes" desde un punto de vista filosfico o bien meramente como abrumadoramente
plausibles, se aceptan sin demostracin; sobre ellos se ha erigido la cristalizada estructura de las matemticas.2

Lgica
La lgica del axioma es partir de una premisa calificada de verdadera por s misma (el axioma), y de sta inferir otras
proposiciones por medio del mtodo 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 dems proposiciones de una teora dada.

Axioma lgico
Los axiomas son ciertas frmulas en un lenguaje formal que son universalmente vlidas, esto es frmulas satisfechas por
cualquier estructura y por cualquier funcin variable. En trminos coloquiales son enunciados verdaderos en cualquier mundo
posible, bajo cualquier interpretacin posible, con cualquier asignacin de valores. Comnmente se toma como axioma un
conjunto mnimo de tautologas suficientes para probar una teora.
Ejemplo 1

En clculo proposicional es comn tomar como axiomas lgicos todas las frmulas siguientes:
1.
2.
3.

donde

,y

pueden ser cualquier frmula en el lenguaje.

Cada uno de estos patrones es un esquema de axiomas, una regla para generar un nmero 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
tautologas del clculo proposicional son demostrables. Tambin se puede probar que ningn par de estos esquemas es
suficiente para demostrar todas las tautologas utilizando modus ponens. Este conjunto de esquemas axiomticos tambin se
utiliza en el clculo de predicados, pero son necesarios ms axiomas lgicos.
Ejemplo 2

Sea

un lenguaje de primer orden. Para cada variable

la frmula

es universalmente vlida.

Esto significa que, para cualquier smbolo variable , la frmula

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 sintctico del smbolo . De hecho sucede esto en Lgica matemtica.
Otro ejemplo interesante es el de instanciacin universal , mediante el cuantificador universal. Para una frmula
en un
lenguaje de primer orden , una variable
y un trmino sustituible por
en , la frmula
es vlida
universalmente.
En trminos informales este ejemplo permite afirmar que si se sabe que cierta propiedad
es un objeto particular en la estructura, se estara en capacidad de afirmar
.

se cumple para toda

y que si

De nuevo se afirma que la frmula

es vlida. 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 teora de lgica matemtica, ya que la
referencia es meramente al concepto demostrativo en s. Adems se puede extender a una generalizacin existencial utilizando
el cuantificador existencial.
Esquema axiomtico. Para una frmula en un lenguaje de primer orden
en , la
es universalmente vlida.

, una variable

y un trmino

sustituible por

Matemticas
En matemticas para que una afirmacin sea considerada vlida 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 matemticas, y a partir de ellos, mediante las demostraciones matemticas,
se deduce la veracidad de cualquier afirmacin.
Los axiomas sern, por tanto, afirmaciones que se aceptan como verdaderas y que su veracidad no puede ser demostrada a
partir de otros axiomas. Un axiomas no se caracteriza por si resulta una afirmacin trivial o intuitiva, siendo el axioma de
eleccin 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 matemtica estn axiomatizadas, lo que significa que existe un conjunto de axiomas de los cuales es
posible deducir todas las verdades de esa parte de la matemtica. Por ejemplo, de los axiomas de Peano es posible deducir
todas las verdades de la aritmtica (y por extensin, de otras partes de la matemtica).
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 formalizacin de diferentes ramas de las matemticas mediante un conjunto de
axiomas explcitos, en general formulados en lenguajes formales de primer orden. Eso significa que junto con los axiomas
lgicos ordinarios de una teora de primer orden se introducan smbolos extralgicos (para constantes, funciones y predicados)
y ciertos axiomas matemticos que usaban dichos signos que restringan su comportamiento. Cada teora matemtica necesita
un conjunto diferente de signos extralgicos, por ejemplo la aritmtica de primer orden requiere la funcin siguiente y una
constante que designe al primer de los nmeros naturales (a partir de esos dos signos nuevos una constante y una funcin, son
definibles la suma, la multiplicacin, la relacin de orden menor o igual y todas las nociones necesarias para la aritmtica).
El programa de Hilbert hizo concebir la posibilidad de unas matemticas en que la propia consistencia de axiomas escogidos
fuera verificable de manera relativamente simple. Sin embargo, el teorema de incompletitud de Gdel y otros resultados
mostraron la inviabilidad del programa de Hilbert para los fines con los que fue propuesto.

Limitaciones de los sistemas axiomticos

A mediados del siglo XX, Kurt Gdel demostr sus famosos teoremas de incompletitud. Estos teoremas mostraban que,
aunque un sistema de axiomas recursivos estuvieran bien definidos y fueran consistentes, los sistemas axiomticos con esos
sistemas de axiomas adolecen de limitaciones graves. Es importante notar aqu la restriccin de que el sistema de axiomas sea
recursivamente enumerable, es decir, que el conjunto de axiomas forme un conjunto recursivamente enumerable dada una
codificacin o gdelizacin de los mismos. Esa condicin tcnica se requiere ya que si el conjunto de axiomas no es recursivo
entonces la teora ni siquiera ser decidible.
Con esa restriccin Gdel demostr, que si la teora admite un modelo de cierta complejidad siempre hay una proposicin P
verdadera pero no demostrable. Gdel prueba que en cualquier sistema formal que incluya aritmtica puede generarse una
proposicin P mediante la cual se afirme que este enunciado no es demostrable.

Vase tambin
Sistema axiomtico
Axiomas de Zermelo-Fraenkel
Postulado
Principio
Dogma
Sistema formal
Regla de inferencia
Teorema
Axiomas de Peano
Teoremas de incompletitud de Gdel
Axiomas de Hilbert

Referencias
1. Definicin de axioma en Symploke. (http://symploke.trujam
an.org/index.php?title=Axiomas)

2. R. Courant c/ F. John. Introduccin al clculo y al anlisis

matemtico. VolI ISBN 968-18-0634-5

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

Enlaces externos

Wikcionario tiene definiciones y otra informacin sobre axioma.

Axioma (http://www.ucm.es/info/eurotheo/diccionario/A/axioma.pdf)
Axioma, en el Diccionario sovitico de filosofa (http://www.filosofia.org/enc/ros/axioma.htm)
Axioma, en Diccionario enciclopdico 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=94443387
Categoras: Lgica Lgica matemtica Axiomas matemticos Terminologa matemtica Conceptos en lgica
Esta pgina fue modificada por ltima vez el 20 oct 2016 a las 23:50.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran ser aplicables
clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.