Está en la página 1de 48

LOS TEOREMAS DE INCOMPLETITUD DE GDEL

ALEXANDRE MIQUEL

En este artculo se presenta la demostracin de los dos teoremas de incompletitud de Gdel,


que establecen los lmites fundamentales del razonamiento formal. Aunque este resultado se
cumpla para una clase grande de sistemas formales (incluyendo las teoras de conjuntos ZF y
ZFC), slo vamos a presentar la demostracin de ambos teoremas para el caso fundamental de
la Aritmtica de Peano (PA), que ya contiene toda la sustancia del argumento de Gdel:
Primer teorema de incompletitud Si PA es consistente, entonces PA es in-
completa, en el sentido en que existe en el lenguaje de PA una frmula cerrada G
que no se puede ni demostrar ni refutar en PA: PA 0 G y PA 0 G.
Segundo teorema de incompletitud Si PA es consistente, entonces la frmula
cerrada ConsPA que expresa la consistencia de PA en el lenguaje de PA no se
puede demostrar en PA: PA 0 ConsPA.
En la seccin 6, veremos que la demostracin de estos dos teoremas se generaliza natural-
mente a cualquier teora recursiva que contiene la Aritmtica de Peano.

ndice
1. La Aritmtica de Peano (PA) 2
1.1. Lenguaje de la Aritmtica 2
1.2. Sustitucin y -equivalencia 4
1.3. Sistema de deduccin 5
1.4. Axiomas y teoremas 8
1.5. Consistencia y completitud 10
1.6. Expresividad de PA 11
1.7. El modelo estndar de PA 13
1.8. Propiedades de completitud de PA 15
2. Funciones recursivas 19
2.1. Definiciones y propiedades 20
2.2. Conjuntos recursivos 22
2.3. El teorema de representacin 23
2.4. Teorema chino del resto y funcin de Gdel 24
3. Digitalizacin de PA 27
3.1. Abismacin 27
3.2. Emparejamiento 27
3.3. Codificacin de las listas finitas 28
3.4. Digitalizacin de los trminos 29
3.5. Digitalizacin de las frmulas 30
3.6. Digitalizacin de las derivaciones 32
3.7. Algunos conjuntos recursivos y no recursivos 34
4. El primer teorema de incompletitud 35
4.1. Construccin de frmulas autorreferenciales 35
4.2. Una frmula G no demostrable pero verdadera 36
1
4.3. La hiptesis de 1-consistencia 37
4.4. El truco de Rosser 38
4.5. La nocin de demostrabilidad no es recursiva 39
4.6. La nocin de verdad no es definible en PA 40
4.7. Conclusin 41
5. El segundo teorema de incompletitud 41
5.1. El argumento de Gdel 41
5.2. Las condiciones de derivabilidad de Hilbert-Bernays 42
5.3. El teorema de Lb 44
6. Generalizacin del los teoremas de incompletitud 44
6.1. Lenguaje y teoras de primer orden 45
6.2. La Aritmtica de Robinson (Q) 46
6.3. Inmersin de teoras 47
6.4. La Aritmtica de Presburger (P) 48
Referencias 48

1. La Aritmetica de Peano (PA)


La Aritmtica de Peano (notacin: PA) es una teora de primer orden1 definida como toda
teora de primer orden por su lenguaje (de primer orden) y su sistema de axiomas.

1.1. Lenguaje de la Aritmtica. El lenguaje de PA distingue dos tipos de expresiones:


Los trminos (notacin: t, u, v, etc.), que representan enteros naturales.
Las frmulas (notacin: , , , etc.), que representan aserciones sobre enteros naturales.
Los trminos y las frmulas del lenguaje de PA son expresiones finitas construidas a partir de
los siguientes smbolos primitivos:
Las variables (notacin: x, y, z, etc.) En lo siguiente, se supone dado una cantidad infinita
numerable de variables indizadas por los enteros naturales: x0 , x1 , x2 , x3 , etc.
El smbolo de constante 0 ( cero ).
El smbolo de funcin unaria s ( sucesor ).
Los smbolos de funciones binarias + ( adicin ) y ( multiplicacin ).
El smbolo de relacin binaria = ( igualdad ).
La constante proposicional ( frmula absurda ).
La conectiva binaria ( implicacin ).
El cuantificador ( cuantificador universal ).
Veremos ms abajo (Notaciones 1.4) que las otras construcciones usuales de la lgica
negacin, conjuncin, disyuncin, equivalencia lgica, cuantificador existencial se pueden
definir a partir de estos smbolos primitivos mediante de las leyes de De Morgan.
Definicin 1.1 (Trminos). Los trminos (notacin: t, u, v, etc.) son las expresiones cons-
truidas por aplicacin finita de las siguientes reglas:
(1) Si x es una variable, entonces x es un trmino.
(2) El smbolo de constante 0 es un trmino.
(3) Si t es un trmino, entonces s(t) ( sucesor de t ) es un trmino.
(4) Si t, u son trminos, entonces t + u ( t ms u ) es un trmino.
(5) Si t, u son trminos, entonces t u ( t por u ) es un trmino.
1
Una definicin general de la nocin de teora de primer orden es dada en la Seccin 6.1.
2
El conjunto de las variables libres de un trmino t, escrito FV(t), es definido por induccin
estructural sobre t por las ecuaciones:

FV(x) = {x}
FV(0) =
FV(s(t)) = FV(t)
FV(t + u) = FV(t) FV(u)
FV(t u) = FV(t) FV(u)

Se observa que en un trmino t, todas las ocurrencias de variables son libres, de tal modo que el
conjunto (finito) FV(t) contiene todas las variables que ocurren al menos una vez en t. Se dice
que un trmino t es cerrado cuando FV(t) = , y que es abierto si no.
En lo siguiente, se utiliza la notacin t u (antes de t = u) para expresar que dos trminos t
y u son idnticos, afn de no confundir con la frmula t = u construida a partir de t y u mediante
del smbolo de igualdad = (vase Def. 1.3 ms abajo).

Notacin 1.2 (Enteros de Peano). En lo siguiente, se utilizan las abreviaturas 1 s(0),


2 s(1), 3 s(2), etc. Ms generalmente, a cada entero natural n se asocia el trmino cerrado n
llamado el entero de Peano asociado a n y definido por:

n s( s(0) )
|{z}
n veces

Intuitivamente, el entero de Peano n es la representacin del entero natural n en el lenguaje


de PA, como trmino cerrado.

Definicin 1.3 (Frmulas). Las frmulas (notacin: , , , etc.) son las expresiones cons-
truidas por aplicacin finita de las siguientes reglas:
(1) ( el absurdo ) es una frmula.
(2) Si t, u son trminos, entonces t = u ( t es igual a u ) es una frmula.
(3) Si , son frmulas, entonces ( implica ) es una frmula.
(4) Si x es una variable y una frmula, entonces x ( para todo x, ) es una frmula.

Como para los trminos, se utiliza la notacin (antes de = ) para expresar que dos
frmulas y son idnticas.

Notaciones 1.4. (Construcciones definidas) En este lenguaje minimal, las otras conectivas
y la cuantificacin existencial se pueden definir por las leyes de De Morgan:

> (Frmula trivial)


(Negacin)
( ) (Conjuncin)
(Disyuncin)
( ) ( ) (Equivalencia lgica)
x x (Cuantificacin existencial)

(Como de costumbre, se considera que el smbolo de implicacin se asocia implcitamente


a la derecha, leyendo como ( ).)

Contrario a los trminos, las frmulas contienen dos tipos de ocurrencias de variables: las
ocurrencias ligadas, que se encuentran bajo una cuantificacin con el mismo nombre de varia-
ble, y las otras ocurrencias, que son dichas libres. As, el conjunto de las variables libres de
3
una frmula , escrito FV(), es definido por induccin estructural sobre por las ecuaciones:
FV() =
FV(t = u) = FV(t) FV(u)
FV( ) = FV() FV()
FV(x ) = FV() \ {x}
Se dice que una frmula es cerrada cuando FV() = , y que es abierta si no.

1.2. Sustitucin y -equivalencia. Cada variable libre x que ocurre en un trmino t o en


una frmula representa un entero incgnito que se puede sustituir por un entero concreto (un
entero de Peano), y ms generalmente por cualquier trmino u, cerrado o abierto. En el lenguaje
de PA (como en cualquier lenguaje de primer orden), esta nocin de sustitucin se formaliza
mediante de dos operaciones:
Una operacin de sustitucin en los trminos, escrita t{x := u}, que consiste en sustituir
en el trmino t cada ocurrencia libre de la variable x por el trmino u.
Una operacin de sustitucin en las frmulas, escrita {x := u}, que consiste en sustituir
en la frmula cada ocurrencia libre de la variable x por el trmino u.
Como los trminos slo contienen ocurrencias libres de variables, la operacin de sustitucin
t{x := u} en los trminos se define inmediatamente por induccin estructural sobre t:
Definicin 1.5 (Sustitucin en un trmino). Dado dos trmino t, u y una variable x, se
escribe t{x := u} el trmino definido por induccin estructural sobre t por las ecuaciones:
x{x := u} u
y{x := u} y (si y . x)
0{x := u} 0
(s(t)){x := u} s(t{x := u})
(t1 + t2 ){x := u} t1 {x := u} + t2 {x := u}
(t1 t2 ){x := u} t1 {x := u} t2 {x := u}
La definicin de la operacin de sustitucin {x := u} en las frmulas es ms delicada que
en los trminos, debido a la presencia de cuantificaciones que inducen un riesgo de captura de
variable. Este problema se puede entender con el siguiente ejemplo.
Ejemplo 1.6. Consideremos la frmula
y (x = 2 y) ( y(x = 2 y))
que slo depende de la variable libre x, y que expresa que x es par . Si se remplaza ingenua-
mente la variable x por el trmino u y + 3, se obtiene una frmula
0 y (y + 3 = 2 y)
que no expresa que y + 3 es par , pero que tiene un sentido muy diferente. (De hecho, esta
frmula ya no depende de y.) Aqu, el problema viene de que durante la sustitucin, la variable y
fue capturada por el cuantificador , induciendo una confusin entre la variable cuantificada y
la variable y que viene del trmino u, la cual refiere a algn objeto afuera de la cuantificacin.
Para evitar tal captura, se necesita cambiar el nombre de la variable ligada (por una nueva
variable z) antes de remplazar las ocurrencias de x, de tal modo que se obtenga la frmula
{x := y + 3} z (y + 3 = 2 z)
que tiene el sentido deseado ( y + 3 es par ).
Ahora se puede dar la definicin formal de la operacin {x := u}.
4
Definicin 1.7 (Sustitucin en una frmula). Dado una frmula , una variable x y un
trmino u, se escribe {x := u} la frmula definida por induccin sobre el nmero de conectivas
y de cuantificadores en por las siguientes ecuaciones:
{x := u}
(t1 = t2 ){x := u} t1 {x := u} = t2 {x := u}
( ){x := u} {x := u} {x := u}
(x ){x := u} x
(y ){x := u} x {x := u} (si y . x, y < FV(u))
(y ){x := u} z {y := z}{x := u} (si y . x, y FV(u))
eligiendo la nueva variable z (en el ltimo caso) de tal modo que z < FV() y z < FV(u).
Se observa que para definir la sustitucin adentro de una frmula de la forma y (cuantifi-
cacin universal), se necesita distinguir tres casos:
El caso donde y x (la variable cuantificada coincide con la variable sustituida). En este
caso, la variable x no es libre en x , de tal modo que la sustitucin es inoperante.
El caso donde y . x y y < FV(u). En este caso, no hay ningn riesgo de captura; por lo
tanto se puede hacer el remplazo directamente.
El caso donde y . x y y FV(u). Es el caso problemtico, donde se necesita cambiar
la variable ligada y por otra variable z (que no es libre ni en ni en u se dice que z es
una variable fresca), antes de remplazar las ocurrencias de x por u.
En virtud del cambio de variable ligada en el ltimo caso, la definicin de la operacin de
sustitucin {x := u} en las frmulas es definida al menos de los nombres de variables ligadas.
En otro lado, es claro que dos frmulas que slo difieren por los nombres de variables ligadas
(por ejemplo: las frmulas y (x = 2y) y z (x = 2z)) tienen el mismo sentido ( x es par ) y
son intercambiables. Afn de identificar tales frmulas, se define la relacin de -equivalencia,
que expresa que dos frmulas slo difieren por los nombres de variables ligadas:
Definicin 1.8 (-equivalencia). La relacin de -equivalencia entre dos frmulas
y es definida por induccin sobre el nmero de conectivas y de cuantificadores en las dos
frmulas y a partir de las siguientes reglas:
Si y , entonces .
Si (t1 = t2 ) y (u1 = u2 ), entonces si y slo si t1 u1 y t2 u2 .
Si (1 2 ) y (1 2 ), entonces si y slo si 1 1 y 2 2 .
Si x 1 y y 1 , entonces si y slo si 1 {x := z} 1 {y := z}, donde z
es cualquier variable tal que z < FV() y z < FV() (variable fresca).
En todos los otros casos, la relacin no se cumple.
1.3. Sistema de deduccin. La nocin de deduccin (en lgica clsica) se puede definir a
travs de muchos sistemas formales (sistemas de Hilbert, deduccin natural, clculo de se-
cuentes de Gentzen, etc.) que ltimamente definen la misma nocin de consecuencia lgica.
Aqu, se adopta un sistema de deduccin natural (en lgica clsica) con secuentes explcitos,
restringido a nuestro lenguaje minimal de frmulas. Formalmente:
Definicin 1.9 (Secuentes). Se llama un secuente todo par (, ) escrito
` ( lleva a )
donde es una lista finita de frmulas (posiblemente vaca) y una frmula.
Intuitivamente, un secuente ` representa una etapa particular de razonamiento, en la cual
se trata de establecer (el consecuente) a partir de las hiptesis en (el antecedente).
5
Axioma: ` si
`
Debilitamiento: si 0
0 `
, `
Introduccin de
`
Eliminacin de ` `
(modus ponens) `
Introduccin de ` {x := y}
si y < FV(, x )
(generalizacin) ` x
Eliminacin de ` x
(instanciacin) ` {x := t}
Introduccin de =
(principio de identidad) `t=t

Eliminacin de = `t=u ` {x := t}
(remplazo de los iguales) ` {x := u}
Razonamiento , `
por el absurdo `

Cuadro 1. Reglas de deduccin

En lo siguiente, las listas finitas de frmulas igualmente llamadas contextos se escriben


1 , . . . , n (frmulas separadas por comas), y la concatenacin de dos listas y se escribe
, . Un secuente con un antecedente vaco se escribe simplemente ` (antes de ` ). Dado
listas finitas de frmulas y , se escribe cuando cada frmula que ocurre en tambin
ocurre en (sin tener en cuenta ni el orden ni las repeticiones). Las notaciones FV() (variables
libres) y {x := u} (sustitucin) se extienden a las listas finitas de frmulas del modo obvio: si
1 , . . . , n , entonces
FV() = FV(1 ) FV(n )
{x := u} 1 {x := u}, . . . , n {x := u}
El sistema de deduccin que utilizaremos aqu es definido a partir de las 9 reglas de deduc-
cin dadas en el Cuadro 1. Cada (instancia de una) regla de deduccin es de la forma
1 ` 1 p ` p
`
donde los secuentes 1 ` 1 , . . . , p ` p se llaman las premisas de la regla, y el secuente `
la conclusin de la regla. Intuitivamente, tal regla expresa un paso de deduccin que permite
establecer la validez de la conclusin a partir de la validez de las premisas, es decir:
como: 1 se cumple (bajo las hiptesis 1 ), y
..
.
p se cumple (bajo las hiptesis p );
luego: se cumple (bajo las hiptesis )
6
Algunas reglas tienen una condicin de borde (a la derecha), que restringe el uso de la regla
a elementos sintcticos con una forma particular. Por ejemplo, la regla de introduccin de
(generalizacin) restringe el uso de la regla a los , tales que la variable y no es libre ni en
ni en x . Intuitivamente, esta condicin expresa que la variable y es fresca respecto a la lista
de hiptesis (y a la frmula x ), de tal modo que dicha variable pueda representar un entero
cualquiera es decir: un entero sobre el cual no se plantea ninguna hiptesis. (Adems, la
condicin de frescura y < FV(, x ) sobre la variable y es formulada de tal modo que se
pueda tomar y x cuando la condicin de frescura x < FV() ya se cumple para x.)
Las reglas de deduccin son los ladrillos elementales del razonamiento formal, y se pueden
agregar hasta formar rboles de derivacin, o derivaciones. Formalmente:

Definicin 1.10 (Derivaciones). Se llama una derivacin todo rbol finito de secuentes
construido por aplicacin finita de la siguiente regla de agregacin:
Si
.. ..
.. d1 .. d p
1 ` 1 p ` p

son derivaciones de los secuentes 1 ` 1 , . . . , p ` p (respectivamente), y si

1 ` 1 p ` p
`

es (una instancia de) una de las 9 reglas del Cuadro 1, entonces el rbol
.. ..


.. d1 .. d p
1 ` 1 p ` p

d


`


es una derivacin del secuente ` .


La relacin d es una derivacin del secuente ` se escribe d : ( ` ). Cuando tal
derivacin existe, se dice que el secuente ` es derivable.

Analoga 1.11. Se puede ver un sistema de deduccin como un juego de construccin en


el cual cada regla de deduccin define una familia (infinita) de ladrillos. En este juego, cada
ladrillo tiene un nico enchufe abajo (la conclusin) y cero o ms tomas arriba (las premisas),
la forma de los enchufes y de las tomas siendo determinada por las frmulas correspondientes.
Segn esta analoga, una derivacin es un montaje de ladrillos en el cual slo se queda un
enchufe libre (abajo): la conclusin de la derivacin.

Ejemplo 1.12. El siguiente rbol


(axioma) (=-intro)
x=y`x=y x=y`x=x
(=-elim, con (z) z=x)
x=y`y=x
(-intro)
`x=yy=x
(-intro)
` y (x = y y = x)
(-intro)
` x y (x = y y = x)

es una derivacin del secuente ` x y (x = y y = x) (sin hiptesis).


7
Ejemplo 1.13. A partir de dos derivaciones d1 : ( ` ) y d2 : ( ` ) (de los secuentes
` y ` ), se puede construir la siguiente derivacin
..
.. d1
..
` .. d2
(ax.) (debil.)
, ` , ` `
(-intro) (debil.)
, ` , `
(-elim)
, `
(-intro)
` ( )
| {z }

del secuente ` . El trozo de derivacin entre las derivaciones d1 , d2 y la conclusin


` se puede ver como una regla compuesta o macroregla
.. ..
.. d1 .. d2
` `
`
que construye una derivacin de ` a partir de derivaciones de ` y de ` .
El ejemplo anterior sugiere que las reglas de deduccin se pueden agregar para formar reglas
compuestas, igualmente llamadas reglas derivables. Formalmente, se dice que una regla
1 ` 1 p ` p
`
es derivable (lo que se indica con una doble raya de inferencia) cuando existe una derivacin
incompleta del secuente ` en la cual los nicos secuentes no justificados (las tomas libres)
son los secuentes 1 ` 1 , . . . , p ` p . Es claro que tal derivacin incompleta siempre se puede
completar, enchufando derivaciones (completas) d1 , . . . , d p de las premisas 1 ` 1 , . . . , p ` p
en las tomas correspondientes cuando tales derivaciones existen.
Las reglas primitivas del Cuadro 1 slo conciernen las construcciones del lenguaje minimal:
, , . Sin embargo, el mecanismo de agregacin de reglas descrito anteriormente permite
derivar las reglas de deduccin para las construcciones definidas: , , y .
Proposicin 1.14. Las reglas de deduccin dadas en el Cuadro 2 son derivables.
Demostracin. Ejercicio. 

1.4. Axiomas y teoremas. El sistema de deduccin presentado en la seccin 1.3 es un siste-


ma muy general que define el sentido de las construcciones lgicas (primitivas y definidas) y de
la igualdad en cualquier teora de primer orden. (No tiene nada especfico para la Aritmtica.)
Para finalizar la definicin de la Aritmtica de Peano (PA), se necesita dar sus axiomas los
axiomas de Peano que sirven a definir los objetos a los cuales se refieren implcitamente las
variables (aqu: los enteros naturales), as como el sentido de los smbolos especficos de PA:
0, s, +, . Formalmente, los axiomas de Peano son las siguientes frmulas cerradas:
(A1 ) y (0 + y = y) (A2 ) x y (s(x) + y = s(x + y))
(A3 ) y (0 y = 0) (A4 ) x y (s(x) y = (x y) + y)
(A5 ) x (s(x) , 0) (A6 ) x y (s(x) = s(y) x = y)
(A7 ) z1 zk ({x := 0} x ( {x := s(x)}) x )
para cada frmula con las variables libres x, z1 , . . . , zk
8
Introduccin de > `>
Eliminacin de `
(ex falso quod libet) `
, `
Introduccin de
`
Eliminacin de ` `
(contradiccin) `
` `
Introduccin de
`
Eliminacin de ` `
(izquierda y derecha) ` `
Introduccin de ` `
(izquierda y derecha) ` `
Eleminacin de ` , ` , `
(razonamiento por casos) `
, ` , `
Introduccin de
`
Eliminacin de ` ` ` `
(directa y recproca) ` `
` {x := t}
Introduccin de
` x
` x , {x := y} `
Eliminacin de si y < FV(, x , )
`
`t=u
Symetra de = `u=t
`t=u `u=v
Transitividad de = `t=v

Cuadro 2. Reglas derivadas

Observaciones 1.15. Los axiomas (A1 )(A4 ) expresan las ecuaciones recursivas que definen
la adicin y la multiplicacin sobre los enteros naturales. Como observ Hilbert, estos axiomas
son definiciones escondidas de los smbolos + y .
Los axiomas (A5 ) y (A6 ) expresan que 0 no es el sucesor de ningn objeto, y que la funcin
sucesor es inyectiva. Dicho de otra manera, estos dos axiomas expresan que el universo del
discurso de la Aritmtica de Peano (PA) es infinito, en el sentido de Dedekind2.
2
Se recuerda que un conjunto X es infinito (en el sentido de Dedekind) si existe una funcin f : X X que es
inyectiva pero no sobreyectiva. Es exactamente lo que expresan los axiomas (A5 ) y (A6 ).
9
PA, ` s(t) = s(u) PA, ` s(t) = 0
Sucesor
PA, ` t = u PA, `

Adicin PA, ` 0 + u = u PA, ` s(t) + u = s(t + u)

Multiplicacin PA, ` 0 u = 0 PA, ` s(t) u = (t u) + u


PA, ` {x := 0} PA, , {x := y} ` {x := s(y)}
Induccin si y < FV(, x )
PA, ` {x := t}

Cuadro 3. Reglas aritmticas

Finalmente, el axioma (A7 ) el principio de induccin no es estrictamente hablando un


axioma, pero un esquema de axiomas, que define un axioma de induccin particular para cada
frmula con las variables libres x, z1 , . . . , zk . As, en razn de la presencia de los axiomas de
induccin, el conjunto de los axiomas de PA es infinito numerable:
(A ) (A ) + (A7 )
| 1 {z 6} |{z}
6 axiomas axiomas
En lo siguiente, se escribe Ax(PA) el conjunto (infinito) de los axiomas de PA.
Definicin 1.16 (Demostracin en PA). Sea una frmula cerrada del lenguaje de PA. Se
llama una demostracin de en PA cualquier derivacin d de un secuente con la forma ` ,
donde es una lista finita de axiomas de Peano. La relacin d es una demostracin de
en PA se escribe d : (PA ` ). Cuando tal demostracin existe, se dice que la frmula es
demostrable en PA o que es un teorema de PA y se escribe PA ` .
Observacin 1.17. Es importante recordar que en cualquier teora de primer orden, una
demostracin es una estructura finita que slo utiliza un nmero finito de axiomas, incluso
cuando el sistema de axiomas subyacente es infinito. En el caso de PA, esto significa que una
demostracin slo utiliza un nmero finito de axiomas de induccin (A7 ). Por lo tanto, cada
frmula que es demostrable en PA es demostrable en una subteora finita de PA, es decir: en
una subteora con un sistema finito de axiomas (propiedad de compacidad sintctica).
Notacin 1.18 (Pseudo-secuentes). Durante la construccin de una demostracin en PA,
es cmodo utilizar pseudo-secuentes de la forma PA, ` , donde el prefijo PA, repre-
senta la lista (finita) de todos los axiomas utilizados efectivamente por la demostracin la
cual slo se puede conocer a fortiori, una vez que la construccin de la demostracin ha si-
do acabada. En prctica, los pseudo-secuentes PA, ` se derivan con las mismas reglas de
deduccin (Cuadros 1 y 2) como los secuentes usuales, aadiendo el prefijo PA, en las
premisas/conclusiones, y modificando la regla Axioma (Cuadro 1) por:
Axioma PA, ` si Ax(PA)
La posibilidad de utilizar los axiomas de PA como hiptesis suplementarias en los pseudo-
secuentes permite derivar reglas especficas para la Aritmtica, dadas en el Cuadro 3.

1.5. Consistencia y completitud. El principal inters de un sistema formal tal que PA es


que l permite distinguir dos clases de frmulas cerradas : las que son demostrables (tales
que PA ` ), consideradas como verdaderas, y las que son refutables (tales que PA ` ),
consideradas como falsas. Tal distincin naturalmente plantea dos problemas:
10
El problema de la consistencia: Se dice que PA es consistente si PA 0 , es decir: si no
hay ninguna demostracin formal de la frmula absurda a partir de los axiomas de
Peano. Es claro que si PA es consistente, entonces la clase de las frmulas demostrables
y la clase de las frmulas refutables son desyuntadas (por la regla de contradiccin,
vase Cuadro 2 p. 9). En otro lado, si PA es inconsistente (es decir: si PA ` ), entonces
toda frmula cerrada es un teorema de PA (por la regla del ex falso quod libet, vase
Cuadro 2) as como su negacin , de tal modo que cada una de las dos clases de
frmulas (demostrables y refutables) se confunde con la clase de todas las frmulas
cerradas dicho de otra manera: tal sistema formal no sirve para nada.
El problema de la completitud: Se dice que una frmula cerrada es decidible (en PA)
cuando es demostrable (PA ` ) o refutable (PA ` ), y que PA es completa si todas las
frmulas cerradas de su lenguaje son decidibles. De modo equivalente, PA es completa si
la clase de todas la frmulas cerradas es la unin de ambas clases de frmulas, demostra-
bles y refutables. Es claro que un sistema formal que es a la vez consistente y completo
induce nociones de demostrabilidad y refutabilidad ideales que forman una particin de
la clase de las frmulas cerradas, de tal modo que estas nociones se pueden confundir
con las nociones de verdad y de falsedad3. En otro lado, si PA es incompleta, la exis-
tencia de frmulas cerradas indecidibles (es decir: ni demostrables ni refutables) crea un
tercer caso que prohbe identificar las nociones de demostrabilidad y de refutabilidad
con las nociones de verdad y de falsedad (por el principio del tercero excluido). En este
caso, slo se puede ver la demostrabilidad y la refutabilidad como aproximaciones (por
defecto) de las nociones de verdad y de falsedad.
El primer teorema de incompletitud de Gdel (Seccin 4) muestra que si PA es consistente,
entonces es incompleta. Dicho de otra manera, slo hay dos casos posibles:
O bien PA es inconsistente y completa (trivialmente). En este caso, todas las frmulas
cerradas son demostrables y refutables, pero el sistema formal no sirve para nada.
O bien PA es consistente e incompleta. En este caso, las frmulas demostrables y refu-
tables forman clases desyuntadas, pero existe frmulas cerradas las frmulas indeci-
dibles que permanecen afuera de esta clasificacin.
1.6. Expresividad de PA. A pesar de su lenguaje minimalista, la Aritmtica de Peano es un
formalismo muy expresivo, que permite expresar y demostrar todas las propiedades bsicas
sobre los enteros naturales. Por ejemplo las propiedades algebraicas de + y :
Proposicin 1.19 (Propiedades algebraicas). Las siguientes frmulas son teoremas de PA:
1. x (x + 0 = x) (0 es neutro para +)
2. x y (x + y = y + x) (conmutatividad de +)
3. x y z ((x + y) + z = x + (y + z)) (asociatividad de +)
4. x y z (x + z = y + z x = y) (regularidad de +)
5. x (x 0 = 0) (0 es absorbente para )
6. x (x 1 = x) (1 es neutro para )
7. x y (x y = y x) (conmutatividad de )
8. x y z ((x y) z = x (y z)) (asociatividad de )
9. x y z (z , 0 x z = y z x = y) (regularidad de )
10. x y z ((x + y) z = x z + y z) (distributividad de respecto a +)
3
Del punto de vista de la teora de modelos, la identificacin de la demostrabilidad con la verdad (y de la
refutabilidad con la falsedad) se justifica en razn de que para todo modelo M (en el sentido de Tarski) de
una teora T de primer orden que es a la vez consistente y completa, tenemos la equivalencia T ` ( es
demostrable en T ) sii M |= ( es verdadera en M ) para toda frmula cerrada . De hecho, todos los
modelos de una teora consistente y completa son elementalmente equivalentes (aunque puedan ser no isomorfos).
11
(utilizando la abreviatura t , u para (t = u)).
Adems, el orden (estricto y no estricto) se puede definir en el lenguaje de PA mediante de
las abreviaturas:
t u z (t + z = u) (z < FV(t), z < FV(u))
t < u s(t) u z (t + z = u) (z < FV(t), z < FV(u))
t 6 u (t u)
t 6< u (t < u)
De nuevo:
Proposicin 1.20 (Propiedades del orden). Las siguientes frmulas son teoremas de PA:
1. x (0 x) (0 es mnimo para )
2. x (x x) (reflexividad de )
3. x y (x y y x x = y) (antisimetra de )
4. x y z (x y y z x z) (transitividad de )
5. x y (x y y x) (totalidad de )
6. x y (x y s(x) s(y))
7. x y z (x y x + z y + z)
8. x y z (z , 0 (x y x z y z))
9. x (x < x) (irreflexividad de <)
10. x y z (x < y y < z x < z) (transitividad de <)
11. x y (x < y x = y y < x) (principio de tricotoma)
12. x y (x < y s(x) < s(y))
13. x y z (x < y x + z < y + z)
14. x y z (z , 0 (x < y x z < y z))
15. x y (x y x < y x = y) (caracterizacin de )
16. x y (x < y x y x , y) (caracterizacin de <)
17. ~z [x (y (y < x (y,~z)) (x,~z)) x (x,~z)] (principio de induccin fuerte)
para cada frmula (x,~z) con las variables libres x y ~z z1 , . . . , zk (k 0).
18. ~z [x (x,~z) x0 ((x0 ,~z) x ((x,~z) x0 x))] (principio de buen orden)
para cada frmula (x,~z) con las variables libres x y ~z z1 , . . . , zk (k 0).
Ms generalmente, se puede formalizar y demostrar en PA las propiedades bsicas relacio-
nadas a la nocin de divisibilidad y a los nmeros primos, mediante de las abreviaturas:
t | u z (t z = u) (z < FV(t), z < FV(u))
Prim(t) t , 1 z (z | t z = 1 z = t) (z < FV(t))
Aunque el lenguaje de PA slo pueda expresar estrictamente hablando propiedades sobre
los enteros naturales, se puede formalizar y demostrar en PA algunas propiedades de ciertos
conjuntos (finitos e infinitos), como por ejemplo el conjunto de los nmeros primos:
Proposicin 1.21 (Teorema de Euclides). La frmula
x y (y > x Prim(y))
( el conjunto de los nmeros primos es infinito ) es un teorema de PA.
En la Seccin 2.4, veremos que el lenguaje PA es suficientemente expresivo para representar
todas las sucesiones finitas de enteros naturales y ms generalmente todas las estructuras
finitas como enteros naturales, mediante de una codificacin adecuada. Y que su sistema
de axiomas es bastante potente para razonar sobre las estructuras finitas, travs de dicha
codificacin. Esta observacin segn la cual la Aritmtica de Peano no es slo la teora de
los enteros naturales, pero ms generalmente la teora de todas las estructuras finitas es una
de las ideas claves de la demostracin de los teoremas de incompletitud de Gdel.
12
1.7. El modelo estndar de PA. Se llama el modelo estndar de la aritmtica el modelo (en
el sentido de Tarski) cuyo dominio de interpretacin es el conjunto N de los enteros naturales,
y en el cual cada smbolo del lenguaje de PA es interpretado del modo obvio: el smbolo 0 por
el entero 0, el smbolo s por la funcin sucesor, etc. Por abuso de lenguaje, el modelo estndar
(formado a partir del conjunto N) tambin se escribe N. Formalmente:

Definicin 1.22 (Valor de un trmino cerrado). A cada trmino cerrado t del lenguaje de PA,
se asocia un entero natural escrito ~t y llamado el valor de t. Este valor es definido por recur-
sin sobre la estructura de t a partir de las siguientes ecuaciones:
~0 = 0 ~t + u = ~t + ~u
~s(t) = ~t + 1 ~t u = ~t ~u

(dando a los smbolos 0, 1, +, su significacin usual en N en los miembros derechos).

En particular, el valor del entero de Peano n (Def. 1.2) es ~n = n para todo n N.
Luego se define la relacin de satisfaccin N |= (donde es una frmula cerrada), que
expresa que la frmula es verdadera en el modelo estndar:

Definicin 1.23 (Satisfaccin de una frmula cerrada). La relacin de satisfaccin N |=


(donde es una frmula cerrada) es definida por induccin sobre el nmero de conectivas y de
cuantificadores en por las siguientes equivalencias:
1. N 6|= (es decir: N |= no se cumple, por definicin);
2. N |= t = u sii ~t = ~u;
3. N |= sii (N |= implica N |= );
4. N |= x sii N |= {x := n} para todo n N.
Las ecuaciones anteriores se extienden inmediatamente a las construcciones definidas >, ,
, y x (Notaciones 1.4 p. 3) por:
5. N |= >;
6. N |= sii N 6|= ;
7. N |= sii N |= y N |= ;
8. N |= sii N |= o N |= ;
9. N |= sii (N |= sii N |= );
10. N |= x sii N |= {x := n} para algn n N.

Cuando se cumple la asercin N |= , se dice que la frmula cerrada es satisfecha, o


verdadera, en el modelo estndar. Es claro que todas las reglas de deduccin (Cuadro 1 p. 6)
preservan la nocin de verdad en el modelo estndar, de tal modo que:

Proposicin 1.24 (Adecuacin). Si un secuente 1 , . . . , p ` (con variables libres ~x


x1 , . . . , xk ) es derivable, entonces para todos ~n = n1 , . . . , nk N:
Si N |= 1 {~x := ~n} y . . . y N |= p {~x := ~n}, entonces N |= {~x := ~n}.

Adems, se verifica fcilmente que:

Proposicin 1.25 (Satisfaccin de los axiomas). Todo axioma de Peano (A1 A7 ) es satis-
fecho en el modelo estndar: N |= .

Por lo tanto:

Teorema 1.26 (Correccin). Si PA ` , entonces N |= .


13
Una definicin infinitaria Por construccin, la relacin de satisfaccin N |= efecta una
traduccin literal de la frmula cerrada en el lenguaje de la teora ambiente 4, dando a los
smbolos que aparecen en su sentido usual en el conjunto de los enteros naturales y ms
generalmente en la matemtica. Por ejemplo, la asercin
N |= x y1 y2 (Prim(y1 ) Prim(y2 ) y1 + y2 = 2 x + 4)
es por definicin equivalente (en la teora ambiente) a la asercin
Todo entero par superior a 2 es suma de dos nmeros primos.
As, para determinar si la frmula cerrada
x y1 y2 (Prim(y1 ) Prim(y2 ) y1 + y2 = 2 x + 4)
es satisfecha en el modelo estndar, habr que resolver (positivamente o negativamente) la con-
jetura de Goldbach, ni ms ni menos. Este ejemplo ya muestra que la definicin de la relacin
de satisfaccin N |= no se reduce slo a un clculo (contrario a todas las nociones que intro-
dujimos anteriormente), pero constituye una definicin infinitaria autntica.
Tcnicamente, la definicin de la relacin de satisfaccin N |= es una definicin recursiva
que se basa implcitamente sobre un orden bien fundado en el conjunto de las frmulas cerradas.
Segn esta definicin, la satisfaccin de la frmula x (x) se puede definir solamente despus
de haber definido la satisfaccin de todas las frmulas (n), para todos los enteros naturales
n N. Tal definicin es posible en prctica slo si la teora ambiente posee mecanismos que
permiten construir objetos infinitarios (por ejemplo conjuntos infinitos) y razonar sobre tales
objetos. Por ejemplo en la teora de conjuntos (tomada aqu como teora ambiente), se puede
definir la relacin de satisfaccin N |= de la siguiente manera:
1. Para cada frmula , se escribe || el tamao de la frmula , es decir, el nmero de
conectivas y cuantificadores en A (sin contar las igualdades), y para cada entero k N,
se escribe Lk el conjunto de las frmulas cerradas de tamao k.
2. Para cada entero natural k, se define un conjunto Vk Lk cuyos elementos son las
frmulas cerradas de tamao k que son satisfechas en el modelo estndar. El conjunto
Vk Lk se define por recursin sobre k escribiendo:
V0 = {(t = u) L0 : ~t = ~u}
Vk = {( ) Lk : L|| V|| o V|| }
{(x ) Lk : para todo n N, {x := n} V|| } (k 1)
Se observa que esta definicin es bien formada, pues cada conjunto Vk (k 0) es definido
solamente a partir de los conjuntos V0 , . . . , Vk1 .
3. Finalmente, se escribe N |= cuando V|| . (Se invita al lector verificar que esta
definicin cumple todas las equivalencias de la Def. 1.23.)
Se puede observar que la construccin por induccin de la sucesin de conjuntos infinitos
Vk Lk es la sola parte autnticamente infinitaria de la definicin anterior. En otro lado, la
definicin del valor ~t asociado a un trmino cerrado t es una definicin finitaria, que slo
utiliza una cantidad finita de informacin sobre los subtrminos de t.
En cualquier caso, cada vez que la teora ambiente es suficientemente expresiva para permitir
la construccin del modelo estndar (es decir, para permitir la definicin de la relacin de
satisfaccin N |= ), es fcil verificar que:
4
Es decir la teora (en el sentido intuitivo) en la cual se ubica para razonar sobre los trminos, las frmulas, las
derivaciones, etc. de la teora formal de la aritmtica (PA), por oposicin a dicha teora formal, que es el objeto
de nuestro razonamiento. La teora ambiente (se trata obviamente de una nocin intuitiva, no definida) tambin se
llama la meta-teora, o la teora externa; ella corresponde al nivel de razonamiento usual en matemtica.
14
Proposicin 1.27 (Consistencia de PA). La Aritmtica de Peano es consistente: PA 0 .

Demostracin. Como la frmula no es satisfecha en el modelo estndar (por definicin), no


se puede demostrarla en PA, por el Teorema 1.26 (por contraposicin). 

Razonamiento en un marco finitario Obviamente, la demostracin de consistencia anterior


slo tiene sentido cuando la teora ambiente permite construir objetos infinitarios (tales que
los conjuntos Vk ) y razonar sobre dichos objetos. En cambio, cuando se trabaja en una teora
ambiente finitaria es decir en una teora ambiente el la cual slo se puede razonar sobre
objetos finitos5 siempre es posible razonar sobre los enteros, los trminos, las frmulas o
las derivaciones, y definir operaciones sintcticas tales que la sustitucin en las frmulas o el
clculo del valor de un trmino. Sin embargo, ya no se puede definir el modelo estndar de la
Aritmtica, y la cuestin de la consistencia de PA permanece abierta.
El lector podr verificar que la mayora de los razonamientos que efectuaremos en las si-
guientes pginas son razonamientos puramente finitarios, que se pueden formalizar plenamen-
te (por ejemplo) en la teora de conjuntos hereditariamente finitos es decir: en la teora de
conjuntos el la cual el axioma del infinito es remplazado por su negacin ( todos los conjuntos
son finitos )6. Por regla general, trabajaremos con mayor frecuencia en un marco finitario, sin
suponer que la Aritmtica de Peano (PA) es consistente salvo, por supuesto, en los casos
donde mencionaremos explcitamente el modelo estndar.

1.8. Propiedades de completitud de PA. Antes de demostrar que PA es incompleta (primer


teorema de incompletitud), es interesante recordar algunos resultados de completitud de PA
respecto a ciertas clases de frmulas cerradas con baja complejidad lgica.

[NB: Los resultados tcnicos presentados aqu se pueden saltar en primera lectura.]

1.8.1. Decidibilidad de las frmulas atmicas. La siguiente proposicin muestra que todas
las igualdades y desigualdades verdaderas entre enteros de Peano son demostrables en PA:

Proposicin 1.28. Para todos enteros naturales n, m, tenemos que:



PA ` n = m si n = m


PA ` n , m si n , m

Demostracin. En el caso donde n = m, tenemos


(refl.)
PA ` n = m

por la regla de reflexividad (Cuadro 3) los trminos n y m siendo idnticos. En el caso donde
n , m, se distinguen dos subcasos segn que n > m o n < m. En cada de los dos subcasos,
la derivacin se construye utilizando |n m| 1 veces la regla de inyectividad del sucesor

5
Por supuesto, esto no implica que el universo del discurso (formado por todos los objetos sobre los cuales
se permite razonar) sea finito, ni que toda forma de razonamiento por induccin sea prohibida. La Aritmtica de
Peano es el arquetipo de las teoras finitarias (aunque su universo del discurso sea infinito), pero existe teoras
finitarias muchas ms dbiles, como por ejemplo la Aritmtica de Robinson Q (vase Seccin ???).
6
De hecho, la teora formal de los conjuntos hereditariamente finitos es equiconsistente a PA.
15
(Cuadro 3) antes de concluir con la regla s , 0 (idem):
(ax.)
PA, n = m ` sn (0) = sm (0)
(ax.) (s-iny.)
PA, n = m ` sn (0) = sm (0) PA, n = m ` sn1 (0) = s m1
(0)
(s-iny.) ..
PA, n = m ` sn1
.. (0) = s m1
(0) ..
.. PA, n = m ` s(0) = smn+1 (0)
(s-iny.)
PA, n = m ` s nm+1
(0) = s(0) PA, n = m ` 0 = smn (0)
(s-iny.) (=-sim.)
PA, n = m ` snm (0) = 0 PA, n = m ` smn (0) = 0
(s,0) (s,0)
PA, n = m ` PA, n = m `
(-intro) (-intro)
PA ` n , m PA ` n , m
(subcaso donde n > m) (subcaso donde n < m) 
Adems, los axiomas de PA permiten justificar el clculo des las operaciones + y :
Proposicin 1.29 (Clculo de +, ). Para todos enteros naturales n, m, tenemos que:
PA ` n + m = n + m y PA ` n m = nm .
Demostracin. (Caso de la adicin) La derivacin de PA ` n + m se construye por induccin
ambiente (o meta-induccin) sobre n:
Caso de base (n = 0). Tenemos que

PA ` 0 + m = m
por la regla 0 + u = u (Cuadro 3).
Paso de induccin (n n + 1). Tenemos que
(hiptesis de. induccin)
..
. (=-refl.)
PA ` n + m = n + m PA ` s(n + m) = s(n + m)
(=-elim)
PA ` s(n) + m = s(n + m) PA ` s(n + m) = s(n + m)
(=-trans.)
PA ` s(n) + m = s(n + m)
| {z } | {z }
n+1+m n+m+1
(Caso de la multiplicacin) Mismo mtodo como para +. 
Proposicin 1.30 (Valor de un trmino cerrado). Para todo trmino cerrado t:
PA ` t = n (donde n = ~t)
Demostracin. Por induccin estructural sobre t, utilizando la Prop. 1.29. 
Combinando las Prop. 1.28 y 1.30 arriba, se deduce ms generalmente que todas las igual-
dades cerradas son decidibles en PA:
Proposicin 1.31 (Decidabilidad de las igualdades). Para todos trminos cerrados t, u:

PA ` t = u si ~t = ~u


PA ` t , u si ~t , ~u

1.8.2. Decidibilidad del orden. La proposicin anterior se puede generalizar a las relaciones
de orden t u y t < u. Para ello, se comienza por establecer la siguiente proposicin:
Proposicin 1.32. Para todos enteros naturales n, m, tenemos que:


PA ` n m si n m PA ` n < m si n < m


y

PA ` n 6 m si n > m

PA ` n 6< m si n m


16
Demostracin. Mismo mtodo como para la Prop. 1.28, construyendo las derivaciones a partir
de derivaciones de las siguientes frmulas
x (0 x) x (s(x) 6 0) x y (x y s(x) s(y))
x (0 < s(x)) x (x 6< 0) x y (x < y s(x) < s(y))
que son teoremas de PA. 
Combinando la proposicin anterior con la Prop. 1.30, se deduce que todas las desigualdades
cerradas son decidibles en PA:
Proposicin 1.33 (Decidabilidad de las desigualdades). Para todos trminos cerrados t, u:

PA ` t u si ~t ~u

PA ` t < u si ~t < ~u


y
PA ` t 6 u si ~t > ~u

PA ` t 6< u si ~t ~u

1.8.3. Decidibilidad de las frmulas sin cuantificadores.


Definicin 1.34 (Frmulas sin cuantificadores). Se llama una frmula sin cuantificadores
toda frmula que se puede construir por aplicacin finita de las siguientes reglas:
(1) La frmula es una frmula sin cuantificadores.
(2) Si t, u son trminos, entonces las tres frmulas t = u, t u y t < u son frmulas sin
cuantificadores.
(3) Si , son frmulas sin cuantificadores, entonces la frmula es una frmula sin
cuantificadores.
Observaciones 1.35. (1) Aqu, la terminologa sin cuantificadores es abusiva, pues las
dos frmulas sin cuantificadores t u z (t + z = u) y t < u z (s(t) + z = u)
(construidas por la regla (2)) ya contienen cuantificadores. Intuitivamente, las frmulas t u
y t < u se pueden considerar como frmulas atmicas (similares a la frmula atmica t = u),
olvidando las cuantificaciones que sirven a definirlas.
(2) La regla (3) se generaliza obviamente a las conectivas definidas (Def. 1.4 p. 3), utilizando
las reglas (1) y (3): si , son frmulas sin cuantificadores, entonces las frmulas >, , ,
y tambin son frmulas sin cuantificadores.
Proposicin 1.36 (Completitud respecto a las frmulas sin cuantificadores). Toda frmula
cerrada sin cuantificadores es decidible en PA: PA ` o PA ` .
Demostracin. La propiedad se demuestra por induccin estructural sobre , distinguiendo
los casos segn la ltima regla aplicada.
(1) es . Obvio, pues PA ` .
(2) es una de las tres frmulas cerradas t = u, t u o t < u. Sigue de las Prop. 1.31, 1.33.
(3) es 1 2 , donde 1 y 2 son frmulas cerradas sin cuantificadores. Por hiptesis de
induccin, las dos frmulas 1 , 2 son decidibles. Se distinguen los siguientes casos:
1. PA ` 1 ( ). En este caso, tenemos PA ` por
..
..
PA ` 1
(deb.) (ax.)
PA, 1 ` 1 PA, 1 ` 1
(-elim)
PA, 1 `
(-elim)
PA, 1 ` 2
(-intro)
PA ` 1 2
| {z }

2. PA ` 1 . En este caso se distinguen los dos siguientes subcasos.


17
2.1. PA ` 2 . En este caso, tenemos PA ` por
..
..
PA ` 2
(deb.)
PA, 1 ` 2
(-intro)
PA ` 1 2
| {z }

2.2. PA ` 2 . En este caso, tenemos PA ` por


..
..
..
.. PA ` 1
(ax.) (deb.)
PA ` 2 PA, 1 2 ` 1 2 PA, 1 2 ` 1
(deb.) (-elim)
PA, 1 2 ` 2 PA, 1 2 ` 2
(-elim)
PA, 1 2 `
(-intro)
PA ` (1 2 ) 
| {z }

Observacin 1.37. El lector habr observado que la demostracin de la proposicin anterior


sigue exactamente el clculo de la tabla de verdad de la frmula cerrada (particularmente en
el caso (3) correspondiente a la implicacin). De hecho, la propiedad anterior se puede ver
como una propiedad de completitud respecto a las tablas de verdad: toda frmula cerrada que
se puede verificar con una tabla de verdad finita se puede demostrar en PA7. En la seccin 1.8.5,
veremos que esta propiedad se extiende a las frmulas con cuantificaciones acotadas.
1.8.4. Desarrollo del orden y de las cuantificaciones acotadas.
Notaciones 1.38. Dado una sucesin finita de frmulas 1 , . . . , n (n 0), se escribe
^ _
i 1 n y i 1 n
i=1..n i=1..n
^ _
con la convencin que i > y i cuando n = 0 (sucesin vaca).
i=1..n i=1..n

La siguiente proposicin muestra que para todo trmino cerrado t, las dos frmulas abiertas
x t y x < t se pueden desarrollar en disyunciones finitas de igualdades:
Proposicin 1.39 (Desarrollo del orden). Para todo trmino cerrado t:
 _   _ 
PA ` x x t x=n y PA ` x x < t x=n
n~t n<~t

Demostracin. Por induccin (ambiente) sobre ~t, utilizando la Prop. 1.30 y construyendo las
derivaciones a partir de derivaciones de las frmulas
x (x 0 x = 0) x y (x s(y) x y x = s(y))
x (x < 0 ) x y (x < s(y) x < y x = y)
que son teoremas de PA. 

7
En otro lado, las frmulas con cuantificadores no se pueden verificar (en general) con tablas de verdad finitas
(vase la discusin de la Seccin 1.7). Es precisamente la razn de ser de la nocin de demostracin: capturar un
clculo de verdad infinito en una estructura de datos finita el precio a pagar siendo la incompletitud.
18
Notaciones 1.40 (Cuantificaciones acotadas). Dado una frmula , una variable x y un tr-
mino t tal que x < FV(t), se definen las cuantificaciones acotadas (x t), (x < t), (x t)
y (x < t) mediante de las siguientes abreviaturas
(x t) x (x t ) (x < t) x (x < t )
(x t) (x t) (x < t) (x < t)
Sigue inmediatamente de la Prop. 1.39 que:
Proposicin 1.41 (Desarrollo de las cuantificaciones acotadas). Para toda frmula (x)
(dependiendo de x) y para todo trmino cerrado t, tenemos que:
^ ^
PA ` (x t)(x) (n) PA ` (x < t)(x) (n)
n~t n<~t
_ _
PA ` (x t)(x) (n) PA ` (x < t)(x) (n)
n~t n<~t

1.8.5. Decidibilidad de las frmulas con cuantificaciones acotadas.


Definicin 1.42 (Frmulas con cuantificaciones acotadas, o FCA). Se llama una frmula
con cuantificaciones acotadas (FCA) toda frmula que se puede construir por aplicacin finita
de las siguientes reglas:
(1) La frmula es una FCA.
(2) Si t, u son trminos, entonces las tres frmulas t = u, t u y t < u son FCA.
(3) Si , son FCA, entonces la frmula es una FCA.
(4) Si es una FCA y t un trmino tal que x < FV(t), entonces las dos frmulas (x t) y
(x < t) son FCA.
Proposicin 1.43 (Eliminacin de las cuantificaciones acotadas). Toda frmula cerrada
con cuantificaciones acotadas es equivalente en PA a alguna frmula cerrada sin cuantifi-
cadores: PA ` .
Demostracin. La frmula cerrada (sin cuantificadores) asociada a la frmula cerrada
(con cuantificaciones acotadas) es definida por induccin sobre el nmero de conectivas y de
cuantificaciones acotadas en utilizando las ecuaciones

(t = u) t=u ( )
(t u) u
t^ (t < u) t^
<u
((x t) ) ({x := n}) ((x < t) )

({x := n})
n~t n<~t

y observando que para toda cuantificacin acotada cerrada (x t) o (x < t) , el trmino t


es cerrado, de tal modo que se pueda desarrollar dicha cuantificacin (Prop. 1.41). Luego se
verifica fcilmente por induccin que: PA ` . 
Combinando la proposicin anterior con la Prop. 1.36, se deduce inmediatamente que todas
las frmulas cerradas con cuantificaciones acotadas son decidibles en PA:
Corolario 1.44 (Decidibilidad de las frmulas con cuantificaciones acotadas). Toda frmula
cerrada con cuantificaciones acotadas es decidible en PA: PA ` o PA ` .
2. Funciones recursivas
Esta seccin es dedicada a las funciones recursivas, que constituyen uno de los ingredientes
principales en la demostracin de los teoremas de incompletitud de Gdel. Aqu se recuerdan
las definiciones y propiedades principales de la teora de la recursin (Secciones 2.1 y 2.2),
antes de establecer el teorema de representacin en PA (Secciones 2.3 y 2.4).
19
2.1. Definiciones y propiedades. En lo siguiente, se escribe Nk * N el conjunto de las
funciones parciales de Nk a N (k 1), y dado una funcin parcial f : Nk * N, se escribe
dom( f ) ( Nk ) su dominio. Se recuerda que el conjunto Nk N de las funciones totales de Nk
a N es un subconjunto del conjunto de las funciones parciales: (Nk N) (Nk * N).
Definicin 2.1 (Funciones recursivas). Se llama una funcin recursiva toda funcin parcial
f : Nk * N (k 1) que se puede construir por aplicacin finita de las siguientes reglas:
Funcin nula: La funcin cero : N N definida por
cero(n) = 0
para todo n N (funcin total) es recursiva.
Funcin sucesor: La funcin suc : N N definida por
suc(n) = n + 1
para todo n N (funcin total) es recursiva.
Proyecciones: Para todos k i 1, la funcin proyki : Nk N definida por
proyki (n1 , . . . , nk ) = ni
para todo (n1 , . . . , nk ) Nk (funcin total) es recursiva.
Esquema de composicin: Si las funciones f1 , . . . , f p : Nk * N y g : N p * N (k, p 1)
son recursivas, entonces la funcin h : Nk * N definida por
h(n1 , . . . , nk ) = g( f1 (n1 , . . . , nk ), . . . , f p (n1 , . . . , nk ))
(para todo (n1 , . . . , nk ) Nk donde el lado derecho es definido) es recursiva.
Nota Bene: dado (n1 , . . . , nk ) Nk , el valor de h(n1 , . . . , nk ) no es definido cuando:
o bien fi (n1 , . . . , nk ) no es definido para algn i [1..p];
o bien fi (n1 , . . . , nk ) es definido para todo i [1..p], pero
g( f1 (n1 , . . . , nk ), . . . , f p (n1 , . . . , nk )) no es definido.
Esquema de recursin: Si las funciones f : Nk * N y g : Nk+2 * N (con k 1) son
recursivas, entonces la funcin h : Nk+1 * N definida por recursin sobre n N por
h(0, n1 , . . . , nk ) = f (n1 , . . . , nk )
h(n + 1, n1 , . . . , nk ) = g(n, h(n, n1 , . . . , nk ), n1 , . . . , nk )
(para todo (n, n1 , . . . , nk ) Nk+1 donde el lado derecho es definido) es recursiva.
Nota Bene: dado (n, n1 , . . . , nk ) Nk+1 , el valor de h(n, n1 , . . . , nk ) no es definido cuando:
o bien n = 0 y f (n1 , . . . , nk ) no es definido;
o bien n 1 y h(n 1, n1 , . . . , nk ) no es definido;
o bien n 1 y h(n 1, n1 , . . . , nk ) es definido, pero
g(n 1, h(n 1, n1 , . . . , nk ), n1 , . . . , nk ) no es definido.
Esquema de minimizacin: Si la funcin f : Nk+1 * N (k 1) es recursiva, entonces la
funcin h : Nk * N definida por:
h(n1 , . . . , nk ) = n . f (n, n1 , . . . , nk ) > 0
= el nico n N (si existe) tal que
f (n, n1 , . . . , nk ) > 0 (m < n) f (m, n1 , . . . , nk ) = 0
(para todo (n1 , . . . , nk ) Nk donde el lado derecho es definido) es recursiva.
Nota Bene: dado (n1 , . . . , nk ) Nk , el valor de h(n1 , . . . , nk ) no es definido cuando:
o bien existe n N tal que f (n, n1 , . . . , nk ) no es definido,
mientras f (m, n1 , . . . , nk ) = 0 (definido) para todo m < n;
o bien f (n, n1 , . . . , nk ) = 0 (definido) para todo n N.
Observaciones 2.2. (1) Es importante observar que:
20
Todas las funciones iniciales es decir: las funciones cero, suc : N N y las proyec-
ciones proyki : Nk N (k i 1) son funciones recursivas totales.
Si f1 , . . . , f p : Nk * N y g : N p * N (k, p 1) son funciones recursivas totales,
entonces la funcin h : Nk * N construida a partir de f1 , . . . , f p , g por el esquema de
composicin es una funcin recursiva total tambin.
Si f : Nk * N y g : Nk+1 * N (k 1) son funciones recursivas totales, entonces la
funcin h : Nk+1 * N construida a partir de f y g por el esquema de recursin es una
funcin recursiva total tambin.
Luego, la nica regla que permite construir una funcin recursiva h : Nk * N que sea realmente
parcial es el esquema de minimizacin. Esto pasa tpicamente cuando la funcin recursiva
h : Nk * N es definida por minimizacin
h(n1 , . . . , nk ) = n . f (n, n1 , . . . , nk ) > 0
a partir de una funcin total f : Nk+1 N para la cual existe (n1 , . . . , nk ) Nk tal que
f (n, n1 , . . . , nk ) = 0 para todo n N, de tal modo que el valor de h(n1 , . . . , nk ) es indefinido.
Intuitivamente, la funcin h intenta hallar el ms pequeo n N tal que f (n, n1 , . . . , nk ) > 0,
calculando sucesivamente los valores de f (m, n1 , . . . , nk ) para todos los enteros m N, hasta
encontrar un m N tal que f (m, n1 , . . . , nk ) > 0 pero como tal m no existe, el clculo de
h(n1 , . . . , nk ) entra en un bucle infinito.
(2) La discusin anterior muestra ms generalmente que si f : Nk * N es una funcin
recursiva parcial, los argumentos (n1 , . . . , nk ) Nk para los cuales el valor de f (n1 , . . . , nk ) es
indefinido son precisamente los para los cuales el clculo efectivo de f (n1 , . . . , nk ) entra en un
bucle infinito. Por lo tanto, escribiremos en lo siguiente:
f (n1 , . . . , fk ) cuando (n1 , . . . , nk ) dom( f ) ( f (n1 , . . . , nk ) converge )
f (n1 , . . . , fk ) cuando (n1 , . . . , nk ) < dom( f ) ( f (n1 , . . . , nk ) diverge )
(3) La nocin de funcin recursiva intenta captura la nocin intuitiva de funcin calcula-
ble . De hecho, se puede demostrar que la clase de las funciones recursivas (Gdel, 1931)
coincide con la clase de las funciones -definibles (Church, 1936), la clase de las funciones
Turing-computables (Turing, 1936) y ms generalmente, con la clase de todas las funciones que
se pueden implementar en cualquier lenguaje de programacin razonable. En lo siguiente, des-
cribiremos a menudo las funciones recursivas con pseudo-cdigo, dado que tal pseudo-cdigo
se puede siempre compilar en un funcin recursiva segn la definicin oficial.
(4) En trminos de cardinalidad, se puede demostrar que el conjunto de todas las funciones
recursivas parciales y totales de aridad k 1 es infinito numerable (= 0 = card(N)), mientras
el conjunto Nk * N de todas las funciones parciales (as como el conjunto Nk N de todas las
funciones totales) tiene la potencia del continuo (= 20 = card(R)). Este argumento ya muestra
que la gran mayora de las funciones f : Nk N no son recursivas.
Definicin 2.3 (Funcin recursiva primitiva). Se llama una funcin recursiva primitiva toda
funcin recursiva que se puede construir a partir de las funciones iniciales (cero, sucesor y
proyecciones) slo utilizando el esquema de composicin y el esquema de recursin.
Segn la Observacin 2.2 (1), es claro que:
Proposicin 2.4. Toda funcin recursiva primitiva es una funcin total.
Observaciones 2.5. (1) Todas las funciones aritmticas usuales son recursivas primitivas: +
(adicin), (multiplicacin), (sustraccin truncada8), (cociente de la divisin euclidiana),
mod (resto de la divisin euclidiana), ! (factorial), (potencia), etc.
8
La substraccin truncada es definida para todos n, m N por n m = max(n m, 0) ( N).
21
(2) Todas las funciones recursivas primitivas son totales, pero existen funciones recursivas
totales que no son recursivas primitivas. Un contra-ejemplo es dado por la funcin recursiva
total ack : N2 N (funcin de Ackermann) definida por las ecuaciones:
ack(0, m) = n + 1
ack(n + 1, 0) = ack(n, 1) (n, m N)
ack(n + 1, m + 1) = ack(n, ack(n + 1, m))
En efecto, se puede demostrar que la funcin diagonal (n 7 ack(n, n)) : N N crece ms
rpidamente que cualquier funcin recursiva primitiva f : N N, en el sentido en que
existe n f N tal que para todo n n f : ack(n, n) > f (n).
Obviamente, esta propiedad implica que la funcin de Ackermann no es recursiva primitiva.
(3) Por definicin, las funciones recursivas primitivas no se pueden construir por el esquema
de minimizacin. Sin embargo, la clase de las funciones recursivas primitivas es estable por
una restriccin de este esquema: el esquema de minimizacin acotada.
Proposicin 2.6 (Esquema de minimizacin acotada). Si f : Nk+1 N y g : Nk N
(k 1) son funciones recursivas primitivas, entonces la funcin h : Nk N definida por
h(n1 , . . . , nk ) = n < g(n1 , . . . , nk ) . f (n, n1 , . . . , nk ) > 0
= mn {n < g(n1 , . . . , nk ) : f (n, n1 , . . . , nk ) > 0} {g(n1 , . . . , nk )}


para todo (n1 , . . . , nk ) Nk es recursiva primitiva.


2.2. Conjuntos recursivos.
Definicin 2.7 (Conjuntos recursivos, recursivos primitivos). Dado un entero k 1, se dice
que un conjunto A Nk es recursivo (resp. recursivo primitivo) cuando su funcin caracters-
tica 1A : Nk N, definida por

1 si (n1 , . . . , nk ) A

1A (n1 , . . . , nk ) = ((n1 , . . . , nk ) Nk )

0 si (n , . . . , n ) < A,
1 k

es una funcin recursiva (resp. recursiva primitiva).


Proposicin 2.8. Dado k 1:
(1) Todo conjunto recursivo primitivo A Nk es recursivo.
(2) Todo conjunto finito A Nk es recursivo primitivo (y luego: recursivo).
(3) Si dos conjuntos A, B Nk son recursivos (resp. recursivos primitivos), entonces los
conjuntos Ac (= Nk A), A B y A B son recursivos (resp. recursivos primitivos).
(4) Una funcin total f : Nk N es recursiva (resp. recursiva primitiva) si y slo si su
grafo
{(n1 , . . . , nk , m) : f (n1 , . . . , nk ) = m} ( Nk+1 )
es un conjunto recursivo (resp. recursivo primitivo).
Definicin 2.9 (Conjuntos recursivamente enumerables). Dado k 1, se dice que un con-
junto A Nk es recursivamente enumerable cuando A = dom( f ) para alguna funcin recursiva
(parcial) f : Nk * N. De modo equivalente, un conjunto A Nk es recursivamente enumerable
cuando su funcin caracterstica parcial 1A : Nk * N, definida por

1
si (n1 , . . . , nk ) A
1A (n1 , . . . , nk ) =

((n1 , . . . , nk ) Nk )

(indefinido) si (n , . . . , n ) < A,
1 k

es una funcin recursiva.


Proposicin 2.10. Dado k 1:
22
(1) Todo conjunto recursivo A Nk es recursivamente enumerable.
(2) Si dos conjuntos A, B Nk son recursivamente enumerables, entonces los conjuntos
A B y A B son recursivamente enumerables.
(3) En general, el complementario Ac = Nk A de un conjunto recursivamente enumerable
A Nk no es recursivamente enumerable. Sin embargo:
(4) Un conjunto A Nk es recursivo si y slo si A y su complementario Ac = Nk A son
recursivamente enumerables.
2.3. El teorema de representacin. El objetivo de esta seccin es demostrar que toda fun-
cin recursiva f : Nk * N (k 1) se puede representar en el lenguaje de la Aritmtica de
Peano (PA) por cierta frmula f que describe el clculo de la funcin f . Es claro que tal posi-
bilidad de representacin viene del carcter numerable de las funciones recursivas (no hubiera
suficientes frmulas en el lenguaje de PA para representar todas las funciones f : Nk * N) y
de su carcter calculable (que permite tal descripcin).
Definicin 2.11 (Representacin de una funcin parcial). Sea f : Nk * N una funcin
parcial de aridad k 1. Se dice que una frmula aritmtica f (x1 , . . . , xk , y) (con las variables
libres x1 , . . . , xk , y) representa la funcin f en PA si para todo (n1 , . . . , nk ) dom( f ):
 
PA ` y f (n1 , . . . , nk , y) y = f (n1 , . . . , nk ) .
Cuando tal frmula existe, se dice que la funcin (parcial) f es representable en PA.
Se puede observar que esta nocin de representacin no especifica nada sobre la relacin
f (n1 , . . . , nk , y) para las k-uplas (n1 , . . . , nk ) afuera del dominio de f . Del mismo modo se
define la nocin de representacin para un subconjunto de Nk :
Definicin 2.12 (Representacin de un conjunto). Sea A Nk un conjunto (k 1). Se
dice que una frmula aritmtica A (x1 , . . . , xk ) (con las variables libres x1 , . . . , xk ) representa el
conjunto A Nk en PA si para todo (n1 , . . . , nk ) Nk :
PA ` A (n1 , . . . , nk ) si (n1 , . . . , nk ) A
(
PA ` A (n1 , . . . , nk ) si (n1 , . . . , nk ) < A
Cuando tal frmula existe, se dice que el conjunto A Nk es representable en PA.
Lema 2.13 (Caracterizacin). Un conjunto A Nk es representable en PA si y slo si su
funcin caracterstica 1R : Nk N es representable en PA.
Demostracin. Si el conjunto A Nk es representado en PA por una frmula A (x1 , . . . , xk ),
entonces su funcin caracterstica 1A : Nk N es representada en PA por la frmula
1A (x1 , . . . , xk , y) (A (x1 , . . . , xk ) y = 1) (A (x1 , . . . , xk ) y = 0) .
Recprocamente, si la funcin caracterstica 1A : Nk N es representada en PA por una
frmula 1A (x1 , . . . , xn , y), entonces el conjunto A Nk es representado en PA por la frmula
A (x1 , . . . , xk ) 1A (x1 , . . . , xk , 1) . 
Teorema 2.14 (Representacin). Toda funcin recursiva es representable en PA.
Corolario 2.15. Todo conjunto recursivo es representable en PA.
Demostracin del Teorema 2.14. La demostracin se hace por induccin sobre la construccin
de la funcin recursiva f , distinguiendo los casos segn la regla de construccin considerada.
(En cada caso, se da solamente la frmula aritmtica que representa la funcin considerada; la
justificacin correspondiente es dejada en ejercicio al lector.)
23
Funcin nula: La funcin cero : N N definida por
cero(n) = 0 (n N)
es representada por la frmula aritmtica (x, y) y = 0.
Funcin sucesor: La funcin suc : N N definida por
suc(n) = n + 1 (n N)
es representada por la frmula aritmtica (x, y) y = s(x).
Proyecciones: Para todos k i 1, la funcin proyki : Nk N definida por
proyki (n1 , . . . , nk ) = ni (n1 , . . . , nk ) Nk
es representada por la frmula aritmtica (x1 , . . . , xk , y) y = xi .
Esquema de composicin: Sean f1 , . . . , f p : Nk * N y g : N p * N funciones parciales
representadas respectivamente por unas frmulas f1 (x1 , . . . , xk , y), . . . , f p (x1 , . . . , xk , y)
y g (x1 , . . . , x p , y). Entonces, la funcin parcial h : Nk * N definida por
h(n1 , . . . , nk ) = g( f1 (n1 , . . . , nk ), . . . , f p (n1 , . . . , nk ))
(para todo (n1 , . . . , nk ) Nk donde el lado derecho es definido) es representada por la
frmula aritmtica
h (x1 , . . . , xk , y) z1 z p [ f1 (x1 , . . . , xk , z1 )
..
.
f p (x1 , . . . , xk , z p )
g (z1 , . . . , z p , y) ]
Esquema de minimizacin: Sea f : Nk+1 * N una funcin parcial representada por una
frmula f (x1 , . . . , xk+1 , y). Entonces, la funcin parcial h : Nk * N definida por:
h(n1 , . . . , nk ) = n . f (n, n1 , . . . , nk ) > 0
= el nico n N (si existe) tal que
f (n, n1 , . . . , nk ) > 0 (m < n) f (m, n1 , . . . , nk ) = 0
(para todo (n1 , . . . , nk ) Nk donde el lado derecho es definido) es representada por la
frmula aritmtica
h (x1 , . . . , xk , y) (z > 0) f (y, x1 , . . . , xk , z)
(y0 < y) f (y0 , x1 , . . . , xk , 0)
Esquema de recursin: Este caso es el objeto de la seccin siguiente (2.4). 

2.4. Teorema chino del resto y funcin de Gdel. La representacin en PA de una fun-
cin h : Nk * N definida por el esquema de recursin
h(0, ~p) = f (~p)
(n N, ~p Nk )
h(n + 1, ~p) = g(n, h(n, ~p), ~p)
es un problema delicado. Aqu, la dificultad viene de que para describir el valor devuelto por h
para un entero n dado, se necesita describir la sucesin finita r0 , . . . , rn de todos los valores
devueltos por h para los enteros m n:
r0 = f (~p)
r1 = g(0, r0 , ~p)
.. ..
. .
rn = g(n 1, rn1 , ~p)
24
Adems, no se puede utilizar una variable distinta para cada elemento de la sucesin finita
r0 , . . . , rn , pues el tamao de dicha sucesin depende del entero (variable) n. Por lo tanto, se
necesita definir una codificacin de las sucesiones finitas de enteros naturales en los enteros
naturales, y, sobre todo, una codificacin que se pueda expresar en el lenguaje de PA.
El truco de Gdel consiste en utilizar el teorema chino del resto9 para representar cada suce-
sin finita r1 , . . . , rk por un entero natural n (en general muy largo) tal que
r1 = n mod p1 , r2 = n mod p2 , , rk = n mod pk
donde n mod p indica el resto de la divisin euclidiana de n por p, y donde p1 , . . . , pk es una
sucesin finita elegida juiciosamente (veremos abajo cmo).
El teorema chino del resto se enuncia as:
Teorema 2.16 (Teorema chino del resto). Sea p1 , . . . , pk (k 1) una sucesin finita de
enteros positivos coprimos a pares. Entonces para toda sucesin de k enteros r1 , . . . , rk , existe
un entero natural n tal que n ri (mod pi ) para todo i [1..k].
Demostracin. Basta mostrar la existencia de un entero relativo n Z tal que n ri (mod pi )
para todo i [1..k]; para obtener un entero natural con la misma propiedad, se tomar n +
qp1 pk con q suficientemente grande. El teorema se demuestra por induccin sobre k 1:
k = 1. Inmediato.
k 2. Por hiptesis de induccin, existe un entero m Z tal que m ri (mod pi )
para todo i [1..k 1]. Como los enteros p1 , . . . , pk1 , pk son coprimos a pares, los dos
enteros p1 pk1 y pk son coprimos. Por el lema de Bzout, existe enteros a, b Z tales
que ap1 pk1 + bpk = 1. Se puede tomar n = rk ap1 pk1 + mbpk , verificando que:
n = rk ap1 pk1 + mbpk = rk ap1 pk1 + m(1 ap1 pk1 )
m (mod pi ) ri (mod pi ) para todo i [1..k 1]
n = rk ap1 pk1 + mbpk = rk (1 bpk ) + mbpk rk (mod pk ). 
En los cursos de lgebra, este teorema se formula en general de la siguiente manera:
Corolario 2.17 (Teorema chino del resto, versin algebraica). Para toda sucesin finita
p1 , . . . , pk (k 1) de enteros no nulos coprimos a pares, tenemos el isomorfismo de anillos:
Z/p1 pk Z  (Z/p1 Z) (Z/pk Z) .
Demostracin. Se considera el homomorfismo de anillos
Z/p1 pk Z (Z/p1 Z) (Z/pk Z)
definido por f (n mod p1 pk ) = (n mod p1 , . . . , n mod pk ) para todo n N. Segn el Teo-
rema 2.16, este homomorfismo es sobreyectivo, y como los conjuntos de partida y de llegada
tienen mismo cardinal, es un isomorfismo. 
A fin de representar una sucesin finita de enteros naturales r1 , . . . , rk con el teorema chino
del resto, tenemos que construir una sucesin de enteros p1 , . . . , pk , 0 coprimos a pares y tales
que pi > ri para todo i [1..k]. De nuevo, el truco consiste en elegir una sucesin aritmtica
finita cuyos trminos cumplen las propiedades deseadas, utilizando el siguiente lema:
Lema 2.18. Para todos enteros k 0 y p 1, si p es divisible por todos los enteros entre 1
y k, entonces los k + 1 enteros
p + 1, 2p + 1, , (k + 1)p + 1
son coprimos a pares.
9
La primera mencin del teorema se encuentra en un libro del matemtico chino Sun Tzu (siglo III).
25
Demostracin. Dado dos ndices i, j tales que 1 i < j k + 1, supongamos (por contradic-
cin) que los dos enteros ip + 1 y jp + 1 no son coprimos, es decir, supongamos que existe un
nmero primo q tal que q|(ip + 1) y q|( jp + 1). Por sustraccin, tenemos que q|(( j i)p). Se
distinguen dos casos, segn que q|p o q|( j i).
Caso donde q|p. Como q|(ip + 1), tenemos que q|((ip + 1) ip) por sustraccin, es
decir: tenemos que q|1. Este caso es imposible.
Caso donde q|( j i). Como 1 j i k, tenemos que q k. Segn nuestra hiptesis
sobre p, as tenemos que q|p. Pero ya vimos en el caso anterior que es imposible.
Los dos casos llevan a una contradiccin; luego los enteros ip + 1 y jp + 1 son coprimos. 
Definicin 2.19 (Funcin de Gdel). Se llama la funcin de Gdel la funcin recursiva
primitiva : N3 N definida para todo (n, p, i) N3 por
(n, p, i) = n mod ((i + 1)p + 1)
donde n mod q indica el resto de la divisin euclidiana de n por q (con q > 0).
Combinando el lema anterior con el teorema chino del resto, tenemos que:
Lema 2.20. Para todo entero k 0 y para toda sucesin finita r0 , . . . , rk N, existe dos
enteros n y p tales que (n, p, i) = ri para todo i [0..k].
(Intuitivamente, los enteros n y p definen una codificacin de la sucesin finita r0 , . . . , rk , en
la medida en que la funcin permite extraer todos los ri a partir de n y p.)
Demostracin. Se elige un entero p > 0 tal que i|p para todo i [1..k], y suficientemente
grande para que ri p para todo i [0..k]. Segn el Lema 2.18, los enteros de la forma
(i + 1)p + 1 (con i [0..k]) son coprimos en pares. Luego basta tomar un entero natural n tal
que n mod ((i + 1)p + 1) = ri para todo i [0..k] (por el teorema chino del resto). 
Se verifica fcilmente que
Proposicin 2.21 (Representacin de la funcin ). La funcin de Gdel es representada
en PA por la frmula (u, v, x, y) definida por:
(u, v, x, y) z (u = s(s(x) v) z + y y < s(s(x) v)) .
(En esta frmula, las variables u, v, x representan los enteros n, p, i del lema anterior.)
Ahora se puede terminar la demostracin del teorema de representacin:
Fin de la demostracin del Teorema 2.14 (Representacin).
Esquema de recursin: Sean f : Nk * N y g : Nk+2 * N funciones parciales represen-
tadas respectivamente por unas frmulas f (x1 , . . . , xk , y) y g (x1 , . . . , xk+1 , y). Entonces,
la funcin parcial h : Nk+1 * N definida por recursin sobre n N por:
h(0, n1 , . . . , nk ) = f (n1 , . . . , nk )
h(n + 1, n1 , . . . , nk ) = g(n, h(n, n1 , . . . , nk ), n1 , . . . , nk )
(para todo (n, n1 , . . . , nk ) Nk+1 donde el lado derecho es definido) es representada por
la frmula aritmtica
h (x, x1 , . .. , xk , y)
u v (u, v, x, y)
z0 ( (u, v, 0, z0 ) f (x1 , . . . , xk , z0 ))
(x0 < x) z z0 g (x, z, x1 , . . . , xk , z0 ) 
(u, v, x, z) (u, v, s(x), z0 )
26
(La justificacin de que esta frmula representa efectivamente la funcin h en PA en
el sentido de la Def. 2.11 es un ejercicio muy tcnico, que dejamos al lector.) 
Informalmente, la frmula h (x, x1 , . . . , xk , y) dice que:
Existe u y v tales que: (existencia de una sucesin finita)
(u, v, x) = y (ltimo trmino de la sucesin)
(u, v, 0) = f (x1 , . . . , xk ) (primer trmino de la sucesin)
para todo x0 < x: (relacin de recurrencia)
(u, v, x + 1) = g(x, (u, v, x), x1 , . . . , xk )
0

3. Digitalizacion de PA
3.1. Abismacin. El primer teorema de incompletitud se basa sobre la observacin que to-
das las expresiones sintcticas de la Aritmtica de Peano los trminos, las frmulas y las
derivaciones son estructuras de datos finitas que se pueden representar por enteros naturales,
a travs de una codificacin adecuada. El inters de tal digitalizacin de las estructuras sintc-
ticas de la aritmtica es que permite expresar propiedades formales y razonar sobre estas
estructuras en el lenguaje mismo de la Aritmtica de Peano, a travs de la representacin con
nmeros naturales. As, la demostracin del primer teorema de Gdel es una construccin en
abismo, en la cual se construyen frmulas (sintcticas) que hablan de frmulas (numricas) y
demostraciones (sintcticas) que establecen propiedades sobre las demostraciones (numricas).
En prctica, la abismacin de la teora PA en el lenguaje de PA se hace en dos etapas:
1. A cada expresin sintctica e de PA (un trmino, una frmula o una demostracin) se
asocia un nmero natural peq N, llamado el cdigo de Gdel de e. Tcnicamente, las
inyecciones t 7 ptq (codificacin de los trminos), 7 pq (codificacin de las frmu-
las) y d 7 pdq (codificacin de las derivaciones) son definidas a partir de una funcin
recursiva de emparejamiento (Seccin 3.2), de tal modo que todas las operaciones sin-
tcticas de PA (sobre los trminos, las frmulas y las derivaciones) se puedan expresar
por funciones recursivas sobre los cdigos de Gdel correspondientes.
2. Luego, como todas las funciones que expresan las operaciones sintcticas de PA tra-
vs de la codificacin son funciones recursivas (primitivas), se puede aplicar el teorema
de representacin (Seccin 2.3) a dichas funciones, con el fin de representarlas en el
lenguaje de PA por frmulas adecuadas (en general muy largas).

3.2. Emparejamiento. La codificacin de las expresiones sintcticas de PA es definida a


partir de una inyeccin recursiva h_, _i : N2 N de emparejamiento, que asocia a cada par de
enteros naturales n y m un entero natural hn, mi. En lo siguiente, se considera la biyeccin de
N2 sobre N que corresponde a la enumeracin diagonal de los pares de enteros naturales

4 14 _
3 9 _ 13 _

2 5_ 8 _ 12 _
1 2_ 4_ 7 _ 11 _
0 0 1 3 6 10
n
m 0 1 2 3 4
27
y que es definida para todos m, n N por:
hn, mi = (n + m)(n + m + 1)/2 + n .
Proposicin 3.1 (Propiedades de la funcin de emparejamiento).
(1) La funcin h_, _i : N2 N es una biyeccin recursiva primitiva.
(2) Las dos proyecciones 1 , 2 : N N definidas por 1 (hn, mi) = n y 2 (hn, mi) = m
(para todos n, m N) son recursivas primitivas tambin.
(3) Para todos n, m N: hn, mi max(n, m).
Adems, si n 1, entonces: hn, mi > max(n, m).
Demostracin. (1) El carcter recursivo primitivo de la funcin (n, m) 7 hn, mi es obvio segn
la definicin. Para demostrar que la funcin es biyectiva, vamos a construir explcitamente las
dos proyecciones 1 , 2 : N N. Sea f : N N la funcin (recursiva primitiva) definida por
f (k) = k(k + 1)/2 para todo k N. Por construccin, tenemos que
f (n + m) f (n + m) + n = hn, mi < f (n + m + 1)
para todos n, m N. Para invertir la funcin de emparejamiento, se observa que la funcin
f : N N es estrictamente creciente y empieza a partir de f (0) = 0. Entonces, para todo
p N, existe un nico k N tal que f (k) p < f (k + 1). Sea g : N N la funcin que
calcula k en funcin de p, la cual se puede definir por minimizacin acotada, escribiendo
g(p) = k p . [p < f (k + 1)] (p N)
Ahora se pueden definir las funciones 1 , 2 : N N para todo p N, escribiendo
1 (p) = p f (g(p)) y 2 (p) = g(p) 1 (p)
Para todos n, m N, se verifica inmediatamente que
g(hn, mi) = n + m 1 (hn, mi) = hn, mi f (g(hn, mi)) = n
f (g(hn, mi)) = (n + m)(n + m + 1)/2 2 (hn, mi) = g(hn, mi) 1 (hn, mi) = m
las dos igualdades a la derecha implicando que la funcin h_, _i : N2 N es inyectiva. Para
demostrar que tambin es sobreyectiva, se observa que para todo p N, tenemos que:
h1 (p), 2 (p)i = (1 (p) + 2 (p))(1 (p) + 2 (p) + 1)/2 + 1 (p) (def. de h_, _i)
= g(p)(g(p) + 1)/2 + 1 (p) (def. de 2 )
= f (g(p)) + 1 (p) = p (def. de f y de 1 )
(2) Obvio segn la construccin del tem (1).
(3) Como la funcin f (k) = k(k + 1)/2 es estrictamente creciente (vase (1)), tenemos que
f (k) k para todo k N. Entonces, para todos n, m N tenemos que:
hn, mi = f (n + m) + n (n + m) + n max(n, m) ,
la ltima desigualdad siendo estricta cuando n 1. 
3.3. Codificacin de las listas finitas. La funcin recursiva primitiva h_, _i : N2 N de
emparejamiento permite representar ms generalmente todas las listas finitas de enteros con
enteros. Tal codificacin de las listas finitas se construye a partir de:
el entero nil = 0, que representa la lista vaca;
la construccin cons(l, n) = hl, ni + 1, que representa la lista obtenida aadiendo a (la
derecha10 de) la lista finita representada por el entero l el entero n.
10
Aqu se introducen sucesivamente los elementos por la derecha, afn de quedarse consistente con la poltica
de introduccin de las hiptesis en los contextos de los secuentes (Seccin 1.3).
28
As, cada lista finita de enteros naturales n1 , n2 , . . . , nk se puede representar por el entero natural
[n1 , n2 , . . . , nk ] definido por:

[n1 , n2 , . . . , nk ] = cons(. . . cons(cons(nil, n1 ), n2 ) . . . , nk ) .

Proposicin 3.2 (Biyeccin entre N< y N). La funcin n1 , . . . , nk 7 [n1 , . . . , nk ] es una


biyeccin entre el conjunto N< de las listas finitas de enteros naturales y N.

En lo siguiente, utilizaremos esta codificacin de las listas finitas para representar los con-
textos de hiptesis en los secuentes.

3.4. Digitalizacin de los trminos. A cada trmino t del lenguaje de PA se asocia un n-


mero de Gdel ptq N, definido recursivamente por las ecuaciones

pxq = h0, #xi pt + uq = h2, hptq, puqii


ps(t)q = h1, ptqi pt uq = h3, hptq, puqii

donde x 7 #x es una biyeccin fijada entre el conjunto (numerable) de las variables y N.

Observacin 3.3. Utilizando la Prop. 3.1 (3), se verifica fcilmente que para todos trminos
t, u del lenguaje de PA, tenemos que:

ps(t)q > ptq pt + uq > max(ptq, puq) pt uq > max(ptq, puq) .

Por consecuencia, la codificacin t 7 ptq respeta el orden de los subtrminos, en el sentido en


que si u es un subtrmino estricto de t, entonces puq < ptq.

Esta observacin permite demostrar lo siguiente:

Proposicin 3.4. La codificacin de los trminos t 7 ptq es inyectiva.

Demostracin. Es suficiente demostrar que la funcin de codificacin tiene una funcin inversa
(a la izquierda), es decir: una funcin parcial T : N * LT (PA) (de los naturales hasta los
trminos de PA) tal que para todo trmino t del lenguaje de PA, el trmino T(ptq) sea definido
y idntico a t: T(ptq) t. Esta funcin inversa T : N * LT (PA) es definida por induccin
fuerte sobre N, utilizando las ecuaciones:

T(h0, mi) la variable x tal que n = #x


T(h1, mi) s(T(m)) (si T(m) es definido)
T(h2, mi) T(1 (m)) + T(2 (m)) (si T(1 (m)) y T(2 (m)) son definidos)
T(h3, mi) T(1 (m)) T(2 (m)) (si T(1 (m)) y T(2 (m)) son definidos)

(el valor de T(hn, mi) siendo indefinido en todos los otros casos). La correccin (buena funda-
cin) de la definicin de la funcin parcial T sigue de la Prop. 3.1 (3). 

Adems:

Proposicin 3.5. El conjunto de los cdigos de trminos

Term = {ptq : t trmino de PA} ( N)

es recursivo primitivo.
29
Demostracin. La funcin caracterstica del conjunto Term N se puede calcular por el si-
guiente algoritmo recursivo:
check_term(n) :=
sea t := 1 (n)
sea m := 2 (n)
si t = 0 : devolver 1
si t = 1 : devolver check_term(m)
si t = 2 : devolver check_term(1 (m)) check_term(2 (m))
si t = 3 : devolver check_term(1 (m)) check_term(2 (m))
si no : devolver 0
El carcter recursivo primitivo (y total) de este algoritmo sigue de que cada llamada recursiva
a la funcin check_term se hace con un argumento estrictamente menor que n. 
Asimismo:
Proposicin 3.6. El conjunto de los cdigos de trminos cerrados
Term0 = {ptq : t trmino de PA} ( Term)
es recursivo primitivo.
Se verifica ms generalmente que las operaciones usuales sobre los trminos (test de ocu-
rrencia de variable, sustitucin, etc.) corresponden, a travs de esta codificacin, a funciones
recursivas. En lo siguiente, se utilizar la funcin pnum : N N que a cada n N asocia el
cdigo del trmino n = sn (0), y que es definida por recursin primitiva por:
pnum(0) = h0, 0i
pnum(n + 1) = h2, pnum(n)i
de tal modo que:
pnum(n) = pnq = ps( s(0) )q (n N)
|{z}
n

3.5. Digitalizacin de las frmulas. A cada frmula del lenguaje de PA se asocia un n-


mero de Gdel pq N, definido recursivamente por las ecuaciones
pq = h0, 0i p q = h2, hpq, pqii
pt = uq = h1, hptq, puqii px q = h3, h#x, pqii
Observacin 3.7. Utilizando la Prop. 3.1 (3), se verifica que para todas frmulas , del
lenguaje de PA, tenemos que:
p q > max(pq, pq) px q > pq
Por consecuencia, la codificacin 7 pq respeta el orden de las subfrmulas, en el sentido
en que si es una subfrmula estricta de , entonces pq < pq.
Como para los trminos, esta observacin permite demostrar los siguientes resultados:
Proposicin 3.8. La codificacin de las frmulas 7 pq es inyectiva.
Demostracin. Mismo mtodo como para los trminos. 
Observacin 3.9. Se puede observar que las dos funciones de codificacin t 7 ptq (para
los trminos) y 7 pq (para las frmulas) no tienen imgenes disjuntas, de tal modo que
un entero natural puede ser a la vez un cdigo de trmino y un cdigo de frmula. Esto no
induce ninguna confusin en prctica, porque los trminos y las frmulas no se encuentran en
los mismos contextos. La misma observacin tambin vale para los cdigos #x de variables
30
de hecho todo entero natural es un cdigo de variable y los cdigos pdq de derivaciones
que definiremos en la seccin 3.6.
Proposicin 3.10. El conjunto de los cdigos de frmulas
Form = {pq : frmula de PA} ( N)
es recursivo primitivo.
Demostracin. La funcin caracterstica del conjunto Form N se puede calcular por el si-
guiente algoritmo recursivo:
check_form(n) :=
sea t := 1 (n)
sea m := 2 (n)
si t = 0 m = 0 : devolver 1
si t = 1 : devolver check_term(1 (m)) check_term(2 (m))
si t = 2 : devolver check_form(1 (m)) check_form(2 (m))
si t = 3 : devolver check_form(2 (m))
si no : devolver 0
El carcter recursivo primitivo (y total) de este algoritmo sigue de que cada llamada recursiva
a la funcin check_form se hace con un argumento estrictamente menor que n. 
Asimismo:
Proposicin 3.11. El conjunto de los cdigos de frmulas cerradas
Form0 = {pq : frmula cerrada de PA} ( Form)
es recursivo primitivo.
Ms generalmente, las operaciones sintcticas usuales sobre las frmulas (test de ocurren-
cia libre/ligada de variable, sustitucin, test de -conversin, etc.) corresponden, a travs de
la codificacin 7 pq, a funciones recursivas primitivas. En lo siguiente, se utilizarn las
siguientes funciones recursivas primitivas:
La funcin fneg : N N de negacin, definida para todo n N por:
fneg(n) = h2, hn, h0, 0iii
de tal modo que fneg(pq) = p q = pq para toda frmula .
La funcin fsubst : N3 N de sustitucin, definida por
fsubst(pq, #x, ptq) = p{x := t}q
y completada por la ecuacin fsubst(n, v, m) = 0 en el caso donde n no es un cdigo
de frmula o m no es un cdigo de trmino.
Adems, es importante observar que:
Proposicin 3.12. El conjunto de los cdigos de los axiomas de PA (A1 A7 )
Axiom = {pq : Ax(PA)} ( Form0 )
es recursivo primitivo.
En lo siguiente, utilizaremos la funcin recursiva primitiva check_axiom_list : N N
que verifica si su argumento es una lista de cdigos de Gdel de axiomas de PA:
1 si l = [n1 , . . . , nk ] con




check_axiom_list([n1 , . . . , nk ]) = n1 , . . . , nk Axiom




0 si no

31
Esta funcin se implementa fcilmente a partir de la funcin caracterstica del conjunto Axiom
(escrita aqu check_axiom) con el siguiente algoritmo:

check_axiom_list(l) :=
{ verificar recursivamente las frmulas en l }
mientras l , nil :
{ verificar la ltima frmula en l}
si check_axiom(2 (l 1)) = 0 : devolver 0
si no : l := 1 (l 1) { sacar la ltima frmula }
devolver 1 { xito }

(N.B.: El entero 2 (l 1) representa el ltimo elemento de la lista finita l, mientras 1 (l 1)


representa la lista l privada de su ltimo elemento, vase Seccin 3.3.)

3.6. Digitalizacin de las derivaciones. La digitalizacin de las derivaciones (Seccin 1.3)


se hace en tres etapas:
A cada contexto de hiptesis 1 , . . . , n se asocia el nmero de Gdel

pq = [p1 q, . . . , pn q] ,

utilizando la codificacin de las listas finitas (Seccin 3.3).


A cada secuente ` se asocia el nmero de Gdel

p ` q = hpq, pqi .

Finalmente, a cada derivacin


.. ..

.. d1 .. dn
1 ` 1 n ` n

d


`

(construida por aplicacin finita de las reglas del Cuadro 1 p. 6), se asocia el nmero de
Gdel pdq definido por recursin sobre la estructura arborescente de d por

pdq = hp ` q, hr, [pd1 q, . . . , pdn q]ii , (n N)

donde r es un entero entre 0 y 8 que indica la ltima regla utilizada11 para construir la
derivacin d (0 = axioma, 1 = debilitamiento, ..., 8 = razonamiento por el absurdo).

Proposicin 3.13. El conjunto de los cdigos de derivaciones

Deriv = {pdq : d derivacin} ( N)

es recursivo primitivo.

11
Estrictamente hablando, no se necesita introducir tal nmero en la codificacin, en la medida en que la ltima
regla utilizada para construir d siempre se puede deducir a partir de la forma de la conclusin y de las premisas.
Sin embargo, el conocimiento de dicha regla facilita mucho el diseo del algoritmo de verificacin.
32
Demostracin. La funcin caracterstica del conjunto Deriv N se puede calcular por el
siguiente algoritmo recursivo:
check_deriv(d) :=
sea c := 1 (d) { conclusin de d }
sea r := 1 (2 (d)) { ltima regla utilizada }
sea l := 2 (2 (d)) { derivaciones de las premisas }
{ extraer la lista de las premisas }
sea l0 := map_pi1(l)
{ verificar la buena formacin de la regla utilizada }
si check_rule(c, r, l0 ) = 1 :
{ verificar recursivamente las derivaciones en l }
mientras l , nil :
{ verificar la ltima derivacin en l }
si check_deriv(2 (l 1)) = 0 : devolver 0
si no: l := 1 (l 1) { sacar la ltima derivacin }
devolver 1 { xito }
si no: devolver 0 { regla incorrecta }
Este algoritmo utiliza dos funciones recursivas primitivas auxiliares, cuya implementacin es
dejada en ejercicio al lector:
Una funcin map_pi1(l) : N N tal que
map_pi1([n1 , . . . , nk ]) = [1 (n1 ), . . . , 1 (nk )]
para todo [n1 , . . . , nk ] N.
Una funcin check_rule : N3 N tal que
check_rule(p ` q, r, [p1 ` 1 q, . . . , pn ` n q]) = 1




si 1 ` 1 , . . . , n ` n / ` es una instancia de la regla r [0..8]




check_rule(c, r, l) = 0 si no

El carcter recursivo primitivo (y total) del algoritmo sigue de que cada llamada recursiva a la
funcin check_deriv se hace con un argumento estrictamente menor que d. 

Finalmente:
Corolario 3.14. El conjunto
Proof = {(pdq, pq) : d es una demostracin de en PA} ( N)
es recursivo primitivo.
Demostracin. La funcin caracterstica del conjunto Proof N2 se calcula por:
check_proof(d, n) :=
devolver check_deriv(d)
check_form0(n)
check_equal(2 (1 (d)), n)
check_axiom_list(1 (1 (d)))
donde check_form0 : N N es la funcin caracterstica del conjunto Form0 N (cdigos
de las frmulas cerradas), y check_equal : N2 N la funcin de test de igualdad. 
33
3.7. Algunos conjuntos recursivos y no recursivos. En las secciones 3.43.6, vimos que
los siguientes conjuntos
Term = {ptq : t trmino de PA} ( N)
Term0 = {ptq : t trmino cerrado de PA} ( Term)
Form = {pq : frmula de PA} ( N)
Form0 = {pq : frmula cerrada de PA} ( Form)
Axiom = {pq : axioma de PA} ( Form0 )
Deriv = {pdq : derivacin bien formada} ( N)
Proof = {(pdq, pq) : d demostracin de en PA} ( N2 )
son recursivos primitivos. Tambin se verifica que el conjunto
Proof = {(pdq, pq) : d demostracin de en PA} ( N)
= {(m, n) N2 : (m, fneg(n)) Proof} ( N2 )
(conjunto de los cdigos de refutaciones) es primitivo recursivo.
Cdigos de frmulas demostrables y refutables A partir de los conjuntos Proof y Proof
( N2 ), se definen los conjuntos
Dem = {n N : (m, n) Proof para algn m N} ( Form0 )
Dem = {n N : (m, n) Proof para algn m N}
= {n N : fneg(n) Dem} ( Form0 )
cuyos elementos son los cdigos de frmulas demostrables y refutables en PA. Es claro que:
Si PA es consistente, entonces: Dem Dem Form0 y Dem Dem = .
Si PA es inconsistente, entonces: Dem = Dem = Form0 .
Proposicin 3.15. Los dos conjuntos Dem, Dem Form0 son recursivamente enumerables.
Demostracin. El conjunto Dem Form0 es recursivamente enumerable (Def. 2.9) pues es el
dominio de la funcin recursiva parcial search_proof : N * N dada por el algoritmo:
search_proof(n) :=
sea m := 0
mientras check_proof(m, n) , 1 : m := m + 1
{ se sale del bucle anterior si y slo si se encontr
una demostracin de la frmula de cdigo n }
devolver 1
Asimismo, el conjunto Dem Form0 es recursivamente enumerable, pues es el dominio de la
funcin recursiva parcial search_proof fneg : N * N. 
En la seccin 4.5 p. 39, veremos que ninguno de los dos conjuntos Dem, Dem Form0 es
recursivo (bajo la hiptesis de consistencia de PA).
Observacin 3.16. Segn un punto de vista ms algebraico, se puede ver los dos conjuntos
Dem, Dem Form0 como las imgenes de los conjuntos Proof, Proof N2 por la funcin
2 : N2 N ( segunda proyeccin ) definida por 2 (m, n) = n para todo (m, n) N2 :
Dem = 2 (Proof) y Dem = 2 (Proof ) .
Segn un resultado estndar de la teora de la recursin, la imagen de cualquier conjunto re-
cursivamente enumerable por una funcin recursiva tambin es un conjunto recursivamente
enumerable. Este argumento brinda otra demostracin (ms abstracta) de que los dos conjuntos
Dem, Dem Form0 son recursivamente enumerables.
34
Cdigos de frmulas verdaderas y falsas Cuando la teora ambiente permite definir el mode-
lo estndar (vase la discusin de la Seccin 1.7), es posible definir los conjuntos de los cdigos
de frmulas verdaderas y falsas:
True = {pq : cerrada y N |= } ( Form0 )
False = {pq : cerrada y N 6|= } ( Form0 )
Por construccin, los dos conjuntos True y False forman una particin del conjunto Form0 de
los cdigos de frmulas cerradas:
True ] False = Form0 .
Adems, el teorema de correccin (Teorema 1.26) implica las inclusiones
Dem True y Dem False .
En la seccin 4.6 p. 40, veremos que ninguno de los dos conjuntos True, False Form0 es
recursivamente enumerable (bajo la hiptesis de existencia del modelo estndar).

4. El primer teorema de incompletitud


4.1. Construccin de frmulas autorreferenciales. As como lo veremos en la Seccin 4.2,
la demostracin del primer teorema de incompletitud es esencialmente una adaptacin de la
paradoja del mentiroso ( esta oracin es falsa ) al marco formal de la Aritmtica de Peano,
basada sobre la construccin de una frmula G que dice: no soy demostrable . Para construir
tal frmula autorreferencial, necesitaremos el siguiente teorema:
Teorema 4.1 (Punto fijo). Para cada frmula aritmtica (x) con una nica variable
libre x, existe una frmula aritmtica cerrada tal que
 
PA ` p q ,

donde p q es el cdigo de Gdel de la frmula .


Intuitivamente, la frmula cerrada dice:
mi propio cdigo de Gdel satisface la propiedad (x) .
En lo siguiente, se dice que tal frmula que expresa una propiedad sobre su propio cdigo
de Gdel es una frmula autorreferencial. Otro punto de vista consiste en ver la frmula
como un punto fijo de la propiedad (x), a travs de la codificacin de Gdel. As, el teorema
expresa que cada propiedad tiene un punto fijo en este sentido.

Demostracin. Sea h : N N la funcin recursiva primitiva definida para todo n N por


h(n) = fsubst(n, #x, pnum(n)). Por construccin, tenemos que

h(pq) = fsubst pq, #x, pnum(pq) = p x := pq q


 

para toda frmula aritmtica . Segn el Teorema 2.14, existe una frmula h (x, y) tal que
 
PA ` y h (n, y) y = h(n)

para todo n N. En particular, tenemos que


   
() p
PA ` y h pq, y y = {x := pq}q
35
para toda frmula aritmtica . Ahora, se definen las frmulas y ((y) h (x, y)) (con
nica variable libre x) y x := pq (cerrada). Por construccin, tenemos que:


PA ` x := pq  (def. de )


y (y) h pq, y (def. de )
 
y (y) y = p x := pq q

(por ())
 
y (y) y = p q (def. de )
 
p q (tautologa) 
4.2. Una frmula G no demostrable pero verdadera. En la seccin 3.6, vimos que el con-
junto Proof N2 definido por
Proof = {(pdq, pq) : d es una demostracin de en PA} ( N2 )
es recursivo primitivo. Por el teorema de representacin, este conjunto es representado en PA
por una frmula aritmtica Proof(y, x) (con dos variables libres x, y) que satisface:
PA ` Proof(pdq, pq) si d es una demostracin de en PA,
PA ` Proof(m, n) en todos los otros casos.
La demostracin histrica del primer teorema de incompletitud se basa sobre la frmula (ce-
rrada) G construida por el Teorema 4.1 como punto fijo de
PA ` G Dem(pGq) ,
donde Dem(x) es la frmula (con la nica variable libre x) definida por:
Dem(x) y Proof(y, x) .
Intuitivamente, la frmula (cerrada) G dice: no soy demostrable .
Proposicin 4.2 (G no es demostrable). Si PA es consistente (PA 0 ), entonces la frmula
cerrada G no es demostrable en PA: PA 0 G.
(En otro lado, es claro que si PA es inconsistente, entonces la frmula G es demostrable en
PA, como todas la frmulas cerradas.)
Demostracin. Bajo la hiptesis de consistencia de PA, se supone que G tiene una demostra-
cin d en PA. Entonces:
1. (pdq, pGq) Proof (definicin del conjunto Proof N2 )
2. PA ` Proof(pdq, pGq) (por representacin)
3. PA ` Dem(pGq) ( y Proof(y, pGq)) (regla de introduccin de , Cuadro 2 p. 9)
4. PA ` G (pues PA ` G Dem(pGq))
5. PA ` (pues PA ` G y PA ` G)
La ltima asercin es imposible, pues PA es consistente. Luego PA 0 G. 
En otro lado, la frmula G es verdadera en el modelo estndar (suponiendo su existencia):
Proposicin 4.3 (G es verdadera). N |= G.
Demostracin. Supongamos la existencia del modelo estndar (vase la discusin de la Sec-
cin 1.7). Entonces, la Aritmtica de Peano es consistente (Prop. 1.27), y la frmula G no es
demostrable en PA por la Prop. 4.2. As tenemos que:
1. (m, pGq) < Proof para todo m N (pues G no es demostrable)
2. PA ` Proof(m, pGq) para todo m N (por representacin)
3. N |= Proof(m, pGq) para todo m N (por el Teorema 1.26)
36
4. N |= x Proof(x, pGq) (definicin de N |= x (x))
5. N |= x Proof(x, pGq) (tautologa)
6. N |= Dem(pGq) (definicin de la frmula Dem(x))
7. N |= G Dem(pGq) (Teorema 1.26 aplicado a la frmula G Dem(pGq))
8. N |= G (por 6. y 7.) 

Puede parecer extrao que la frmula cerrada G sea verdadera (en el modelo estndar) sin
ser demostrable en PA. Esta paradoja reside en que la asercin PA |= G (la cual presupone
la existencia del modelo estndar) slo se puede establecer en una teora ambiente infinitaria.
En otro lado, la aritmtica de Peano (PA) es una teora finitaria, cuyos objetos (los enteros
naturales) son todos finitos. Por lo tanto, el razonamiento infinitario de la Prop. 4.3 no se puede
formalizar en PA, lo que explica que la frmula G no sea demostrable en PA.

4.3. La hiptesis de 1-consistencia. Vimos en la Prop. 4.2 que la frmula G de Gdel no


es demostrable, bajo la hiptesis de consistencia de PA. Desgraciadamente, la hiptesis de
consistencia es demasiada dbil para establecer que la negacin de la frmula G tampoco es
demostrable en PA. Para ello, se necesita introducir la hiptesis de 1-consistencia12, que es
estrictamente ms fuerte que la consistencia (igualmente llamada 0-consistencia):
Definicin 4.4 (1-consistencia). Se dice que PA es 1-consistente si para toda funcin recur-
siva primitiva f : N N tal que
PA ` x f (x, 0)
(donde la frmula f (x, y) es una representacin de f en PA), existe n N tal que f (n) = 0.
Intuitivamente, la hiptesis de 1-consistencia expresa que toda funcin recursiva primitiva
que tiene demostrablemente una raz (en el sistema formal de PA) tiene realmente una raz (en
el sentido de la teora ambiente). De modo equivalente, esta hiptesis expresa que todo conjunto
recursivo primitivo que es demostrablemente no vaci (en PA) es realmente no vaco.
Es claro que si PA es inconsistente, entonces no puede ser 1-consistente, pues la frmula
x s(x) = 0 es demostrable aunque la funcin sucesor no tenga ninguna raz. Por contraposi-
cin, la 1-consistencia de PA implica la (0-)consistencia de PA.
Ahora se puede establecer la segunda componente de la indecidibilidad de G:
Proposicin 4.5 (G no es demostrable). Si PA es 1-consistente, entonces la frmula cerra-
da G no es demostrable en PA: PA 0 G.
Demostracin. Bajo la hiptesis de 1-consistencia de PA, se supone que
1. PA ` G. Entonces:
2. PA ` y Proof(y, pGq) ( Dem(pGq)) (por la equivalencia G Dem(pGq))
3. Existe m N tal que (m, pGq) Proof (por 1-consistencia, con el conjunto Proof)
4. PA ` G (por definicin del conjunto Proof)
5. PA ` (por 1. y 4.)
La ltima asercin es imposible, pues PA es consistente. Luego PA 0 G. 

En consecuencia (Prop. 4.2 y 4.5):


Teorema 4.6 (Incompletitud, formulacin histrica). Si PA es 1-consistente, entonces la
frmula cerrada G es indecidible en PA: PA 0 G y PA 0 G.

12
En el artculo de Gdel, la 1-consistencia era llamada -consistencia.
37
4.4. El truco de Rosser. El defecto de la demostracin histrica del primer teorema de in-
completitud reside en que utiliza la hiptesis de 1-consistencia, que se puede remplazar por la
hiptesis ms dbil de (0-)consistencia, como demostr Rosser. El truco de Rosser consiste en
definir (todava por el Teorema 4.1) otra frmula cerrada G0 como punto fijo de
PA ` G0 Dem0 (pG0 q)
donde Dem0 (x) es la frmula definida por
Dem0 (x) y (Proof(y, x) (y0 < y) Proof (y0 , x))
y donde la frmula Proof (y, x) es una representacin (en PA) del conjunto Proof N2
de las refutaciones (vase Seccin 3.7). Intuitivamente, la frmula Dem0 (x) expresa que x es
el cdigo de una frmula cerrada que tiene una demostracin de cdigo y, tal que no existe
ninguna refutacin de dicha frmula con un cdigo y0 < y.
Proposicin 4.7 (G0 no es demostrable). Si PA es consistente (PA 0 ), entonces la frmula
cerrada G0 no es demostrable en PA: PA 0 G0 .
Demostracin. Bajo la hiptesis de consistencia de PA, se supone que G0 tiene una demostra-
cin d en PA. Entonces:
1. (pdq, pG0 q) Proof (definicin del conjunto Proof N2 )
2. PA ` Proof(pdq, pG0 q) (por representacin)
3. (m, pG^0
q) < Proof para todo m < pdq, (consistencia de PA)
4. PA ` Proof (m, pG0 q) (por representacin)
m<pdq
5. PA ` (y < pdq) Proof (y0 , pG0 q)
0
(Prop. 1.41)
6. PA ` Proof(pdq,
 pG0 q) (y0 < pdq) Proof (y0 , pG0 q)
 (por 2. y 5.)
7. PA ` y Proof(y, pG0 q) (y0 < y) Proof (y0 , pG0 q) (por la regla -intro.)
8. PA ` Dem0 (pG0 q) (Def. de la frmula Dem0 (x))
9. PA ` G0 (pues PA ` G0 Dem0 (pG0 q))
10. PA ` (pues PA ` G0 y PA ` G0 )
La ltima asercin es imposible, pues PA es consistente. Luego PA 0 G. 
Proposicin 4.8 (G0 no es demostrable). Si PA es consistente (PA 0 ), entonces la fr-
mula cerrada G0 no es demostrable en PA: PA 0 G0 .
Demostracin. Bajo la hiptesis de consistencia de PA, se supone que G0 tiene una demos-
tracin d en PA. Entonces:
1. (pdq, pG0 q) Proof (definicin del conjunto Proof N2 )

2. PA ` Proof (pdq, pG0 q) (por representacin)
3. PA ` (y > pdq) (y0 < y) Proof (y0 , pG0 q) (razonamiento aritmtico elemental)
0
4. (m, pGq
^) < Proof para todo m pdq (consistencia de PA)
0
5. PA ` Proof(m, pG q) (por representacin)
mpdq
6. PA ` (y pdq) Proof(y, pG0 q) (Prop. 1.41)
7. PA ` y (Proof(y, pG q) (y < y) Proof (y , pG q))
0 0 0 0
(combinando 3. y 6.)
8. PA ` Dem0 (pG0 q) (definicin del predicado Dem0 (x))
9. PA ` G0 (pues PA ` G0 Dem0 (pG0 q))
10. PA ` (pues PA ` G0 y PA ` G0 )
La ltima asercin es imposible, pues PA es consistente. Luego PA 0 G0 . 
38
En consecuencia (Prop. 4.7 y 4.8):
Teorema 4.9 (Primer teorema de incompletitud). Si PA es consistente, entonces la frmula
cerrada G0 es indecidible en PA: PA 0 G0 y PA 0 G0 .
4.5. La nocin de demostrabilidad no es recursiva. En la seccin 3.7, vimos que los dos
conjuntos Dem, Dem Form0 definidos por
Dem = 2 (Proof) = {pq : PA ` } ( Form0 )
Dem = 2 (Proof ) = {pq : PA ` } ( Form0 )
(cuyos elementos son los cdigos de las frmulas demostrables y refutables) son recursivamen-
te enumerables (Prop. 3.15). Ahora se puede demostrar que:
Proposicin 4.10 (La demostrabilidad no es recursiva). Si PA es consistente, entonces nin-
guno de los dos conjuntos Dem, Dem Form0 es recursivo.
(En otro lado, si PA es inconsistente, es claro que Dem = Dem = Form0 , de tal modo que
ambos conjuntos son obviamente recursivos.)
Demostracin. Supongamos PA es consistente y que el conjunto Dem N es recursivo. Por
el Teorema de representacin, este conjunto es representado por una frmula Dem00 (x) depen-
diendo de la nica variable libre x, de tal modo que para toda frmula cerrada tengamos:
PA ` Dem00 (pq) si PA `
(

PA ` Dem00 (pq) si PA 0
Sea G00 la frmula cerrada definida (por el Teorema 4.1) como punto fijo de Dem00 (x):
() PA ` G00 Dem00 (pG00 q)
Se distinguen los dos casos siguientes, segn que PA ` G00 o PA 0 G00 :
PA ` G00 . En este caso, tenemos que pG0 q Dem, de tal modo que PA ` Dem00 (pG00 q)
(por representacin), es decir PA ` G00 (por ()). Es imposible, pues PA es consistente.
PA 0 G00 . En este caso, tenemos que pG0 q < Dem, de tal modo que PA ` Dem00 (pG00 q)
(por representacin), es decir PA ` G00 (por ()): contradiccin.
Luego, el conjunto Dem N no es recursivo. Del mismo modo se demuestra que el conjunto
Dem N no es recursivo tampoco. 
Observaciones 4.11. (1) Intuitivamente, este resultado expresa que no existe ningn algo-
ritmo que permita determinar (en tiempo finito) si una frmula cerrada es demostrable o no
en PA. En otro lado, vimos que el conjunto Dem N es recursivamente enumerable, lo que
significa que existe un semi-algoritmo (el semi-algoritmo de bsqueda de demostracin) que
termina slo cuando la frmula cerrada es demostrable en PA (despus de haber encontrado
una demostracin), pero que no termina cuando la frmula no tiene ninguna demostracin
en PA (porque dicho semi-algoritmo sigue enumerar las demostraciones en bucle infinito).
(2) Es claro que si la aritmtica fuera consistente y completa, sera posible determinar en
tiempo finito si una frmula cerrada o no es demostrable: bastara enumerar todas las demos-
traciones de PA, hasta encontrar o bien una demostracin de (en cuyo caso PA ` ), o bien
una demostracin de (en cuyo caso PA 0 , por consistencia). Por contraposicin, la Pro-
posicin anterior (Prop. 4.10) implica que PA es incompleta (bajo la hiptesis de consistencia),
y como su demostracin no depende del primer teorema de incompletitud, esto nos da una
demostracin alternativa (pero no constructiva) del primer teorema de incompletitud.
(3) Segn un punto de vista ms filosfico, la Prop. 4.10 (que implica el primer teorema
de incompletitud) expresa que la ausencia de demostracin que corresponde filosficamente
39
a una ausencia de informacin no se puede traducir algortmicamente en una informacin
negativa es decir: una respuesta no , dada en tiempo finito. Luego, una interpretacin
filosfica posible del primer teorema de incompletitud es la siguiente:
Ausencia de informacin , Informacin negativa.
(La ausencia de demostracin constituyendo un caso autntico de ausencia de informacin, que
no se puede transformar en informacin negativa por ningn procedimiento algortmico.)
4.6. La nocin de verdad no es definible en PA. En esta seccin se supone la existencia del
modelo estndar (Seccin 1.7). Bajo esta hiptesis:
Proposicin 4.12 (La verdad no es definible). No existe ninguna frmula aritmtica V(x)
(dependiendo de la variable x) tal que para toda frmula cerrada :
PA ` V(pq) si N |=
(

PA ` V(pq) si N 6|=
Demostracin. Supongamos que tal frmula V(x) existe, y consideremos la frmula cerrada H
construida (por el Teorema 4.1) como punto fijo de
() PA ` H V(pHq)
Se distinguen los dos casos siguientes, segn que N |= H o N 6|= H:
N |= H. En este caso, tenemos que PA ` V(pHq), entonces PA ` H (por ()), lo que
implica (por el Teorema 1.26) que N |= H, es decir: N 6|= H: contradiccin.
N 6|= H. En este caso, tenemos que PA ` V(pHq), entonces PA ` H (por ()), lo que
implica (por el Teorema 1.26) que N |= H: contradiccin.
Los dos casos llevan a una contradiccin, luego tal frmula V(x) no puede existir. 
Observacin 4.13 (Paradoja de Richard). El resultado anterior (debido a Tarski) es fuerte-
mente relacionado con la paradoja de Richard, que parte de la siguiente observacin:
Para todo entero n N, la cantidad de frases que se pueden formar (en espaol) con me-
nos de n palabras es finita. Luego, las frases con menos de n palabras slo pueden definir (es
decir: caracterizar) una cantidad finita de enteros naturales, de tal modo que para todo n N,
existe una cantidad infinita de enteros naturales que no se pueden definir utilizando menos de
n palabras. La paradoja de Richard se obtiene considerando el entero natural definido como
El entero natural ms pequeo que no se puede definir con menos de diecisis palabras
y observando que tal definicin slo utiliza... quince palabras.
Por supuesto, tal paradoja se resuelve observando que el predicado de definibilidad
m es definible con menos de n palabras
(obviamente relacionado con el predicado de verdad) no se puede definir adentro de un lenguaje
formal tal que PA aunque se pueda definir en la teora ambiente (remplazando el nmero de
palabras por el nmero de smbolos). De tal modo que la definicin sobre la cual se basa
la paradoja, de hecho, no es una definicin bien formada.
En la seccin 3.7, definimos los dos conjuntos
True = {pq : cerrada y N |= } ( Form0 )
False = {pq : cerrada y N 6|= } ( Form0 )
que forman una particin del conjunto Form0 de los cdigos de frmulas cerradas:
True ] False = Form0 .
40
Corolario 4.14. Los conjuntos True, False N no son recursivamente enumerables.
Demostracin. Por definicin de la relacin de satisfaccin N |= , es claro que
True = {n N : fneg(n) False} y False = {n N : fneg(n) True}
de tal modo que el conjunto True es recursivamente enumerable si y slo si el conjunto
False es recursivamente enumerable. Por contradiccin, supongamos que ambos conjuntos
True, False N son recursivamente enumerables. Como estos dos conjuntos forman una
particin del conjunto Form0 N, tenemos que
Truec = (Form0 False)c = (Form c
| {z } ,
|{z}0 ) False
rec. prim. rec. enum.

lo que implica que el complementario Truec = N True del conjunto True N tambin es
recursivamente enumerable. Entonces, el conjunto True es recursivo (Prop. 2.10 (4) p. 22) y
luego representable en PA (Corolario 2.15 p. 23). Pero esto implica trivialmente que la verdad
es definible en PA, lo que contradice la Prop. 4.12. Luego, la hiptesis era absurda, y ninguno
de los dos conjuntos True, False N es recursivamente enumerable. 
4.7. Conclusin. La situacin relativa de los conjuntos Proof, Proof N2 (recursivos pri-
mitivos), Dem, Dem Form0 (recursivamente enumerables y no recursivos) y True, False
Form0 (no recursivamente enumerables) es resumida en la Fig. 1 abajo.

Demostraciones Demostrabilidad Verdad



Conjuntos Conjuntos Conjuntos no
recursivos recursivamente recursivamente
primitivos enumerables enumerables
2
Proof N2 Dem = 2 (Proof) ( True N
2
Proof N2 Dem = 2 (Proof ) ( False N

Dem ] Dem ( Form0 True ] False = Form0


(incompletitud sintctica) (completitud semntica)

Figura 1. Situacin relativa de los conjuntos de cdigos notables

5. El segundo teorema de incompletitud


5.1. El argumento de Gdel. Vimos (Seccin 4.2) que la demostracin histrica del primer
teorema de incompletitud se apoya en la construccin de una frmula aritmtica cerrada G tal
que PA ` G Dem(pGq), de tal modo que:
Si PA es consistente, entonces PA 0 G (Prop. 4.2)
Analizando la estructura de la demostracin de este resultado, Gdel observa que
(1) La implicacin anterior, formulada en el meta-lenguaje, se puede internalizar adentro
del lenguaje de PA a travs de la codificacin de las frmulas y de las demostraciones
con nmeros naturales. Naturalmente, las aserciones PA es consistente y G no es
demostrable son remplazadas por la frmulas aritmticas ConsPA Dem(pq) y
Dem(pGq), y el enunciado de la Prop. 4.2 se convierte en la frmula aritmtica
ConsPA Dem(pGq) .
41
(2) La (meta-)demostracin de la implicacin Si PA es consistente, entonces PA 0 G
slo utiliza principios de razonamiento finitarios, de tal modo que se puede internalizar
en su totalidad adentro de PA, convirtindose en una demostracin formal de la frmula
aritmtica ConsPA Dem(pGq). As:
PA ` ConsPA Dem(pGq) .
Y como PA ` G Dem(pGq), se obtiene que
PA ` ConsPA G .
(3) Pero como PA 0 G (suponiendo PA consistente), se deduce que PA 0 ConsPA (bajo
la misma hiptesis). Dicho de otra manera, si PA es consistente, entonces PA no puede
demostrar la frmula ConsPA Dem(pq) que expresa su propia consistencia.
Internalizacin de la demostracin de la Prop. 4.2 Obviamente, la parte ms tcnica de la
demostracin esbozada anteriormente (que otramente no tiene ninguna dificultad conceptual) es
la construccin efectiva de la demostracin (formal) de la implicacin ConsPA Dem(pGq)
en PA, internalizando la demostracin de la Prop. 4.2 adentro de PA.
Para ello, se puede observar que no se necesita internalizar el teorema de representacin
(Teorema 2.14), pues slo sirve para construir algunas frmulas cruciales en el enunciado del
primer teorema de incompletitud. Se podr tomar estas frmulas tal cuales, asegurndose que
verifican (en PA) las propiedades deseadas. Por ejemplo, habr que demostrar (entre otras co-
sas) que la sustitucin es compatible con la relacin de -equivalencia, es decir, en PA:
x x0 v y z z0
(Form(x) Form(x0 ) Term(y)
Subst(x, v, y, z) Subst(x0 , v, y, z0 ) Equiv(x, x0 ) Equiv(z, z0 ))
(donde Form(x) expresa que x es un cdigo de frmula, Term(y) que y es un cdigo de trmino,
Equiv(y, y0 ) que las frmulas de cdigos y, y0 son -equivalentes, etc.)
Sin embargo, la demostracin formal de la implicacin ConsPA Dem(pGq) en PA si-
gue siendo un ejercicio tcnicamente difcil, y es la razn por la cual puede ser til considerar
el problema con una forma un poquito ms abstracta, afn de extraer los ingredientes crucia-
les de tal demostracin. Esto nos conduce a interesarnos en las condiciones de derivabilidad
introducidas por Hilbert y Bernays.

5.2. Las condiciones de derivabilidad de Hilbert-Bernays. Sea T una teora de primer


orden cuyo lenguaje contiene el lenguaje de la Aritmtica, dada con:
una codificacin 7 pq de las frmulas cerradas del lenguaje de T en N;
una frmula Dem(x) que slo depende de la variable x.
Se dice que la teora T satisface las condiciones de derivabilidad de Hilbert-Bernays si para
todas las frmulas cerradas , del lenguaje de T se cumplen las tres condiciones siguientes:

(HB1) Si T ` , T ` Dem(pq)
entonces
 
(HB2) T ` Dem(p q) Dem(pq) Dem(pq)
 
(HB3) T ` Dem(pq) Dem pDem(pq)q

Para manipular ms fcilmente estas tres condiciones, se utiliza la notacin


2 Dem(pq) ( es demostrable )
42
para cada frmula cerrada del lenguaje de T , gracias a la cual las tres condiciones de deri-
vabilidad de Hilbert-Bernays se escriben ms simplemente13:
(HB1) Si T ` , entonces T ` 2
(HB2) T ` 2( ) (2 2)
(HB3) T ` 2 22
(donde , son frmulas cerradas cualesquiera del lenguaje de T ).
La condicin (HB1) dice que si es demostrable en T , entonces la frmula 2 tambin es
demostrable en T 14. Es la condicin que expresa que la frmula Dem(x) es la internalizacin
de la nocin de demostrabilidad (en el sentido de T ) adentro de T . En PA, ya vimos que la
frmula Dem(x) y Proof(y, x) (Seccin 4.2) satisface esta condicin.
La condicin (HB2) expresa en la teora T que la demostrabilidad de una implicacin y la
demostrabilidad de su miembro izquierdo implican la demostrabilidad de su miembro derecho.
Esta condicin es nada ms que la regla de modus ponens
Si T ` y T ` , entonces T `
internalizada adentro de la teora T gracias a la modalidad 2:
T ` 2( ) (2 2).
La condicin (HB3) sigue el espritu de las dos otras condiciones, y es nada ms que la
condicin (HB1)
Si T ` , entonces T ` 2
internalizada adentro de la teora T :
T ` 2 22.
Veremos en la Seccin 5.3 que las condiciones de Hilbert-Bernays capturan las propiedades
necesarias para demostrar el segundo teorema de incompletitud. Para utilizar estas condiciones
en la Aritmtica de Peano, se necesita verificar que:
Proposicin 5.1. La Aritmtica de Peano (PA) satisface las condiciones de Hilbert-Bernays,
con la frmula Dem(x) y Proof(y, x) definida en la seccin 4.2.
Demostracin. (HB1) Ya vimos que la primera condicin se cumple en PA, por definicin de
la frmula Dem(x) y Proof(y, x) (vase Seccin 4.2).
(HB2) La segunda condicin se deduce de que:
PA ` x y z (Imp(x, y, z) Dem(z) Dem(x) Dem(y)) ,
donde Imp(x, y, z) es la frmula que representa en PA la funcin de codificacin de la impli-
cacin imp : N2 N, definida por imp(n, m) = h2, hn, mii para todo (n, m) N2 (vase
Seccin 3.6). No se construir aqu una demostracin formal (en PA) de la frmula anterior,
que es un ejercicio tcnico de escaso inters conceptual.
(HB3) La tercera condicin se deduce de que:
PA ` y z (FSubstNum(pDem(x0 )q, #x0 , y, z) Dem(y) Dem(z)) ,
donde FSubstNum(x, v, y, z) es una frmula aritmtica que representa en PA la funcin recursiva
primitiva fsubstnum : N3 N definida por fsubstnum(n, v, m) = fsubst(n, v, pnum(m))
13
Se reconocen tres principios estndar de la lgica modal, es decir: la regla de necesitacin (HB1), la ley de
distributividad (HB2) y la ley de transitividad, restringidas aqu a las frmulas cerradas de T .
14
Cuidado! Esta condicin no dice que la implicacin 2 es demostrable en T (lo que es ms fuerte).
43
para todo (n, v, m) N3 . De nuevo, la construccin de una demostracin formal (en PA) de la
frmula anterior es un ejercicio tcnico de escaso inters conceptual que no haremos aqu. 
Observacin 5.2. El esbozo de demostracin anterior ya permite extraer las dos frmulas
cerradas que se necesita demostrar formalmente en PA, es decir:
1. x y z (Imp(x, y, z) Dem(z) Dem(x) Dem(y))
2. y z (FSubstNum(pDem(x0 )q, #x0 , y, z) Dem(y) Dem(z))
Por supuesto, la demostracin formal de estas dos frmulas (en la cual reside toda la dificultad
tcnica del segundo teorema de incompletitud) depender fuertemente de la frmula Proof(y, z)
elegida para representar el conjunto recursivo primitivo Proof N2 .
5.3. El teorema de Lb. Se comienza por demostrar una versin abstracta del segundo teo-
rema de incompletitud, debida a Lb:
Teorema 5.3 (Lb). Sea T una teora de primer orden en la cual todas las funciones
recursivas son representables, y que satisface las condiciones de Hilbert-Bernays. Dada una
frmula cerrada del lenguaje de T , si T ` Dem(pq) , entonces T ` .
Demostracin. Sea una frmula cerrada tal que T ` (Dem(pq) ), cuya existencia
es dada por el Teorema del punto fijo (Teorema 4.1) adaptado a la teora T 15 y aplicado a la
frmula (y) (Dem(y) ). Usando la notacin 2 Dem(pq), se verifica que:
1. T ` 2 por hiptesis
2. T ` (2 ) por construccin de
3. T ` (2 ) por 2.
4. T ` 2( (2 )) por 3. y (HB1)
5. T ` 2 2(2 ) por 4. y (HB2)
6. T ` 2 (22 2) por 5. y (HB2)
7. T ` 2 22 por (HB3)
8. T ` 2 2 por 6. y 7.
9. T ` 2 por 1. y 8.
10. T ` por 2. y 9.
11. T ` 2 por 10. y (HB1)
12. T ` por 9. y 11. 
Combinando este resultado con la Prop. 5.1, se deduce que:
Teorema 5.4 (Segundo teorema de incompletitud). Si PA es consistente, entonces la frmula
ConsPA Dem(pq) y Proof(y, pq) ( PA es consistente )
no es demostrable en PA.
Demostracin. Razonando por contraposicin, se supone que PA ` ConsPA, es decir que PA `
Dem(pq) . Por el teorema de Lb (con la frmula ), se deduce que PA ` . 

6. Generalizacion del los teoremas de incompletitud


En las Secciones 4 y 5 demostramos los dos teoremas de incompletitud de Gdel en el
caso particular (pero esencial) de la Aritmtica de Peano (PA). Sin embargo, los dos teoremas
se aplican a una clase mucho ms grande de teoras, y en esta ltima seccin, proponemos
formular los dos teoremas en un marco ms general.
15
Se verifica fcilmente que el teorema del punto fijo se puede establecer en cualquier teora T en la cual todas
las funciones recursivas son representables.
44
6.1. Lenguaje y teoras de primer orden. Los teoremas de incompletitud de Gdel expre-
san propiedades de sistemas formales llamados teoras. Hay muchas nociones de teora en
lgica, pero la gran mayora de ellas16 se pueden reducir a la nocin fundamental de teora de
primer orden, la cual es basada en la nocin fundamental de lenguaje de primer orden:
Definicin 6.1 (Lenguaje de primer orden). Un lenguaje de primer orden es un lenguaje de
trminos y de frmulas definido a partir de un vocabulario que contiene:
smbolos de funcin (notacin: f , g, h, etc.),
smbolos de predicado (notacin: p, q, r, etc.);
cada smbolo de funcin o de predicado siendo dado con un entero natural, llamado su aridad.
Los smbolos de funcin de aridad 0 tambin se llaman smbolos de constante. Dado un vocabu-
lario, se definen los trminos y las frmulas del lenguaje correspondiente como las expresiones
sintcticas construidas por aplicacin finita de las siguientes reglas:
Reglas de construccin de los trminos:
(1) Si x es una variable, entonces x es un trmino.
(2) Si f es un smbolo de funcin de aridad k, y si t1 , . . . , tk son trminos, entonces
f (t1 , . . . , tk ) es un trmino (cuando k = 0, este trmino se escribe f antes de f ()).
Reglas de construccin de las frmulas:
(1) es una frmula.
(2) Si t, u son trminos, entonces t = u es una frmula.
(3) Si p es un smbolo de predicado de aridad k, y si t1 , . . . , tk son trminos, entonces
p(t1 , . . . , tk ) es una frmula (cuando k = 0, esta frmula se escribe p antes de p()).
(4) Si , son frmulas, entonces es una frmula.
(5) Si x es una variable y una frmula, entonces x es una frmula.
Se utilizan las abreviaturas usuales para definir las otras construcciones lgicas: ,
> , ( ), , x x, etc.
Definicin 6.2 (Teoras de primer orden). Una teora de primer orden T es definida por:
Un lenguaje de primer orden, llamado el lenguaje de T .
Un conjunto de frmulas cerradas del lenguaje de T , llamadas los axiomas de T .
Se dice que una frmula cerrada del lenguaje de T es un teorema de T (notacin: T ` )
cuando existe una lista finita de axiomas de la teora T tal que el secuente ` es derivable
en el sistema de deduccin de la Seccin 1.3 (adaptado al lenguaje de T ).
Se dice que una teora T es finita cuando su vocabulario y su conjunto de axiomas son
finitos. Dado dos teoras T , T 0 , se dice que T es una subteora de T 0 (notacin: T T 0 ),
o que T 0 es una extensin de T (notacin: T 0 T ), cuando el lenguaje de T est incluido
en el lenguaje de T 0 , y cuando todo teorema de T tambin es un teorema de T 0 . (Se verifica
fcilmente que la ltima condicin se cumple cuando todo axioma de T es un teorema de T 0 .)
Definicin 6.3 (Teoras recursivas). Se dice que una teora T es recursiva cuando:
(1) El lenguaje (de trminos y de frmulas) de T es numerable.
(2) La teora T es dada con dos funciones de codificacin t 7 ptq y 7 pq de los
trminos y de las frmulas en el conjunto N, tales que todas las operaciones de cons-
truccin de trminos y frmulas corresponden a funciones recursivas a travs de esta
codificacin. Esto implica que las otras operaciones sintcticas por ejemplo las dos
operaciones de sustitucin t{x := u} (en los trminos) y {x := u} (en las frmulas)
tambin corresponden a funciones recursivas a travs de esta codificacin.
16
Incluso las teoras dichas de segundo orden o de orden superior.
45
(3) El conjunto AxiomT N de los cdigos de axiomas de T es recursivo. Esto implica
que el conjunto de los cdigos de demostraciones de T tambin es recursivo.
(Se verifica fcilmente que todas las teoras finitas son recursivas.)
La propiedad de recursividad es esencial para asegurar la existencia de un algoritmo que
permita decir si una demostracin es correcta o no, y es la razn por la cual todas las teoras
usuales en matemtica son recursivas: PA (Aritmtica de Peano), ZF (teora de conjuntos de
Zermelo-Fraenkel), ZFC (ZF extendida con el axioma de la eleccin), etc. Sin la propiedad
de recursividad, el razonamiento matemtico pierde su carcter objetivo es decir, aqu: la
posibilidad de ser verificado por un objeto (una computadora, por ejemplo).
En otro lado, se pueden considerar teoras de primer orden no recursivas (incluso teoras
cuyo lenguaje no es numerable); tales teoras desempean un papel importante en la teora de
modelos, pero no tienen ningn inters prctico.
6.2. La Aritmtica de Robinson (Q). Vimos que la demostracin de los teoremas de in-
completitud se basa fuertemente en la posibilidad de representar las funciones recursivas (y los
conjuntos recursivos) en PA, por frmulas que describen el clculo subyacente.
Sin embargo, se puede observar que la demostracin del teorema de representacin (Teo-
rema 2.14) y ms generalmente la demostracin del primer teorema de incompletitud nunca
utilizan el principio de induccin de PA aunque utilicen fuertemente el razonamiento por
induccin en la teora ambiente, que es cosa muy diferente. Por lo tanto, el teorema de repre-
sentacin y el primer teorema de incompletitud se cumplen en teoras mucho ms dbiles que
la Aritmtica de Peano, tales que la Aritmtica de Robinson.
Formalmente, se llama la Aritmtica de Robinson (notacin: Q) la teora de primer orden
cuyo lenguaje es el lenguaje de PA y cuyos axiomas son los axiomas (A1 ) (A6 ) de PA (Sec-
cin 1.4) ms el nuevo axioma
(A7 ) x (x = 0 y (x = s(y)))
Dicho de otra manera, la Aritmtica de Robinson es la teora obtenida a partir de la Aritmtica
de Peano eliminando todos los axiomas de induccin, y remplazndolos por el nico axioma
(A7 ) que expresa que todo entero natural es o bien cero, o bien el sucesor de otro entero natural.
Se verifica fcilmente que el axioma (A7 ) es tautolgicamente equivalente al axioma de
induccin con la frmula (x) x = 0 y (x = s(y)), de tal modo que PA ` (A7 ) . Luego:
Proposicin 6.4. Q es una subteora finita de PA (con el mismo lenguaje).
Por supuesto, Q es mucho ms dbil que PA, en razn de la ausencia de los axiomas de
induccin (salvo uno). Por ejemplo, ni se puede demostrar en Q que la adicin es conmutativa:
Q 0 x y (x + y = y + x) .
Sin embargo, la Aritmtica de Robinson Q es bastante expresiva para demostrar/refutar todas
las (des)igualdades verdaderas/falsas, y satisface ms generalmente todas las propiedades de
completitud computacional presentadas en la Seccin 1.8:
Proposicin 6.5. Todos los resultados presentados en la Seccin 1.8 (Propiedades de com-
pletitud de PA) se cumplen en Q, y ms generalmente en cualquier extensin de Q.
(En particular, el axioma (A7 ) sirve para establecer las propiedades de desarrollo del orden.)
De tal modo que:
Teorema 6.6 (Representacin). Todas las funciones recursivas (y todos los conjuntos recur-
sivos) son representables en Q, y ms generalmente en cualquier extensin de Q.
46
6.3. Inmersin de teoras. La nocin de subteora definida en la Seccin 6.1 es demasiada
dbil para capturar la intuicin que una teora contiene la Aritmtica de Peano (o la de Ro-
binson) . (Por ejemplo, la teora de conjuntos ZF no es formalmente una extensin de PA,
aunque contenga intuitivamente la Aritmtica de Peano a travs de la representacin de los en-
teros naturales por los ordinales finitos.) Para dar un contenido formal a esta nocin intuitiva,
se necesita definir la nocin mucho ms general de inmersin de teoras:
Definicin 6.7 (Inmersin de teoras). Sea T , T 0 dos teoras de primer orden. Se llama una
inmersin de T adentro de T 0 cualquier par (T, D(x)) donde:
D(x) es una frmula del lenguaje de T 0 que slo depende de la variable x, llamada la
imagen de la inmersin (T, D(x)) adentro de la teora T ;
T es una funcin que asocia a cada frmula del lenguaje de T una frmula T() del
lenguaje de T 0 , tal que para todas las frmulas , del lenguaje de T :
(1) FV(T()) FV()
(2) T 0 ` T()
(3) T 0 ` T( ) (T() T())
(4) T 0 ` T(x ) x (D(x) T())
(Los tem (3) y (4) se generalizan inmediatamente a las conectivas , , , , y al
cuantificador existencial .)
Adems, cuando ambas teoras T , T 0 son recursivas, se dice que la inmersin (T, D(x)) de
T adentro de T 0 es recursiva cuando existe una funcin recursiva h : N N tal que

pT()q = h(pq)

para toda frmula del lenguaje de T .


Ahora, se puede decir que una teora recursiva T contiene PA (o Q) cuando existe una
inmersin recursiva de PA (o de Q) adentro de la teora T . Esto nos permite formular los dos
teoremas de incompletitud de Gdel en el marco ms general:
Teorema 6.8 (Primer teorema de incompletitud). Sea T una teora de primer orden, recursi-
va y conteniendo la Aritmtica de Robinson Q. Si T es consistente, entonces T es incompleta
en el sentido en que existe en el lenguaje de T una frmula cerrada G que no se puede ni
demostrar ni refutar en la teora T : T 0 G y T 0 G.
Teorema 6.9 (Segundo teorema de incompletitud). Sea T una teora de primer orden,
recursiva y conteniendo la Aritmtica de Peano PA. Si T es consistente, entonces la frmula
cerrada ConsT que expresa la consistencia de T en el lenguaje de T no se puede demostrar
en la teora T : T 0 ConsT .
(La demostracin de los dos teoremas en el caso general sigue el mismo mtodo como en el
caso particular de PA, las frmulas G y ConsT siendo definidas como imgenes de frmulas
aritmticas adecuadas a travs de la inmersin de Q/PA adentro de la teora T .)

En particular, los dos teoremas de incompletitud se cumplen para una clase muy grande de
teoras de primer orden, que va de la Aritmtica de Peano (PA) a la teora de conjuntos de
Zermelo-Fraenkel (ZF) y sus extensiones usuales (con el axioma de la eleccin, el axioma de
constructibilidad, la hiptesis generalizada del continuo o los axiomas de cardinales grandes,
etc.), pasando por la Aritmtica de orden n (PAn) para todo n 2, la Aritmtica de orden
superior (PA) y la teora de conjuntos de Zermelo (Z) y sus extensiones usuales.
47
6.4. La Aritmtica de Presburger (P). En otro lado, los teoremas de incompletitud no se
cumplen para algunas teoras recursivas que no contienen Q (en el sentido de la existencia de
una inmersin). Es el caso por ejemplo de la Aritmtica de Presburger (notacin: P), que es la
subteora de PA obtenida eliminando el smbolo de su lenguaje as como todos los axiomas
que refieren a este smbolo (pero manteniendo todos los axiomas de induccin que no refieren
a este smbolo). En efecto, se puede demostrar que:
Teorema 6.10 (Completidud de P). La Aritmtica de Presburger P es completa, en el sentido
en que para toda frmula cerrada de su lenguaje: P ` o P ` .
(La demostracin utiliza la tcnica de eliminacin de cuantificadores, que permite mostrar
que toda frmula del lenguaje de P es equivalente a una frmula sin cuantificadores.)
Adems, ni se puede formular el segundo teorema de incompletitud para P, en la medida en
que el lenguaje de P no es bastante expresivo para definir la frmula ConsP.
Referencias
[1] G. Boolos, J. Burgess, R. Jeffrey. Computability and Logic: Fourth Edition, Cambridge University Press,
Cambridge, UK. 2002.
[2] K. Gdel. ber formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme, I. Mo-
natshefte fr Math. und Physik 38:17398. 1931
[3] E. Mendelson. Introduction to Mathematical Logic, 4th Edition. Chapman & Hall, 1997.
[4] R. I. Soare. Recursively enumerable sets and degrees: a study of computable functions and computably gene-
rated sets. Perspectives in Mathematical Logic. Springer-Verlag, 1987.

Instituto de Matematica y Estadistica Prof. Ing. Rafael Laguardia (IMERL) Facultad de Ingenieria (Fing),
Universidad de la Republica (UdelaR) Julio Herrera y Reissig 565 Montevideo C.P. 11300 Uruguay
E-mail address:

48

También podría gustarte