JOSEPH R.

SHOENFIELD
Departamento De Matemticas
Universidad de Duke

LGICA MATEMTICA
 Contenidos

Captulo 1 La Naturaleza De La Lgica Matemtica

1.1 Sistemas axiomticos . . . . . . . . . . . . 1

1.2 Sistemas formales . . . . . . . . . . . . 2
1.3 Variables sintcticas . . . . . . . . . . . . 6

Captulo 2 Teoras De Primer Orden

2.1 Funciones y predicados. . . . . . . . . . . . 9

2.2 Funciones de verdad . . . . . . . . . . . . 10
2.3 Variables y cuantificadores . . . . . . . . . 12
2.4 Lenguajes de primer orden . . . . . . . . . 14
2.5 Estructuras . . . . . . . . . . . . . . . 18
2.6 Axiomas y reglas lgicas . . . . . . . . . . 20
Problemas . . . . . . . . . . . . . . . . 23

Captulo 3 Teoremas En Las Teoras De Primer Orden

3.1 El teorema de la tautologa . . . . . . . . . . 26

3.2 Resultados sobre cuantificadores . . . . . . . 31
3.3 El teorema de la deduccin . . . . . . . . . . 33
3.4 Los teoremas de equivalencia e igualdad. . . . . 34
3.5 Forma de Prenex . . . . . . . . . . . . . . 36
Problemas . . . . . . . . . . . . . . . . 39
Captulo 4 El Problema De La Caracterizacin

4.1 El teorema de la reduccin . . . . . . . . .

41 .
4.2 El teorema de completitud . . . . . . . . .
43 .
4.3 El teorema de consistencia . . . . . . . . .
48 .
4.4 El teorema de Herbrand. . . . . . . . . .
52 .
4.5 Adicin de smbolos de funcin . . . . . . .
55 .
4.6 Extensiones de definiciones . . . . . . . .
57 .
4.7 Interpretaciones . . . . . . . . . . . . . . 61
Problemas. . . . . . . . . . . . . . . . . 65

Captulo 5 La Teora de Modelos

5.1 El teorema de compasidad . . . . . . . . .

69 .
5.2 Isomorfismo y subestructuras. . . . . . . .
71 .
5.3 Cardinalidad de modelos . . . . . . . . .
78 .
5.4 Consistencia conjunta . . . . . . . . . .
79 .
5.5 Teoras completas . . . . . . . . . . . .
82 .
5.6 Categoricidad . . . . . . . . . . . . . 88. .
Problemas. . . . . . . . . . . . . . . . . 92

Captulo 6 Incompletitud e Indecidibilidad

6.1 Calculabilidad . . . . . . . . . . . . . . 109

6.2 Funciones recursivas. . . . . . . . . . . . . 108
6.3 Definiciones explicitas . . . . . . . . . . . . 110
6.4 Sucesiones numricas. . . . . . . . . . . . 115
6.5 Tesis de Church. . . . . . . . . . . . . . . 119
6.6 Expresiones numricas. . . . . . . . . . . . 122
6.7 Representabilidad . . . . . . . . . . . . . 126
6.8 El teorema de Church y el teorema de incompletitud. 131
6.9 Indecidibilidad . . . . . . . . . . . . . . . 133
Problemas
Captulo 7 Teora De La Recursin

7.1 Funciones parciales . . . . . . . . . . . . . . 144

7.2 Funcionales y relaciones . . . . . . . . . . . . . 147
7.3 Propiedades de los funcionales recursivos . . . . . . 150
7.4 Indices . . . . . . . . . . . . . . . . . . . 156
7.5 La jerarqua aritmtica . . . . . . . . . . . . . 160
7.6 Recursividad relativa . . . . . . . . . . . . . . 164
7.7 Grados . . . . . . . . . . . . . . . . . . . . 169
7.8 La jerarqua analtica . . . . . . . . . . . . . . 173
7.9 Relaciones hiperaritmticas . . . . . . . . . . . 175
7.10 El teorema de caracterizacin . . . . . . . . . . . 179
7.11 Teoremas Bsicos. . . . . . . . . . . . . . . . 185
Problemas . . . . . . . . . . . . . . . . . . 190

Captulo 8 Los Nmeros Naturales

8.1 La aritmtica de Peano . . . . . . . . . . . . . . 204

8.2 El teorema sobre pruebas de consistencia . . . . . . . 209
8.3 La prueba de consistencia . . . . . . . . . . . . 214
8.4 Aplicaciones de la prueba de consistencia . . . . . . . 223
8.5 Aritmtica de segundo orden . . . . . . . . . . . 227
Problemas . . . . . . . . . . . . . . . . . . . 233
Captulo 9 Teora De Conjuntos

9.1 Axiomas para conjuntos . . . . . . . . . . . . . 238

9.2 Desarrollo de la teora de conjuntos . . . . . . . . 240
9.3 Ordinales . . . . . . . . . . . . . . . . . . 246
9.4 Cardinales. . . . . . . . . . . . . . . . . . 252
9.5 Interpretaciones de la teora de conjuntos . . . . . 260
9.6 Conjuntos construibles . . . . . . . . . . . . . 270
9.7 El axioma de constructibilidad . . . . . . . . . . . 277
9.8 Forzamiento . . . . . . . . . . . . . . . . . . 282
9.9 Las pruebas de independencia. . . . . . . . . . . 293
9.10 Cardinales Grandes . . . . . . . . . . . . . . . 303
Problemas . . . . . . . . . . . . . . . . . . . 315

Apndice El Problema De La Palabra . . . . . . . . . . . . 321

ndice . . . . . . . . . . . . . . . . . . . . . 337
CAPTULO 1

LA NATURALEZA DE LA LGICA MATEMTICA

1.1 SISTEMAS AXIOMTICOS

Lgica es el estudio del razonamiento; y la lgica matemtica es el estudio
del tipo de razonamiento hecho por los matemticos. Para descubrir la
aproximacin adecuada a la lgica matemtica, debemos por lo tanto
examinar los mtodos del matemtico.
La caracterstica ms notable de la matemtica, en comparacin con
otras ciencias, es el uso de pruebas en vez de observaciones. Un fsico
prueba leyes fsicas a partir de otras leyes fsicas; pero considera a las
observaciones como la prueba final de una ley fsica. Un matemtico
puede, en ocasiones, usar observacin; por ejemplo, puede medir los
ngulos de muchos tringulos y concluir que la suma de los ngulos
interiores es siempre 180 . Sin embargo, aceptar esta observacin
como una ley de las matemticas nicamente cuando ha sido probada.
An as, es claramente imposible probar todas las leyes matemticas.
Las primeras leyes las cuales uno acepta no pueden ser probadas, ya que
no existen leyes anteriores desde las cuales las primeras leyes puedan ser
probadas. Por lo tanto tenemos ciertas leyes primeras llamadas Axiomas,
las cuales aceptamos sin prueba; y las leyes restantes llamadas Teoremas,
que son probadas a partir de los axiomas.
Por qu razn aceptamos los axiomas? Podramos tratar de utilizar la
observacin aqu; pero es muy poco prctico e interfiere con el espritu de
la matemtica. Por lo tanto, intentamos seleccionar como axiomas ciertas
leyes que nos parecen evidentes a partir de la naturaleza de los conceptos
involucrados.
 As, reducimos un gran nmero de leyes a un pequeo nmero de
axiomas. Una reduccin bastante similar ocurre con los conceptos
matemticos. Nos encontramos con que podemos definir ciertos
conceptos en trminos de otros conceptos. Pero de nuevo, los primeros
conceptos que usamos no pueden ser definidos, pues no hay conceptos
anteriores desde los que se puedan definir. Por lo tanto tenemos ciertos
conceptos, llamados conceptos bsicos, que se dejan sin definir; y los
conceptos restantes, llamados conceptos derivados, definidos en trminos
de los conceptos bsicos. Tenemos un criterio para los conceptos bsicos
similar al de los axiomas: deberan ser tan simples y claros que podamos
entenderlos sin necesidad de una definicin precisa.
En cualquier declaracin, podemos reemplazar los conceptos derivados
por conceptos bsicos. En particular podemos hacer esto con los axiomas.
Debido a esto, todos los conceptos que aparecen en los axiomas son
conceptos bsicos.
Ahora podemos describir lo que hace un matemtico. Primero nos
presenta ciertos conceptos bsicos y ciertos axiomas acerca de esos
conceptos. A continuacin, nos explica esos conceptos hasta que los
entendamos suficientemente bien para que veamos que los axiomas son
ciertos. Entonces procede a definir conceptos derivados y probar
teoremas acerca de los conceptos bsicos y derivados. El edificio entero
que el construye, formado por conceptos bsicos, conceptos derivados,
axiomas, y teoremas, es llamado un sistema axiomtico. Puede haber un
sistema axiomtico para toda la matemtica, o para una parte de ella,
como la geometra plana, o la teora de los nmeros reales.
Hemos supuesto hasta ahora que tenemos los conceptos definidos en la
mente. Aun as, puede ser posible descubrir otros conceptos que hagan
ciertos a los axiomas. En este caso, todos los teoremas probados sern
tambin ciertos para estos nuevos conceptos. Esto ha llevado a los
matemticos a construir sistemas axiomticos en los que los axiomas son
verdades para un gran nmero de conceptos. Un ejemplo tpico es el
conjunto de axiomas para un grupo. Nosotros llamamos a tales sistemas
axiomticos, sistemas axiomticos modernos, en oposicin a los sistemas
axiomticos clsicos discutidos anteriormente. Por supuesto, la
diferencia no est realmente en el sistema de axiomas, sino en las
intenciones de quien construye el sistema.
 Guiados por esta discusin, vamos a comenzar el estudio de la lgica
matemtica mediante el estudio de los sistemas axiomticos. Esto
eventualmente nos llevar a una variedad de problemas, algunos de ellos
relacionados de manera cercana con los sistemas axiomticos.

1.2 SISTEMAS FORMALES

Un axioma(o un teorema) puede verse de dos maneras. Puede ser visto
como una frase, por ejemplo, como el objeto que aparece en el papel
cuando escribimos el axioma, o como el significado de una frase, por
ejemplo el hecho expresado por el axioma. A primera vista esto ltimo
parece ms importante. El evidente propsito de la oracin es el de
transmitir el significado de la frase de una manera clara y precisa. Este es
un propsito til, pero no parece tener mucho que ver con los
fundamentos de la matemtica.
Sin embargo, hay dos buenas razones para estudiar axiomas y
teoremas como oraciones. La primera es que si elegimos el lenguaje para
expresar los axiomas adecuadamente, entonces la estructura de la oracin
reflejar en cierta medida el significado del axioma. As podemos estudiar
los conceptos del sistema de axiomas mediante el estudio de la estructura
de las frases que expresan los axiomas. Esto es particularmente valioso
para los sistemas axiomticos modernos, ya que nuestra comprensin
inicial de los conceptos bsicos de estos sistemas puede ser muy dbil.
La segunda razn es que los conceptos matemticos suelen ser muy
abstractos y, por tanto, difciles de entender. Una sentencia, por otro lado,
es un objeto concreto; as que mediante el estudio de axiomas como
oraciones, nos acercamos a lo abstracto a travs de lo concreto.
Un punto es evidente: no hay ningn valor en el estudio de los objetos
concretos (en lugar de los abstractos) a menos que nos acerquemos a
ellos de una manera concreta o implcita. Por ejemplo, cuando queremos
probar la existencia de un objeto concreto que posee una determinada
propiedad, deberamos realmente construir tal objeto, no slo demostrar
que su no existencia conduce a una contradiccin.
 Las pruebas que se refieren a objetos concretos de manera constructiva
se dice que son finitistas. Otra descripcin, sugerida por Kreisel, es la
siguiente: una prueba es finitista si podemos visualizar la prueba. Por
supuesto, ninguna descripcin es muy precisa; pero podemos aplicarlas
en muchos casos para decidir si una prueba en particular es o no finitista.
Una vez que se aprecia la diferencia fundamental entre los objetos
concretos y los objetos abstractos, surgen una variedad de preguntas que
slo pueden ser respondidas mediante el estudio de las pruebas finitistas.
Por ejemplo Hilbert, el primero que instituy este estudio, sinti que slo
la matemtica finitista est justificada por la intuicin. La matemtica
abstracta se introdujo con el fin de obtener resultados finitistas de una
manera ms fcil o ms elegante. Pag11