Axioma

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

2 Lgica
La lgica del axioma es partir de una premisa calicada
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.

2.1 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 vaA veces se compara a los axiomas con semillas, porque de ellos
riable. En trminos coloquiales son enunciados verdadesurge toda la teora de la cual son axiomas.
ros en cualquier mundo posible, bajo cualquier interpretacin posible, con cualquier asignacin de valores. CoUn axioma es una proposicin que se considera eviden- mnmente se toma como axioma un conjunto mnimo
te y se acepta sin requerir demostracin previa. En un de tautologas sucientes para probar una teora.
sistema hipottico-deductivo es toda proposicin no deducida (de otras), sino que constituye una regla general de
Ejemplo 1 En clculo proposicional es comn tomar
pensamiento lgico (por oposicin a los postulados).[1]
como axiomas lgicos todas las frmulas siguientes:
En lgica y matemticas, un axioma es una premisa que,
por considerarse evidente, se acepta sin demostracin,
1. ( )
como punto de partida para demostrar otras frmulas.
Tradicionalmente los axiomas se eligen de las considera2. ( ( )) (( ) ( ))
das armaciones evidentes, porque permiten deducir
las dems frmulas.
3. ( ) ( ) ,
En lgica un postulado es una proposicin no necesariamente evidente: una frmula bien formada (planteada) de donde , , y pueden ser cualquier frmula en el
un lenguaje formal utilizada en una deduccin para llegar lenguaje.
a una conclusin.
Cada uno de estos patrones es un esquema de axiomas,
En matemtica se distinguen dos tipos de proposiciones: una regla para generar un nmero innito de axiomas. Por
axiomas lgicos y postulados.
ejemplo si p, q, y r son variables proposicionales, entonces
1

4 LIMITACIONES DE LOS SISTEMAS AXIOMTICOS

p (q r) y (p q) (r (p q)) son axiomas. Sern, por lo tanto, armaciones que se acepinstancias del esquema 1 y por lo tanto son axiomas.
tan como verdaderas debido a su trivialidad, pudiendo en
Puede probarse que, con solamente estos tres esquemas ocasiones ser demostradas cuando no lo son.
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 suciente 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.

El otro tipo de armaciones a las que se hace referencia diciendo: armacin no trivial, son los teoremas,
que son ya, armaciones no tan triviales y muchas veces
poco intuitivas. Estas armaciones 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 signica que existe un conjunto de axiomas de los
Ejemplo 2 Sea L un lenguaje de primer orden. Pacuales es posible deducir todas las verdades de esa parte
ra cada variable x la frmula x = x es universalmente
de la matemtica. Por ejemplo, de los axiomas de Peano
vlida.
es posible deducir todas las verdades de la aritmtica (y
Esto signica que, para cualquier smbolo variable x , la por extensin, de otras partes de la matemtica).
frmula x = x puede considerarse axioma. Para no incuEl formalismo surgido como consecuencia de la crisis
rrir en vaguedad o en una serie innita de nociones prifundacional de principios del siglo XX dio lugar al llamitivas, primero se necesita una idea de lo que se desea
mado programa de Hilbert. Dicho programa abogaba por
expresar mediante x = x , o denir un uso puramente
la formalizacin de diferentes ramas de las matemticas
formal y sintctico del smbolo = . De hecho sucede esto
mediante un conjunto de axiomas explcitos, en general
en Lgica matemtica.
formulados en lenguajes formales de primer orden. Eso
Otro ejemplo interesante es el de instanciacin univer- signica que junto con los axiomas lgicos ordinarios de
sal , mediante el cuanticador universal. Para una fr- una teora de primer orden se introducan smbolos extramula en un lenguaje de primer orden L , una varia- lgicos (para constantes, funciones y predicados) y cierble x y un trmino t sustituible por x en , la frmula tos axiomas matemticos que usaban dichos signos que
x. xt es vlida universalmente.
restringan su comportamiento. Cada teora matemtica
En trminos informales este ejemplo permite armar que necesita un conjunto diferente de signos extralgicos, por
si se sabe que cierta propiedad P se cumple para toda ejemplo la aritmtica de primer orden requiere la funcin
x y que si t es un objeto particular en la estructura, se siguiente y una constante que designe al primer de los
nmeros naturales (a partir de esos dos signos nuevos una
estara en capacidad de armar P (t) .
constante y una funcin, son denibles la suma, la mulDe nuevo se arma que la frmula x. xt es v- tiplicacin, la relacin de orden menor o igual y todas
lida. Esto es, se debe ser capaz de aportar una prueba las nociones necesarias para la aritmtica).
de este hecho, o -mejor expresado- una metaprueba. En
efecto, estos ejemplos son metateoremas de la teora de El programa de Hilbert hizo concebir la posibilidad de
lgica matemtica, ya que la referencia es meramente al unas matemticas en que la propia consistencia de axioconcepto demostrativo en s. Adems se puede extender a mas escogidos fuera vericable de manera relativamente
una generalizacin existencial utilizando el cuanticador simple. Sin embargo, el teorema de incompletitud de Gdel y otros resultados mostraron la inviabilidad del proexistencial.
grama de Hilbert para los nes con los que fue propuesto.
Esquema axiomtico. Para una frmula en un lenguaje
de primer orden L , una variable x y un trmino t sustituible por x en , la xt x. es universalmente
vlida.
4 Limitaciones de los sistemas

axiomticos
3

Matemticas

Para que todos los procedimientos matemticos usados

sean vlidos se debe partir de una base que respalde cada
procedimiento, cada paso lgico usado, y debe, en consecuencia, demostrarse cada armacin no trivial. Son estas
demostraciones los pilares fundamentales de toda rama
de las matemticas, ya que sin ellos puede ponerse en duda la veracidad de cualquier armacin.
Las armaciones a las que se hace referencia se llaman

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 denidos 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 codicacin
o gdelizacin de los mismos. Esa condicin tcnica se

3
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
arme que este enunciado no es demostrable.

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

Referencias

[1] Denicin de axioma en Symploke.

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

Enlaces externos

Wikcionario tiene deniciones y otra informacin sobre axioma.Wikcionario

Axioma
Axioma, en el Diccionario sovitico de losofa
Axioma, en Diccionario enciclopdico hispanoamericano

9 TEXTO E IMGENES DE ORIGEN, COLABORADORES Y LICENCIAS

Texto e imgenes de origen, colaboradores y licencias

9.1

Texto

Axioma Fuente: https://es.wikipedia.org/wiki/Axioma?oldid=85197908 Colaboradores: Youssefsan, Moriel, JorgeGG, Lourdes Cardenal, Robbot, Sanbec, Vivero, Zwobot, Surscrd, Rosarino, Sms, Julian Colina, Alonso de Celada, Sosta~eswiki, Robotkarel, RobotJcb,
AlfonsoERomero, Yrithinnd, RobotQuistnix, Chobot, Unicacion, Yrbot, Baito, FlaBot, .Sergio, YurikBot, Aiax, Ppja, Maldoror, Tomatejc, Nihilo, BOTpolicia, CEM-bot, Damifb, Laura Fiorucci, Roblespepe, JMCC1, Esitep, Inulises, Davius, Jorge, AlvaroAthos, Ingenioso
Hidalgo, Thijs!bot, RoyFocker, Juan25, Nightwish, Mario modesto, Botones, Egaida, Hanjin, JAnDbot, Kved, Muro de Aguas, Gsrdzl, TXiKiBoT, Humberto, Rei-bot, Tuertooriginal, Nioger, Plux, Jtico, Judas Ali-Qu, Biasoli, AlnoktaBOT, VolkovBot, Technopat, C'est moi,
Galandil, Erl, Matdrodes, Lucien leGrey, AlleborgoBot, Santiago998, Muro Bot, BotMultichill, SieBot, BuenaGente, Ivanics, Yix, DorganBot, Jarisleif, HUB, Antn Francho, DeTurk, Pan con queso, Petruss, Alexbot, Juan Mayordomo, Frei sein, Lucrecius~eswiki, Raulshc,
Pelirrojo2007, PePeEfe, UA31, MARC912374, AVBOT, David0811, Slipkniboro, NjardarBot, Diegusjaimes, Tharasia, MelancholieBot,
Luckas-bot, Nallimbot, Miguel Strogo, Ptbotgourou, Jotterbot, DiegoFb, DSisyphBot, Luis Felipe Schenone, ArthurBot, SuperBraulio13,
Xqbot, Jkbw, Metronomo, Paco-malaga, White Master King, Johfrael, RedBot, Miguel Villegas Lamberti, Dinamik-bot, Euclides, Erudicin, EmausBot, ChessBOT, Jcaraballo, Mjbmrbot, Brunoalbertorazi, Antonorsi, Abin, TeleMania, AvicBot, Frank sin Otra, Gusama
Romero, Acratta, Helmy oved, Adad-1990, Syum90, Act CaRdiaCz, Legobot, Eyetheunlord, Richard Lyon, Julian Grillo, Mangeldemo,
Jarould, Ricmart, LaKaroLaCharo, Alexasds y Annimos: 187

9.2

Imgenes

Archivo:Avocado_Seedling.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/2/2e/Avocado_Seedling.jpg Licencia: CC

BY 2.5 Colaboradores: Trabajo propio Artista original: Mark Hofstetter
Archivo:Wiktionary-logo-es.png Fuente: https://upload.wikimedia.org/wikipedia/commons/0/06/Wiktionary-logo-es.png Licencia: CC
BY-SA 3.0 Colaboradores: originally uploaded there by author, self-made by author Artista original: es:Usuario:Pybalo

9.3

Licencia de contenido

Creative Commons Attribution-Share Alike 3.0