Sistema axiomtico

En lgica y matemticas, un sistema axiomtico consis- 2 Sistemas axiomticos formales e

te en un conjunto de axiomas que se utilizan, mediante
deducciones, para demostrar teoremas. Ejemplos de sis-
informales
temas axiomticos deductivos son la geometra euclidia-
na compilada por Euclides en los Elementos[1] y el sistema Un sistema axiomtico puede tener expresados sus axio-
axiomtico de la lgica proposicional. mas de manera formal o de manera informal:

Una axiomatizacin formal usa un lenguaje for-

mal y en l cada axioma es una cadena nita de sig-
nos en el alfabeto del lenguaje formal, siguiendo re-
glas combinatorias que hacen de la secuencia una
frmula bien formada.
Una axiomatizacin informal usa una lengua na-
1 Historia tural formalizada y deniciones no ambiguas, los li-
bros de matemtica y otras disciplinas formales nor-
malmente redactan los axiomas de esta manera.
El primer trabajo de axiomatizacin se realiza en los
Los sistemas de axiomas formales son ms sencillos de
Elementos de Euclides (siglo IV-III a. C.), vinculado a
estudiar y son preferibles para caracterizar las propieda-
la geometra plana. Euclides enuncia cinco postulados
des de los sistemas matemticos. En particular admiten
y cinco nociones comunes (axiomas), de los que de-
una caracterizacin semntica muy clara en la teora de
duce sus teoremas de la geometra. Al mismo tiempo,
modelos y sus propiedades deductivas pueden ser tratadas
Aristteles aporta el primer enfoque de la lgica formal
en la teora de la demostracin. Por el contrario, las axio-
en el rganon, recogiendo diversos axiomas de Platn y
matizaciones informales slo son tiles cuando se tiene
otros lsofos.
un modelo concreto en mente y se pretenden buscar pro-
En matemticas, sin embargo, el primer intento de axio- piedades que se cumplen en el modelo.
matizacin lleg en 1888, cuando Richard Dedekind pro-
puso un conjunto de axiomas sobre los nmeros.[2] Al ao
siguiente, Giuseppe Peano retoma los trabajos de Dede- 2.1 Componentes de un sistema axiomti-
kind y expone sus axiomas aritmticos. co formal
Gottlob Frege, en 1884, con su obra Die Grundlagen der
Arithmetik y la posterior Grundsetze der Arithmetik, tra- Un sistema axiomtico formal consta de los siguientes
ta de reducir la aritmtica a la lgica. Bertrand Russell en elementos:
su intento de 1901 descubri la paradoja del mismo nom-
bre: paradoja de Russell, y para resolverla trabaj con Un alfabeto S para construir expresiones formales
Alfred North Whitehead, en Principia Mathematica. En que incluye:
1899, David Hilbert reformula los axiomas de la geome-
Un conjunto de smbolos para conectivas lgi-
tra, y tambin explica los conceptos que Euclides dej
cas, cuanticadores
implcitos, por ejemplo, Euclides no dice que hay al me-
nos tres puntos en el plano, o que hay al menos un punto Un conjunto de smbolos para designar varia-
en el plano que no pertenece a la lnea, etc. bles
En el Congreso celebrado en 1900, David Hilbert plan- Un conjunto de smbolos para constantes (que
te varios problemas, entre los que inclua la demostra- tendrn en un modelo una interpretacin ja).
cin de la consistencia de los axiomas de las matemti- Un conjunto de smbolos que sern interpreta-
cas y la axiomatizacin de la fsica. En 1931, Kurt Gdel dos como funciones.
demostr que cualquier sistema axiomtico equivalente Un conjunto de smbolos que sern interpreta-
a los axiomas de Peano es incompleto y que si este sis- dos como relaciones.
tema es consistente, no se puede utilizar para probar su
consistencia (teorema de incompletitud de Gdel). Una gramtica formal que incluir:

1
2 4 VASE TAMBIN

bien construido satisface el teorema de validez, que vie-

ne a armar que cualquier proposicin deducible de los
axiomas, o teorema del sistema axiomtico, se satisface
tambin, en todos los modelos que sean un modelo en el
que se satisfacen los axiomas. La propiedad recproca no
siempre se cumple, una proposicin que se satisface en to-
dos los modelos de una teora no tiene porqu ser deduci-
ble del sistema de axiomas. Este ltimo punto es ilustrado
por los teoremas de incompletitud de Gdel, que arman
que un sistema formal de ciertos sistemas matemticos
con un conjunto de axiomas que satisface determinada
propiedad formal (ser un recursivamente enumerables)
admitir un modelo en el que algunas proposiciones se-
rn ciertas pero no sern deducibles. Es decir, la teora
asociada al sistema axiomtico formal ser esencialmen-
te incompleta.

3 Ejemplos
La teora de grupos es un sistema axiomtico se puede
basar en el siguiente conjunto de tres axiomas G1, G2 y
G3:

(G1) para todo x, y y z: (x y) z = x (y z)

Reglas de buena formacin, que reproducen la
morfologa del lenguaje formal. (G2) para todo x: x e = x
(G3) para todo x, existe un y tal que x y = e
Reglas de inferencia que permitirn deducir
unas proposiciones de otras, estas reglas repro-
ducen la sintaxis del lengua formal. Este conjunto de axiomas no es nico, ya que pueden ser
substituidos por otros equivalentes. En teora de grupos el
Un conjunto de axiomas inicial, o expresiones bien asunto importante es que el conjunto de teoremas sean los
formadas son el punto de partida de cualquier de- mismos en dos axiomatizaciones diferentes. Eso implica
duccin. que las dos clases de modelos que satisfacen los dos sis-
temas de axiomas coindiden. Los tres axiomas anteriores
pueden escribirse sin usar ninguna lengua natural usando
Para el conjunto de expresiones bien formadas expresa- slo smbolos de un lenguaje de primer orden como:
das en el lenguaje formal anterior puede denirse una S-
estructura en la que a cada variable constante o cada ocu-
rrencia libre de una variable reciba un valor dentro del
x1 x2 x3 f (f (x1 , x2 ), x3 ) f (x1 , f (x2 , x3 ))
modelo (es decir, las constantes y variables libres sern
conjuntos preasignados de la S-estructura). Las funciones x f (x , c ) x
1 1 1 1
y relaciones sern denidas como funciones y relaciones
matemticas dentro de la S-estructura. Una vez denidas x1 x2 f (x1 , x2 ) c1
las constantes, variables libres, funciones y relaciones re- Donde f debe interpretarse como la funcin denida so-
sulta trivial atribuir un signicado concreto a las expre- bre GxG que da un elemento de G dando operacin de
siones del lenguaje formal en la S-estructura. grupo, xi son signos de variables (puede denirse una co-
leccin innita numerable de las mismas) y c1 es una
constante que requiere la teora que se interpretar como
2.2 Modelos para un sistema axiomtico el elemento neutro (es decir, los axiomas postulan que di-
formal cho elemento existe).

Si un conjunto de proposiciones (frmulas bien forma-

das) de un sistema axiomtico formal admiten una S- 4 Vase tambin
estructura donde se satisfacen, entonces se dice que di-
cha estructura es un modelo para el conjunto de propo- Proposicin
siciones. Un sistema de axiomas que admite un modelo
es un sistema de axiomas consistente. Un sistema formal Axioma
 3

Postulado

Denicin
Teorema

Sistema formal
Axiomas de Hilbert

5 Referencias
[1] Sistema axiomtico deductivo en symploke

[2] Richard Dedekind, 1890, Letter to Keferstein. pp. 98103.

6 Enlaces externos
J.A. Amor, 2004, Un renamiento del concepto de
sistema axiomtico, en signoslosocos.
4 7 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

7 Origen del texto y las imgenes, colaboradores y licencias

7.1 Texto
Sistema axiomtico Fuente: https://es.wikipedia.org/wiki/Sistema_axiom%C3%A1tico?oldid=94953808 Colaboradores: Pilaf, JMCC1,
Davius, Technopat, Jkbw, PatruBOT, GrouchoBot, EmausBot, Chopinzone, CocuBot, Invadibot, Acratta, Eyetheunlord, Addbot, Jarould y
Annimos: 11

7.2 Imgenes
Archivo:Deduction_architecture.png Fuente: https://upload.wikimedia.org/wikipedia/commons/4/47/Deduction_architecture.png Li-
cencia: GFDL Colaboradores: Trabajo propio Artista original: Physis
Archivo:Merge-arrow.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/a/aa/Merge-arrow.svg Licencia: Public domain Co-
laboradores: ? Artista original: ?

7.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0