Page 114 - 18 Godel

poco el 2, ni el 3, y así sucesivamente. De manera que, en
consecuencia:

«1 no es el código de una demostración del enunciado de
código m»
«2 no es el código de una demostración del enunciado de
códigom»
«k no es el código de una demostración del enunciado de
código m»
etc.

son todos enunciados finitistas verdaderos. Al ser finitistas
y verdaderos, son demostrables. Luego:

«Existe y que es el código de una demostración del enun-
ciado de código m»

Supongamos que
.
no-G = Existe x que sea el código de una demostración de G • - -•
es demostrable.

G no es demostrable
(porque los axiomas son consistentes)

1 no es el código de una demostración de G
t
2 no es el código de una demostración de G son finitiS as
w
3 no es el código de una demostración de G verdaderos.
.
.
1 no es el código de una demostración de G
2 no es el código de una demostración de G son demostrables.
3 no es el código de una demostración de G

Existe x que sea el código de una demostración de G no es demostrable .
.__ ____ -- --

114 EL SEGUNDO TEOREMA DE GÓDEL