Sistema axiomático:

Un sistema axiomático puede entenderse como un sistema formal: donde existen símbolos que
no tienen significado (no se les asignó una interpretación). → Es un conjunto de fórmulas (no de
oraciones, por no estar interpretado) → Un subconjunto de esas fórmulas son los axiomas y los
demás se deducen de los mismos.
(Esta es la concepción de Hilbert, fundador del método axiomático formal).
Concepción antigua del método axiomático, concpeción material: sólo basta con elegir los
axiomas adecuados (que sean verdaderos) y el resto se obtiene por deducción. La geometría
euclidiana no es un sistema formal porque los axiomas son significativos.

Sistema formal: los axiomas son fórmulas que se eligen convencionalmente porque son útiles
para deducir teoremas y no verdades evidentes como en la antigüedad.
Idea formalista: la matemática no se ocupa de objetos en especiales, sino de símbolos.
Elementos de un sistema axiomático:
(0) Lógica subyacente. → Está implícito (se utilizará la lógica de primer orden clásica.)
Es la lógica que se utiliza para realizar inferencias dentro del sistema.
(1) Vocabulario→ conjunto de símbolos mediante los cuales es construyen las fórmulas
del lenguaje del sistema.
Símbolos no lógicos (a) términos primitivos (b) términos definidos→ Todo lo que se
puede decir con los definidos puede hacerse con los primitivos, así es que no son
esenciales los segundos. Los primitivos no se definen dentro del sistema.
(A) Aunque no tienen significado los términos primitivos sí se les asigna una categoría
lógica o gramatical. (constante de individuo, predicado monádico, funtor –que denota
una relación de cierto grado-).
(B) Los términos definidos se definen mediante los términos primitivos y los
símbolos lógicos. Todo lo expresado mediante términos definidos puede hacerse por
medio de los primitivos, sólo que será menos elegante y más complejo.
(2) Reglas de formación → Determinan cómo se combinan los términos del vocabulario
para formar ciertas cadenas de símbolos que se llaman fórmulas bien formadas
(cadena finita de símbolos).
Todas estas reglas son recursivas→ se aplica la regla y se obtiene un resultado, al que
a su vez se le puede aplicar otra regla y obtener un nuevo resultado…
El conjunto de todas las fbf de un sistema axiomático es el lenguaje del sistema (que
es infinito por la recursividad).
(3) Reglas de transformación→ Indican cómo convertir una fbf en otra fbf. (pasar una
oración de voz pasiva a voz activa).
(4) Axiomas→ son un conjunto de fbf que se toman como punto de partida para todas las
demás demostraciones dentro del sistemas (puede ser finito o infinito). Los mismo se
presentan mediante un esquema de axiomas (es una fbf que contiene metavariables)
(5) Teoremas→ Son todas las fbf que se infieren de los axiomas por medio de alguna
regla de transformación. Los axiomas también son teoremas porque se deducen de sí
mismos.
Una demostración es una secuencia de fbf, las cuales o son axiomas o consecuencias
inmediatas de uno o más axiomas.
Los teoremas son siempre infinitos.
En la geometría euclidea se descubrió que dicha axiomatización no es satisfactoria porque
por ejemplo los postulados no son suficientes para deducir algunos axiomas.
Puede haber sistemas lógicamente equivalentes entre sí, esto es así cuando los axiomas de un
sistema se deducen como teoremas del otro y viceversa. Esto se debe probar.
Una teoría es el conjunto de sus teoremas.
Siempre puede formularse una teoría con un único axioma.
No puede omitirse en la presentación de un sistema axiomático (1) la lista de términos
primitivos (2) la lista de axiomas.
Capítulo 3:
Un sistema axiomático interpretado es aquel donde a los términos se les ha asignado un
significado (ahora ya tienen valor de verdad).
Modelo → Cuando la interpretación de un sistema hace verdaderos a todos los teoremas del
sistema (Son todas las fbf que se infieren de los axiomas por medio de alguna regla de
transformación. Los axiomas también son teoremas porque se deducen de sí mismos.)
(buscar un ejemplo).
Una interpretación de un sistema axiomático S es una asignación de significado a los
términos primitivos de S.
Significado→ Entidad o conjunto de entidades a los cuales se aplican dichos términos.
Se introduce una función interpretación I que asigna un solo significado a cada términos
primitivo de un sistema. Se puede asignar el mismo significados a varios términos. Se fija la
extensión de los términos delimitando un dominio de objetos, un conjunto no vacío y se
determina la referencia de cada término primitivo respecto de los objetos del dominio en
cuestión. → la interpretación es extensional → la extensión de un término está constituida
por todos los objetos a los que se aplica ese término.
◊ Una interpretación de un sistema axiomático S es un conjunto ordenado
〈D, I〉, donde el dominio D es un conjunto no vacío de objetos cualesquiera, y
la función interpretación I es una función tal que:
1. I asigna a cada símbolo proposicional del lenguaje de S un valor veritativo (verdadero o
falso, pero no ambos).
2. I asigna a cada constante individual del lenguaje de S un objeto del dominio D.
3. I asigna a cada predicado n-ádico del lenguaje de S una relación n-ádica
 definida sobre objetos del dominio D (un conjunto de n-tuplas de objetos
del dominio D).
4. I asigna a cada funtor del lenguaje de S una función que tenga argumentos y valores en el
dominio D (pares ordenados de objetos 〈a,b〉, si es un
funtor de grado 1; pares ordenados de pares ordenados de objetos y objetos 〈〈a,b〉, c〉, si es un
funtor de grado 2; y, en general, pares ordenados de n-tuplas de objetos y objetos, si es un
funtor de grado n).
Modelo:
◊Un modelo de un sistema axiomático S es una interpretación de S respecto de la
cual todos los axiomas de S son verdaderos.

Que todos los axiomas sean verdaderos significa que también lo son los teoremas. Hay
interpretaciones que no hacen verdaderos a los sistemas.
Consecuencia lógica:
(1) Concepto modelo teórico: “◊ Una oración Φ es consecuencia lógica de un conjunto de
oraciones Γ si y sólo si Φ es verdadera en todo modelo de Γ.” → Si encontramos al menos
una proposición del lenguaje S que no es verdadera en al menos un modelo de S, entonces,
esa proposición no es teorema de S.

(2) Consecuencia demostrativa: “◊Si S es un sistema axiomático formal formulado en

un lenguaje L, es un conjunto de fórmulas bien formadas de L, y es una

fórmula bien formada de
L, entonces, es una consecuencia lógica de si es deducible de en S,

esto es, si es posible inferir de mediante las reglas de transformación del
sistema S.” → En un sistema no interpretado debe utilizarse esta noción de consecuencia
lógica.
Teoría de grupos:
Grupo→ constituido por un conjunto de objetos cualesquiera donde se distinguido un
elemento neutro y se ha definido una operación binaria la cual a cada par ordenado (a,b) de
elementos de C le asigna un elemento de C llamado producto de a y b.

◊ Dado un conjunto de elementos cualesquiera C, una operación binaria *

obre los elementos de C, y un elemento distinguido de C (el elemento neutro
n), G = 〈C, *, n〉 es un grupo si y sólo si satisface los siguientes axiomas:
[Clausura de la operación
Ax1. ∀(xy) ∃z (x * y = z) *].
 Ax2. ∀(xyz) (((x * y) * z) = (x * (y * z))) [Asociatividad de
la operación *].
[Existencia de un
Ax3. ∀x ((x * n = x) & (n * x = x)) elemento neutro].
[Existencia de un
Ax4. ∀x ∃y ((x * y = n) & (y * x = n)) elemento inverso
para cada elemento de C].

Un grupo es abeliano si además satisface el siguiente axioma:

∀xyx yy x [Conmutatividad de la

operación *].

Una interpretación que permite un modelo de la teoría de grupos puede ser una en la cual, C
tiene como referente al conjunto de los números enteros (0,1, -1), 0 es el elemento neutro y la
operación binaria es la suma. También es conmutativa.
Teoría de anillos:
Es una extensión de la teoría de grupos.
Términos primitivos: un conjunto C de elementos cualquesquiera.
Dos funtores que denotan operaciones binarias
Dos elementos distinguidos de C que son dos elementos neutros diferentes.

◊Dado un conjunto de elementos cualesquiera C, dos operaciones binarias

* y # sobre los elementos de C y dos elementos distinguidos de C, n y m, A =
〈C, *, #, n, m〉es un anillo si y sólo si satisface los siguientes axiomas:

[Clausura de la operación
*].
[Asociatividad de la
operación *].
Ax1. ∀(xy) ∃z (x * y = z)
[Existencia de un
Ax2. ∀(xyz) (((x * y) * z) = (x * elemento
neutro para la operación
(y * z))) *].
Ax3. ∀x ((x * n = x) & (n * x = [Existencia de un
elemento
x))
inverso para cada
elemento de C].
[Conmutatividad de la
operación *].
 [Clausura de la operación
#].

Ax4. ∀x ∃y ((x * y = n) & (y * x

= n))

Ax5. ∀(xy) ((x * y) = (y * x))

Ax6. ∀(xy) ∃z (x # y = z)

Ax7. ∀(xyz) (((x # y) # z) = (x # (y # z))) [Asociatividad de la operación #].

[Existencia de un
Ax8. ∀x ((x # m = x) & (m # x elemento
= x)) neutro para la
operación #].

Ax9. ∀(xyz) (((x # (y * z)) = [Distributividad de la

= ((x # y) * (x # z))) & (((y * z) operación #
# x) = respecto de la operación
*].
= ((y # x) * (z # x))))

Y un anillo es conmutativo si además: ∀xyx yy x

Para interpretar la teoría de anillos de manera que constituya un modelo, y siendo a la vez
conmutativo :  = 〈, +, x, 0, 1〉

Todo anillo es un grupo abeliano (no a la inversa)

Isomorfismo entre modelos:
 Estructura→ conjunto ordenado de los siguientes elementos: (i) conjunto no vacío de
elementos cualesquiera (ii) familia de relaciones definidas sobre los elementos del conjunto
(iii) familia de funciones definidas sobre los elementos de D. (iv) individuos distinguidos del
conjunto.
El conjunto de objetos D, es el dominio de la estructura.
Los subconjuntos son propiedades o relaciones.

◊E = 〈D, R1...R, 1... , a1...a〉es una estructura si y sólo si:

1. D ≠∅.

2. R⊆D(donde 1 ≤i ≤n, y r es un número entero positivo que depende

de i).
3. : D→D (donde 1 ≤j ≤m, y s es un número entero positivo que depende
de j).
4. ak ∈D (donde 1 ≤k ≤l).

Isomorfismo→ relación que se da entre estructuras similares.

Estructuras similares→ Estructuras que tienen el mismo número de dominios, relaciones
n-ádicas, funciones e individuos.
Dos modelos de un sistema axiomático son isomorfos cuando existe una aplicación biyectiva
entre sus dominios y todo enunciado de ese sistema es verdadero en un modelo si y sólo si
también lo es en el otro.
Homomorfismo: no necesita que la función sea biyectiva.
Versión descendente del teorema de Löwenheim-Skolem: Si una teoría de
primer orden tiene modelos infinitos, entonces, tiene un modelo infinito contable.
Versión ascendente del teorema de Löwenheim-Skolem: Si una teoría de
primer orden tiene un modelo infinito, entonces, tiene modelos de cualquier
cardinalidad infinita

Modelo no standard: modelos de una teoría que no son isomorfos con el modelo que se pretende
construir.
Capítulo 3: Propiedades de los sistemas axiomáticos:
1- Consistencia: No tiene que haber contradicciones dentro de ese sistema (ni antinomias, ni
paradojas).
(1) No contrariedad: Un sistema axiomático S es consistente si y sólo si no existe en S una
fbf x tal que x y no x sean ambos teoremas en S.
 (2) Consistencia generalizada: Un sistema axiomático S es consistente si y sólo si al menos
una fbf no es teorema en S. (no la entiendo) → sirve para los sistemas que carecen de
negación.

Pruebas de consistencia:
consciencia absoluta: 1 ) probar q el sistema es consistente por sí mismo. Encontrar una fbf
que al menos no sea teorema en el sistema. 2) encontrar un modelo.
Consistencia relativa: hay que apelar a otro sistema que sea consistente para demostrar que
este es o no es consistente. Si A es consistente también lo es B porque uno implica al otro.
(como el caso de probar la consistencia de la hiperbólica a través de la euclidea)
Ambas definiciones se implican mutuamente (desarrollar mejor).
2-Completitud: Dicha teoría debe ser suficiente para deducir todos los enunciados que se
espera de ella. Es completo, un sistema axiomático cuando permite demostrar todas las
fórmulas que se quieren obtener como teoremas.
a) Completitud respecto de la negación→ un sistema ax. S es completo respecto de la
negación si y sólo si para cada fbf X que sea cerrada (sin variables libres), o bien ella
misma o bien su negación es un teorema en S. → todo sistema inconsistente es completo
respecto de la negación, tanto x como no.x son teorema del sistema. // mientras que en un
sistema consistente solo x o no x es teorema. // pero puede haber consistencia sin
completitud en donde ni x, ni no x no son teoremas dentro de un sistema.
b) Completitud de saturación→ Un sistema ax. S es saturado si y solo si para cada fbf x,
ella es un teorema, o bien S se vuelve inconsistente al agregársele x como axioma.
Quiere decir que no se le puede agregar nuevos axiomas que no sean teoremas del
sistema, porque sino pierde su consistencia.
Si un sistema S es completo respecto de la negación, y además es consistente, entonces es
saturado.
c) Completitud semántica→ ¿?
3) Decidibilidad:
Quiere decir que en el sistema ax. Ha de existir un procedimiento mecánico de decisión para
establecer si una formula pertenece o no a ese sistema.

◊Un sistema axiomático S es decidible si y sólo si existe un procedimiento

algorítmico tal que para toda fbf permite determinar si es o no es un teorema en S.

◊Un sistema axiomático S es indecidible si y sólo si S no es decidible.

algoritmo→ procedimiento efectivo, generalmente mecánico, mediante el cual por medio de una
cantidad de pasos finitos de operaciones se llega a una solución. (ejemplo: tablas de verdad,
suma resta y multiplicación).
Si un sistema axiomático es completo respecto de la negación entonces es decidible. (desarollar
más)

Decidibilidad formal→ ◊Una fórmula bien formada , que pertenece al lenguaje de un

sistema
axiomático S, es formalmente decidible en S si y sólo si o bien o bien 
son teoremas en S.

◊Una fórmula bien formada , que pertenece al lenguaje de un sistema

axiomático S, es formalmente decidible en S si y sólo si o bien o bien 

son teoremas en S.

4) Satisfacibilidad:

◊Un sistema axiomático S es satisfacible si y sólo si S tiene al menos un

modelo

Se relaciona con la consistencia, porque un sistema inconsistente no puede tener un modelo. →

esto vale para la lógica de primer orden
5) Independencia

i) independencia de los axiomas→ ◊Los axiomas de un sistema axiomático S son

independientes si y sólo si ninguno de ellos es deducible de los restantes.
Para demostrar que un axioma es independiente es necesario recurrir a la construcción de un
modelo, mediante el cual sean verdaderos todos los axiomas excepto ese que quiere probarse
como independiente.

ii) independencia de los términos primitivos→ ◊Los términos primitivos de un sistema

axiomático S son independientes si
y sólo si ninguno de ellos es definible mediante los demás primitivos de S.

Se prueba mediante el método de Padoa→ consiste en encontrar dos modelos para un mismo
sistema axiomático en los cuales un determinado término tenga una interpretación distinta en
cada modelo.
No es una propiedad indispensable.
6) Categoricidad
◊Un sistema axiomático S es categórico si y sólo si S es satisfacible y todos
sus modelos son isomorfos entre sí.

(desarrollar más)