Los derechos para la versin castellana de la obra

METAMATHEMATIK
publicada por BIBLlOGRAPHISCHES INSTlTUT, Mannheim,
BibJiographisches Institut AG. Mannheim 1962
son propiedad de
EDJTORIAL TECNOS. S. A.
Traduccin de la 2." edicin alemana por
JACOBO MUOZ
EDITORIAL TECNOS. S. A .. 1971
O'Donncl!. 27 - Te!. n 9 23 - Madrid - q
l'nnli:J JI) Spalll. Il11prl'\o l'n Espaa. DepsIto le'lal M 101041971
Imprenta MINUESA Ronda de Toledo, 24 MADRID-5
INDICE
INDICE DE SIMBOLOS ............... _ .. _ ............ e ............. Pl!. 8
INTRODUCCIN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1. FORMALIZACIN DE LA LGICA................... . . . . . . . . . . . . . . . 20
l. Lgica clsica de yuntores.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2. Lgica constructiva de yuntores y cuantificadores. . . . . . . . . . . . . 24
3. Lgica clsica de cuantificadores. . . . . . . . . . . . . . . . . . . . . 42
4. Lgica de la igualdad. . . . . . . . . . . . . . . . . . . . . . . . . 51
n. FORMALIZACIN DE LA ARITMTICA. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
5. Aritmtica constructiva y axiomtica. . . . . . . . . . . . . . . . . . . . . . . . h3
6. Formalizacin de la aritmtica clsica. . . . . . . .. .... .. . .. . . . . . 77
7. Consistencia de la aritmtica clsica ................... ' . . . . . 92
Uf. AIUTMETlZAClN DE LOS FORMALISMOS...... .. . . ... .. . .. . .. .. . 105
8. Formalismos completos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . \05
9. Decibilidad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
10. Expresabilidad aritmtica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
11. Representabilidad aritmtica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
12. Indecibilidad e ncompletitud. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
IV. DECIBILlDAD DE LAS TEORiAS AXIOMTICAS. . . . . . . . . . . . . . . . . . . . . . . . . 165
13. Teoras axiomticas ......................... , . .. . . . . . . . . . . 165
14. Teoras axiomticas indecidibles... . ........................ 172
15. Teoras axiomticas completas. . . . . . . . .. . . .. . . .. . . .. . . . . . . . 183
BIBLlOORAFIA. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20l
INDICE DE NOMBRES. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
INDICE DE MATERIAS. . . . . . . .. . . . . . .. . . . . .. .. . . . . . . . . . . . . . . . . . . . . . . . 2(){i
INDICE DE SIMBOLOS
Lgica Aritmtica
V 21,32,78,106 51,63,78, 1 0 ~ 106
A 21,32, 78, 106 j, lI, ..... 53,63
21,31,78,106 =f
64, 102
fI 21,27,78,106 + 64,70,78, 102, 106
v 21,27,78,106 64, 70, 78, 102
< 23,77 x 106
>< 23 O 69,78,106
-+ 23,30
I
69, 78, 106
- 52
... SS
1\ 27, 78, 133 133
V 27,78, 134 ~ 133,143
28 ~ 144
t 28 Y ss. > 56
[) 34 y ss. 137
JI 37 <>
137yss.
=-
38 !te. n., ... 131
" 38 X 136
_ 52,100
N() 193
::; 52 00 141
52
() 85
-
56 y ss. Ea
86
{} 59 n 137
e 59

59
n 60
u 60
60
~ 60
,
61
I 61
Metamatemtica
106
!; 106
r ... 107
r"
107
r. 107
r
A
107'
rv 107
r.r
z
, .. 125
P
x
109
PI
109
P
A
109
P<
III
126
~
136 Y ss.
- 122 Y ss.
... 131 Y ss.
129
"" . 55 112
1: 112. 151
N 112 Y ss.
tI 112 Y ss.
7'i. 82
--1> 119
+-+ 119
~ 119
J 122
INTRODUCCION
Deblmos el concepto de metamatemtica a HILBERT. Corres-
pondiendo vagamente al venerable trmino metafisica, la
metamatemtica vendra a ser una ciencia cuyo objeto habra
de buscarse en el conjunto de la matemtica. Ahora bien, esta
metamatemtica no sera una disciplina filosfica, a diferencia
de la metafisica, sino matemtica, una teora matemtica.
La dificultad que ofrece esta determinacin de la metamate-
mtica salta a la vista. Si la metamatemtica es una teora ma-
temtica cuyo objeto consiste en la totalidad de la matemtica
misma, habra de contenerse a si misma como objeto. La difi-
cultad se soluciona con slo advertir que, en este contexto, las
palabras matemtico y matemtica no se refieren a lo
mismo. Se trata, ms bien, de una teora matemtica construc-
tiva que tiene como objeto a la matemtica entera, en la medida
en que sta se presenta como una teora axiomtica.
Con el fin de precisar esta determinacin -evidentemente
ya no circular- de la metamatemtica, habremos de detenernos
brevemente en el curso del razonamiento de HILBERT.
Una de las ms imponentes hazaas matemticas del siglo XIX
fue el descubrimientO de las geometras no euclidianas. Se
trata, dicho sea en pocas palabras, de la demostracin de la
independencia lgica del clebre axioma de las paralelas r:specto
de los restantes axiomas eucldeos.
Basndose en trabajos de SACCHERI, LAMBERT y, sobre todo,
GAUSS; LoBAl:EVSKIJ y J. BOLYAI, pudieron demostrar BELTRAMI
(1868) y KLEIN (1870) esta independencia aduciendo modelos
eucldeos. En estos modelos eran vlidos, naturalmente, todos
los axiomas eucldeos, salvo el de las paralelas.
y se dijo: puesto que la geometra euclidiana es consistente,
tambin 10 ser todo sistema de preposiciones vlidas en un
modelo eucldeo, y, sobre todo, habr de serlo el sistema que,
negando el axioma eucldeo de las paralelas, conserve todos los
dems. Este es, precisamente, el sentido de la citada independencia
lgica.
y se sigui investig'ando sobre la consistencia de la geome-
tra eucldea. Se mejor, en primer lugar, su axiomtica, y se
10
METAMATEMATICA
complet, hasta que se pudo demostrar la posibilidad de deri-
var, de manera puramente lgica, todos los teoremas ya cono-
cidos de la teora, sin ayuda de la intuicin geomtrica, a partir
del subyacente sistema de axiomas. El fruto primero de este
esfuerzo ha de verse en la publicacin, en 1899, por HILBERT,
de sus Grundlagen der Geometrie
1

Sobre la base de una axiomtica impecable poda tenerse
ahora la seguridad de que la geometra eucldea posee un modelo
analtico. Esto ya se saba desde DESCARTES (1637), a quien
debemos la posible traduccin de las proposiciones geomtricas
en analticas (esto es, en proposiciones sobre nmeros reales).
Unicamente sobre la base de una axiomatizacin impecable
resulta legtimo pasar de ]a consistencia de los modelos analticos
a ]a consistencia de la geometra eucldea, necesaria lgicamente
para la consistencia de la geometra no euc1dea.
De donde el problema acab siendo trasladado a la con-
sistencia de Jos modelos analticosH. Esta manera de hablar no
deja de ser un tanto inexacta. Slo un sistema de proposiciones
puede implicar una contradiccin, de donde slo un sistema
de proposiciones puede ser denominado, con pleno sentido,
consistente (a saber, cuando no implica, a la vez, A y no-A,
es decir, una proposicin contradictoria). La pregunta, forzn-
donos a una mayor exactitud, habr, pues, de girar en tomo
a si sistema de proposiciones vlido en un modelo analtico
es o no consistente.
Un modelo analtico no es otra cosa que un conjunto
objetos analticos (p. ej., pares de nmeros. ecuaciones lineares ... ),
entre los que quedan definidas algunas relaciones de tipo anal-.
tico (p. ej., la igualdad, la posibilidad de resolver de una
linear mediante un par de nmeros ... ). Una proposicin vlidaj
en uno de estos modelos no difiere de aquellas otras propo-i
sicion.(!s analticas que usualmente expresan la existencia de
relacin analtica entre objetos analticos.
Existe reedici6n reciente de esta obra: David HILBERT, Grundlagen der Geo-
metrie (<<Fundamentos de la Geometra), B. G. Teubner, 1962. El C. S. 1. e
publiC una versin castellana de la misma, por Francisco Cebrin, en 1953, que
contiene cinco apndices (sobre el concepto de nmero, sobre los fundamentos
de la l.gica y de la Aritmtica, sobre el infinito, sobre los fundamentos de la
Matemtica y sobre problemas de la fundamentacin de la Matemtica) que
han sido eliminado!> en la citada reedici6n alemana de la obra. (N. del T.)

INTRODUCCION
11
La consistencia de los modelos analticos no es, por tanto,
otra cosa que la consistencia del sistema de todos los teoremas
analticos. y es en este punto, precisamente, donde se nos aparece
la verdadera dificultad -todava no resuelta a satisfaccin de
todos los matemticos--. Aun sin haberse ocupado de todo el
problema, hemos de insistir en el xito del trabajo metamatem-
tico hilbertiano, sobre todo a partir de 1918. que ha llevado asi-
mismo a la matemtica a nuevos problemas y resultados nuevos.
En el terreno del lgebra, p. ej., y debido en buena parte a los
trabajos de T ARSKI, se han ido introduciendo con fuerza cada
vez mayor los mtodos metamatemticos en los ltimos decenios
(vid. cap. IV).
El complejo de problemas relacionado con la consistencia del
analisis ha ido surgiendo de] encuentro de varias tendencias,
cuyo breve examen vamos a intentar acto seguido.
Durante la antigedad tarda se desarroll. independiente-
mente de la tradicin geomtrica griega, la aritmtica indio-
arbiga. A partir del Renacimiento, y sobre todo en el XVlI.
ambas teoras confluyeron, en Europa, en el clculo infinitesimal
y la geometra igualmente infinitesimal. Es decir. nuestro an-
lisis clsico. El siglo XIX trajo el intento de una aritmetizacin
del anlisis, es decir, la reduccin de la teora de los nmeros
reales a la de los llamados nmeros naturales, 0, 1, 2 ... Este in-
tento llev, sin embargo, a CANTOR, DEOEKINO. WEIERS-
TRASS .... a la idea de que junto a la construccin de los nmeros
naturales (incluidas las funciones para ellos inductivamente
definibles, tales como la adici6n, multiplicaci6n, etc.) se preci-
saban para la edificacin del anlisis ciertos procesos referentes
a la formacin de conjuntos de nmeros, de conjuntos de con-
juntos de nmeros, etc. Es decir. que la .teora de conjuntos.
gracias sobre todo a CANTOR, se erigi en disciplina autnoma.
No obstante, a partir de 1900 se observ6 que ciertas apreciaciones
sobre las posibilidades de realizaci6n de estos procesos de for-
macin de conjuntos, tenidas por evidentes. conducan a con-
tradicciones.
En este contexto ha de situarse la conocida paradoja de
RUSSELL acerca del conjunto de todos los conjuntos que, en cuanto
a tal y por definicin. ha de contenerse a s mismo. Estas para-
dojas han dividido a ciertos espritus, y continan
todava.
12
MET AMA TEMA TICA
Tenemos, por una parte, a los llamados constmctivistas
(POlN cAR , BROUWER, WEYL) , segn los cuajes no hay por
qu hacerse hiptesis acerca de la existencia de conjuntos,
bastando con limitarse a aquellos que pueden, sin ms, ser cons-
truidos. La discusin empieza, naturalmente, a la hora de definir
lo que quepa entender como construible. No hay posibili-
dades de delimitar el dominio de todos los mtodos de construc-
cin.
Estn, por otra parte, Jos llamados axiomaticistas: ZER-
MELO, HILBERT, FRAENKEL, etc., segn quienes hay que bus-
car unos axiomas de la teora de conj1Jntos que permitan com-
pletar de la manera ms sencilla posible los mtodos deduc-
tivos, un tanto ingenuos, del anlisis clsico, sin por ello con-
ducir a contradicciones. En un principio, este intento pareci
obtener un verdadero xito. El sistema de ZERMELo-FRAENKEL,
por ejemplo, permite la derivacin axiomtica imp"'.,cable de todos
los teoremas del anlisis clsico (de cuyo sentido originario,
sin embargo, hay que prescindir en este intento). Por otra parte,
de los axiomas de este sistema no se ha derivado hasta la fecha
ninguna contradiccin; la ...
..
Con BROUWER como cabeza visible de Jos constructivis-
tas e HILBERT de los axiomaticistas, menudearon las no leves
polmicas durante los aos veinte .. Sin poderse convencer UllOS
a otros, parecieron ganar momentneamente los axiomaticistas,
en la medida en que consiguieron ganar para sus teoras a la
mayor parte de los matemticos no especialmente interesados
en estas cuestiones de investigacin de los fundamentos. La
mayora de los tratados y cursos universitarios adquirieron r-
tulo axiomaticista; el comtructivismo hubo de reducirse al
intuicionismo de BROUWER en Amsterdam 2.
Hoy en da no resulta dificil advertir el porqu de la no so-
lucin terica de esta polmica: entre ambas teoras de conjuntos,
la axiomtica y la constmctivista, no media contradiccin alguna.
Es posible decidirse por ambas. Del mismo modo en que tanto
; Cfr. la formalizacin de la matemtica intuicionista efectuada por A. HEYT1NG
en su obra In tuitioni.im , North Holland Pub. Co., Amsterdam, 1966,"que G(\ns-
tituye la mejor exposicin actualmente existente de la concepcin, de origen brcu-
weriano. de la matemtica como actividad de construcciones intuitivas. (N. del T.)
INTRODUCCION I3
un gemetra como un aritmtico tienen su sitio en el vasto campo
de la matemtica, tambin lo tienen en ella ambas teoras de con-
juntos y ambos anlisis, axiomaticistas y constructivistas. Si se
pregunta si es absolutamente necesario que junto a una de estas
dos formas de teora de conjuntos se practique tambin la otra,
la polmica ser inevitable, ya que cada uno de ambos bandos,
llevado de su totalitarismo, querr negar al otro el derecho a la
existencia. No deja de ser, por ejemplo. importante el prob1ema
de si en un plan de estudios determinado haya de incluirse una
matemtica constructiva exclusivamente, o slo una matemtica
axiomtica. Pero ste es un problema de orden prctico. Las
diferencias de opinin a este respecto no implican, ciertamente,
una crisis de principios.
Cualquier afirmacin de la matemtica axiomtica tiene la
siguiente fonna: de] sistema de axiomas ... es lgicamente de-
rivable ... la proposicin ... . La verdad de estas afirmaciones
puede ser examinada por cualquiera, incluso por los construc-
tivistas, tanto si stos juzgan adecuado u oportuno el examen
de estos axiomas, como si no.
Lo contrario tampoco tendra por qu resultar dificil: lo
que se hace en matemtica constructiva no tiene por qu resultar
problemtico para el axiomaticista. Este introduce sus axiomas
porque quiere ir ms all de lo constructivamente alcanzable.
porque quiere ms. La mayora de las veces piensa, adems,
que es conveniente, o incluso imprescindible, querer ms. La
situacin, sin embargo, no es tan clara como parece indicar
nuestra exposiin. A menudo asistimos a unas ambiciones
tales de exclusivismo por parte de los axiomaticistas que la crisis
de principios no puede ser remediada. Este exclusivismo se
retrotrae a FREGE (1879), con lo que nos centramos nueva-
mente en la lgica. Hay que aclarar su papel. A mediados del XIX,
y tras un sueo de siglos (su ltima floracin tuvo lugar en la
Escolstica), la lgica se despert a nueva vida. Frente a KANT,
FREGE exigi la reduccin de la Aritmtica a la Lgica
3
Este
La importancia de Frege (1848-1925) en el pensamiento lgico-matemtico
es hoy -a excepcin, posiblemente, de nuestro pas, donde an no ha sido editada
traduccin alguna de sus obras- de general conocimiento. En vida, sin embargo,
apenas tuvo audiencia. Rudolf Carnap cuenta en su autobiografla intelectual
(Senn.pp, ed.: TIIe Philosophy o/ R. e Autobiography, My student years. p. 5)
que en su poca de alumno de Frege las clases de ste se reducian a nosotros dos
14 MET AMA TEMA TICA
logicismo ya no es hoy defendido en serio por nadie, natural-
mente, pero el reduccionismo de FREGE sobrevive en la teora
de conjuntos :los por los
----.-'. '.0-'- .',
dentro ue sus tecil"as<feeonjuntos como de conjuntos
.y'siSe-cnslOera que no vale la-pen'efabrar
,<::7,...... .-.< .... - ."_ '" _ _oe" ._'0_" ___ .. ' _ , __
todo un sistema nuevOe-nlomas para la teora de, conjuntos,
,se toma el de PEANO y se obtiene as una
La aritmtica constructivista es considerada por los axiomati-
cistas, por el contrario, como una forma extremadamente pre-
cientfica de la aritmtica.
La metamatemtica hilbertiana se revel como especialmente
fructfera al aclarar la relacin entre ambas aritmticas, la cons-
tructiva y la axiomtica. No se poda predecir que el problema
inicial de la consistencia del anlisis conducira, primero, a ese
otro problema de la relacin entre ambas aritmticas. Pero este
desarrollo resultaba necesario, ya que sin aclarar tal relacin
apenas resultaba posible formular con exactitud el problema.
U na vez tomada nota de la existencia de una matemtica cons-
tructiva -independiente del mtodo axiomtico-, el problema
de la consistencia del anlisis slo puede ser planteado con pleno
sentido de una manera: probando que un anlisis axiomtico
(o, ms generalmente, una teora axiomtica de conjuntos) es
consistente valindose de los medios de la matemtica construc-
ya un o/icial retirado. Tanto los comentarios de Schroder a la Begriffschrift 1879
(<<Escritura conceptuab, como los de Cantor a Die Grundlagen (fer Arhmetik
( Los fundamentos de la aritmtica), 1884, fueron ms bien crticos. Los Grund-
geselze der Arithmetik (<<Leyes fundamentales de la aritmtica), 1893 y 1903,
fueron dados a conocer, en realidad, por Bertrand RUSSELL, en el apndice A de
su obra Los principios de la matemtica (versin castellana de J. C. Grimberg,
Espasa-Calpe, S.A., Madrid 1967), dedicado a Las doctrinas de Frege sobre lgica
y aritmtica. Nadie negarla hoy, no obstante, su condicin de fundador, junto con
Bertrand RusseU -<:on quien comparta el programa logicista de reduccin
de la matemtica a unos cuantos conceptos bsicos de naturaleza lgica, programa
hoy prcticamente olvidado-, de la lgica moderna. En su Escritura conceptuab)
elabor minuciosamente el viejo proyecto' leibniziano de una characteristica
universalis, creando un simbolismo original, si bien poco manejable por lo excesi-
vamente complicado. En sus Fundamentos de la aritmtica da la primera definicin
lgica de nmero c.ardinal (Anzaltl), de cuyo concepto elabora una teora exten-
sionaL Esta obra contiene, por otra parte, una crtica penetra!lte del empirismo,
de la abstraccin en sentido clsico y del criticismo kantiano, en la medida en que
subraya -inaugurando as una concepcin de central importancia en el trabajo
terico de los miembros del Crculo de Viena- el carcter analtico y la naturaleza
apriorstica de las verdades matemticas. (N. del r.)
INTRODUCCION 15
tiva. Este problema se nos plantea en todo su sentido si pensamos
en que la derivabilidad lgica de una contradiccin a partir de
un sistema de axiomas resulta definibl dentro de la matemtica
constructiva. Con el fin de ver esto con mayor claridad ser pre-
ciso volver los ojos, una vez ms, a la lgica.
Debemos sobre todo a FREGE el punto de vista de que toda
deduccin lgica puede ser desarrollada de la manera siguiente.
La clase de las formas proposicionales lgicamente verdaderas
A, B ... -compuestas con la ayuda de las partculas lgicas de
los smbolos de relacin y las variables para objetos- es de-
finida gracias a un clculo. o sea, que una forma proposicional
es lgicamente verdadera si y slo si puede ser obtenida en
un nmero finito de pasos a partir de un nmero finito de
frmulas bsicas y de acuerdo con un nmero finito de
reglas de clculo. Se puede pasar, pues, de una proposicin
n a una proposicin b por deduccin lgica si y slo si n y b re-
sultan por sustitucin (de los smbolos de relaciones por signos
de relaciones particulares) de las frmulas A y B, tales que la
frmula A -+ B (si A, entonces B) es lgicamente verdadera.
Al hablar aqu de frmulas bsicas y de reglas de
a propsito de un clculo lgico, se hace referencia a algo t04
talmente distinto de lo que se quiere indicar cuando se habla de)
los axiomas de una teora axiomtica de los que se haceq
deducciones de acuerdo con unas reglas lgicas. Pero es fcil?
confundirse. No obstante, hay que insistir en que un clculo!
lgico opera con series finitas de signos, las frmulas, y que lal
cIase de las frmulas lgicamente verdaderas es definida induc-
tivamente. Metodolgicamente no se diferencia esto en nada
la aritmtica constructiva.
No habra, pues, crisis de fundamentos en la lgica de poderse
llegar a un acuerdo acerca de las f6rmulas 16gicas bsicas. as
como acerca de las reglas de clculo. La afirmaci6n. debida a
BROUWER (1907), de la autonoma de la matemtica construc-
tiva respecto de la axiomtica iba, sin embargo, precisamente
unida a un rechazo de la lgica clsica, redescubierta y de nuevo
desarrolla en el XIX. BROUWER dudaba de la legitimidad de
afirmar, en el punto de partida, la verdad o falsedad de toda
proposicin matemtica. No hay procedimiento para 1-
decidir efectivamente sobre la verdad de una proposlclon ma-
16 METAMATEMATICA
temtica dada. (Esta afirmacin ha sido precisada luego por
CHURCH en 1936, y probada en este preciso sentido. Cf. cap. lII.)
Limitndose al sentido efectivo que puede darse a las partculas
j
lgicas (y, o, no, si... entonces, para todo, para algn), ha'podido
surgir una lgica no clsica, que HEYTING ha sido el primero
en formalizar (1930), ya la que llamaremos lgica constructiva.
Para una matemtica de tipo constructivo, slo esta lgica cons-
tructiva tiene realmente sentido. Por otra parte, tambin se han
encontrado varias posibilidades de reinterpretacin de las par-
tculas lgicas, de tal modo que pueda ser justificado el uso de
la lgica clsica. De ah que aquellos axiomaticistas que niegan
todo derecho de existencia a la matemtica constructiva pro-
clamen la exclusiva bondad de la lgica clsica.
De todo ello se deriva la necesidad de aclarar la relacin
entre lgica constructiva y lgica clsica previamente incluso al es-
tudio de la relacin entre aritmtica constructiva y axiomtica:
la aritmtica no es, en este contexto, otra cosa que el prototipo
de una teora constructiva. Respecto de la estrecha relacin
existente entre axiomtica y lgica clsica resulta hoy muy im-
portante lo siguiente : GDEL demostr6 (1930) que las fnnulas
lgicamente verdaderas son, precisamente, aquellas que en
cada sustitucin (de los smbolos de relacin por signos de re-
laciones particulares) se transforman en proposiciones verda-
deras. As es posible definir la verdad lgica de una frmula
dentro de una teora axiomtica de conjuntos. Esta no es sino
la definicin semntica de verdad lgica de TARSKI (1933).
Definicin que se ha revelado como muy til para la investiga-
cin de teoras axiomticas, en la medida en que quepa empren-
der este tipo de investigaciones dentro de una teora (axiomtica)
de conjuntos. Aunque, por otra parte, tambin la investigacin
constructiva de teoras axiomticas ha obtenido utilidad a me-
nudo de las investigaciones semnticas. Slo que, por lo general,
la teora de conjuntos ocupa un lugar muy secundario, de tal
modo que no resulta dificil darla completamente de lado. Con
lo que ya slo basta con tener en cuenta que la investigacin
axiomtica se sirve de la lgica clsica, teniendo, pues, la investi-
gacin constructiva que esforzarse todava por conseguir una
interpretacin constructiva de los resultados.
Con todo lo cual llegamos al final del camino que haba de
conducirnos al punto en el que es posible definir la metamate-
INTRODUCCION 17
mtica. Un camino difcil -al menos aparentemente- a travs
de todos los escollos que ha provocado la matemtica en su
crisis de principios. Habramos de revisar algn otro punto
conflictivo, tal como la relacin entre Lgica y lenguaje naturaL
por ejemplo, pero no es ste el Jugar ms adecuado. Podemos.
pues, definir ahora la metamatemtica, en lneas generales.
como la teora matemtica que se ocupa de las teoras axiomticas.
De ah que el trmino metamatemtica ya no haga referencia
--como ocurra en HILBERT- a la teora de la matemtica
(axiomtica)>>, sino a la matemtica de las metateoras. S{endo
una metateora, en este contexto, una teora (constructiva o
axiomtica) sobre las teoras axiomticas. En esta generaliza-
cin queda contenida todava, naturalmente, la metamatemtica
hilbertiana, siempre que las metateoras no se limiten a las axio-
mticas slo, como ocurre en la semntica de TARSKI, sino
que tomen en consideracin tambin las metateoras 'construc-
tivas.
El lenguaje del que nos vamos a servir en este libro para
llevar a cabo la investigacin, y exponer los resultados, es, en
todo momento, el de la matemtica constructiva. En la medida.
pues, en que se utilizan aqu las partculas lgicas del lenguaje
natural, stas mantienen siempre su sentido constructivo. Lo que
no supone una limitacin a la metamatemtica constructiva,
ya que cualquier investigacin axiomtica (aqu sobre las me-
tateoras axiomticas) puede ser perfectamente formulada en
este lenguaje. Se trata, en este caso, de proposiciones pertene-
cientes a una metateora constructiva. De todos modos, trata-
remos como metamatemtica todas las iteraciones de meta.
Incluso la utilizacin de la lgica clsica (en vez de la constructiva)
para una investigacin determinada no consiste en otra cosa
que en la aplicacin de ciertas normas --constructivamente de-
finibles- a las proposiciones, consideradas como series de signos.
y los resultados pueden ser comunicados asimismo en el lenguaje
de la matemtica constructiva.
El captulo 1 contiene una introduccin a la lgica clsica
y constructiva. Se ocupa, en particular, del problema de la tn-
terpretacin de las partculas lgicas. La completitud de la lgica
constructiva es probada constructivamente segn la interpre-
tacin operativa desarrollada por el autor. lntPrror",t ... ",;.(.-
18 METAMA TEMATICA
que es diferenciada ahora con toda precisin respecto de pro-
cedimientos anteriores gracias al uso que hace de dilogos
4
.
El captulo JI se ocupa de la formalizacin de la aritmtica
clsica a partir de PEANO, la semiformalizacin completa (es
decir, con la induccin infinita) de la aritmtica clsica y una
prueba constructiva de la consistencia que introduce la induccin
infinita en el Hauptsatz de GENTZEN.
El captulo 111 comienza definiendo la nocin de enumera-
bilidad (recursiva) como una precisin de la nocin de forma-
lismo. Con lo que son asimismo definidas las clases (recur-
sivamente) decidibles de frmulas. Los teoremas de la indeci-
bilidad de la aritmtica, y con ellos, el teorema de incompletitud
de GODEL, resultan inmediatamente despus de la prueba de
que todas las clases decidibles de nmeros son fielmente repre-
sentables en la aritmtica de PEANO (e incluso en la de ROBIN-
SON). A modo de complemento es incluido el teorema de GODEL
sobre la no-derivabilidad (de la consistencia formalizada).
En el captulo IV son probados, en primer lugar, los teoremas
de indecibilidad para ciertas teoras axiomticas. Para lo cual
se hace uso del captulo 111 y de la consistencia de la aritmtica
demostrada en el captulo 11. La prueba de los teoremas de
T ARSKI relativos a la decibilidad de los cuerpos algebraicos
cerrados y de los cuerpos reales cerrados es, por el contrario,
lgicamente independiente de los captulos II y III.
Este libro no pretende ser sino una introduccin a la meta-
matemtica. De ah que slo se haya aludido a los mtodos
generales de la investigacin de teoras axiomticas. Las inves-
tigaciones metamatemticas de teoras axiomticas especiales,
como ocurre en el captulo IV, son aducidas nicamente a ttulo
de ejemplo.
De ah que no sea tratado el problema inicial de HILBERT,
es decir, el de la consistencia del anlisis. En aquel caso se trata,
ciertamente, de sistemas especiales de axiomas de la teora de
conjuntos, cuyo estudio requiere mtodos particulares. Este
problema no pertenece ya, pues, a la metamatemtica general,
4. La presente versin de la Metamatemtica de LoRENZEN sigue el texto de
la 2.' edicin alemana de la obra (Mannheim, 1969), en la que su autor fija, de
manera exacta y definitiva, el sistema de reglas de los dilogos que en ella figuran.
(N. del T.)
\ ". ~ . _ - ----
INTRODUCCION 19
sino a la metateora de la teora de conjuntos, y su investigacin
presupone el conocimiento de la teora ingenua y axiomtica
de conjuntos. Desborda, por tanto, el marco de este libro. El
lector puede acudir, sin embargo, al libro de KURT SCHITE:
Beweistheorie, 1960, que contiene todo cuanto se saba en el
momento de su aparicin s.
KURT SCHTfE: Belfeistheorie (Teora de la prueba), Springer Verlag.
1960. (N. del T.)