Blanche Robert - La Axiomatica

LAAXIOMTICA
RobertBlanche
(1955)
Edicinelectrnicade
www.philosophia.cl/Escuelade
FilosofaUniversidadARCIS.
www. philosophia. cl / Escuel a de Fil osof a Uni versi dad ARCIS.
Ohmatemticasrigurosas!nolasheol
vidado desde que sus sabias lecciones,
dulcesomsquelamiel,sefiltraronen
micorazncomoondarefrescanteEn
mi espritu haba algo vago, un no s
qudeespeso,comoelhumo;pero,reli
giosamente, pude franquear las gradas
quellevanatualtar,ymehasdespojado
deesevelooscuro,almodoqueelvien
to con la niebla. Y han colocado en su
lugarunafrialdadexcesiva,unamesura
acabadayunalgicaimplacable.
LAUTRAMONT,LoscantosdeMaldoror

/2 /
NDI CE
I.LASFALLASDELAPARATOEUCLIDIANO........................................................................................ 4
1.INTRODUCCINGENERAL ......................................................................................................................... 4
2.LOSPOSTULADOS....................................................................................................................................... 5
3.LASFIGURAS .............................................................................................................................................. 7
4.LOSAXIOMAS ............................................................................................................................................. 9
5.LASDEFINICIONES ................................................................................................................................... 11
6.DEMOSTRACINYDEFINICIN................................................................................................................ 13
II.LASAXIOMTICASINICIALES........................................................................................................... 17
7.ELNACIMIENTODELAAXIOMTICA....................................................................................................... 17
8.LAANTERIORIDADDEUNSISTEMA ......................................................................................................... 18
9.INDEFINIBLESEINDEMOSTRABLES.LOSSISTEMASEQUIVALENTES......................................................... 20
10.LASDEFINICIONESPORPOSTULADOS.................................................................................................... 22
11.DOSEJEMPLOSDEAXIOMTICAS........................................................................................................... 24
12.LOSMODELOS.ELISOMORFISMO........................................................................................................... 27
13.CONSISTENCIAEINTEGRIDAD.DECIDIBILIDAD.................................................................................... 28
14.INDEPENDENCIA.ECONOMA................................................................................................................ 31
15.LOSSISTEMASDEBILITADOSOSATURADOS........................................................................................... 32
III.LASAXIOMTICASSIMBOLIZADAS............................................................................................... 33
16.SIMBOLIZACIN..................................................................................................................................... 33
17.FORMALIZACIN ................................................................................................................................... 34
18.DELRAZONAMIENTOALCLCULO....................................................................................................... 36
19.LAMETAMATEMTICA.......................................................................................................................... 37
20.ELLMITEDELASDEMOSTRACIONESDENOCONTRADICCIN ............................................................ 40
21.LAAXIOMATIZACINDELALGICA..................................................................................................... 41
22.LAMETALGICA.................................................................................................................................... 44
IV.ELMTODOAXIOMTICOENLACIENCIA................................................................................. 45
23.LASVENTAJASDELMTODOAXIOMTICO............................................................................................ 45
24.LAAXIOMATIZACINDELASMATEMTICAS ....................................................................................... 47
25.LAAXIOMATIZACINENLASDEMSCIENCIAS.................................................................................... 50
26.LOSLMITESDELMTODOAXIOMTICO................................................................................................ 52
V.ELALCANCEFILOSFICODELAAXIOMTICA.......................................................................... 56
27.LAFILOSOFADELASMATEMTICAS..................................................................................................... 56
28.LAFILOSOFADELACIENCIA................................................................................................................. 59
29.LAFILOSOFADELCONOCIMIENTO ....................................................................................................... 63

/3 /
I.LASFALLASDELAPARATOEUCLIDIANO
1.INTRODUCCINGENERAL
Lageometraclsica,deacuerdoconlaformaqueEuclidesledioensusElementos,
pas durante mucho tiempo como un modelo imposible de superar, y, al mismo
tiempo,deigualar,delateoradeductiva.Lostrminosquesonpropiosalateora
jams son presentados sin una definicin previa, las proposiciones no se citan sin
antes haber sido demostradas, con excepcin de un nmero reducido que s son
enunciadas,enprimerlugar,encalidaddeprincipios.Enefecto,unademostracin
nopuederemontarsealinfinitoydebebasarseenalgunasproposicionesprimeras,
perostashansidoescogidasdemodotalquenosubsistadudaalgunaenespritu
desusanojuicio.Noimportaquetodoloqueseafirmeseaempricamentecierto,
puesnoseapelaalaexperienciaparajustificarlo.Elgemetratrabajarecurriendo
sloalademostracinynicamentefundamentasuspruebassobreloqueyacon
anterioridad se encuentre establecido en tanto est de acuerdo con las leyes de la
lgica.Deestemodocadateoremaguardaunarelacinnecesariaconlasproposi
cionesdelascualesesdeducidocomounaconsecuencia,demodoque,pruebatras
pruebavaconstituyndoseunaredestrechaenlaque,directaoindirectamente,to
das las proposiciones se encuentran relacionadas entre s.As, el conjunto integra
un sistema del que no se puede sustraer o cambiar una parte sin comprometer el
todo.Deestemodo,losgriegosrazonaroncontodalacertezaposibleenelcampo
de las matemticas y heredaron al gnero humano los modelos del arte de la de
mostracin.
1
Mediante ellos la geometra dej de ser una coleccin de frmulas
prcticas, o, mejor dicho, de enunciados empricos, y se transform en ciencia ra
cional.Vienedeallesepapelprivilegiadoquenoselehadejadodereconocer.Si
seobligaalosniosaestudiarlanoesconelfindeensearlesverdadessinoconel
de disciplinar su espritu, pues se considera que su prctica ofrece y desarrolla la
costumbrederazonarrigurosamente.ComoescribiL.Brunsvichg:
2
Euclides,pa
ralasinnumerablesgeneracionesquesehannutridodesusustancia,quizhasido
menosunprofesordegeometraqueunodelgica.Ylaexpresinmoregeometrico
hallegadoasignificarmorelogico.

1
Leibniz,Nuevosensayossobreelentendimientohumano(1704),IV,II,p.13.
2
Lestapesdelaphilosophiemathmatique,cap.VI,p.49.

/4 /
Portanto,havenidopareciendocadavezmsque,sibienlageometraeu
clidianahabavenidosiendopormuchotiempoelejemplomsacabadoquesepu
dieradardeunateoradeductivaideal,elaparatolgicosobreelcualdescansaba
no era del todo irreprochable. Varias de sus fallas fueron apuntadas desde muy
temprano,peronofuesinohastaelsigloXIXquesemidiladistanciaexistenteen
treunaexposicintradicionalyunateoradeductivaideal.Unadelascaractersti
cas que mejor distinguen a las matemticas a partir de esta poca es, de hecho, el
acrecentamientoquesediosbitamenteporpreocuparsedelrigorlgico.Estudia
dadeestemodoconunrigornuevo,ladeduccingeomtricaclsicaaparecaco
modefectuosaennumerosospuntos.Sehicieronesfuerzosporcorregirlaylapre
sentacinaxiomticadelateoraesresultadodetalesesfuerzos.Originadaprinci
palmente como una reflexin sobre la deduccin geomtrica va desprendindose,
porlodems,precisamenteenrazndesucarcterlgicoyformal,desuconteni
dogeomtricoy,deestemodopuedepracticarsesobreunateoradeductivacual
quiera. Puede decirse que un sistema axiomtico o bien, una teora axiomtica es,
enestecontexto,laformadefinitivaqueenlaactualidadtomaunateoradeducti
va. En modo alguno puede decirse que es el sistema quimrico con el que Pascal
soabayqueestabadestinadoaesprituscolocadosmsalldelohumano,yenel
quetodoslostrminosquedarandefinidosytodaslasproposicionesdemostradas.
Sinomsbienunodondetodoslostrminosquedenexplicitados,ascomolaspro
posiciones que no estn demostradas. Estas ltimas quedan consideradas como
meras hiptesis con las cuales puede construirse las proposiciones del sistema de
acuerdoconreglaslgicasdeterminadasenformaperfectayexpresa.
Unmtodopareceafirmativosilasrazonesqueloimpusieronsondescono
cidas.Ylomejorparahacercomprensiblelafuncinquedesempealaaxiomtica
es, pues, en primer lugar, exponer inicialmente las fallas que se intenta remediar
(captuloI).Masrazonablementesedudaquelaaxiomticahayaalcanzadodesde
un primer momento su perfeccin. En rigor, las exigencias que la hicieron nacer
fueron,ensuturno,comoexasperadasporsuusoysevolcaronsobreellaparaem
pujarlacadavezmslejosenlarutaconlacualsehabacomprometido.Sinseguir
detalladamenteestatransformacinhistricaenformadetallada,sehacenecesario
distinguiralmenosdosetapasmayoresdesudesarrollo:laprimerapuedesituarse
afinalesdelsigloXIX(captuloII)ylasegundaseiniciaenlosaosveintedelsiglo
XX(captuloIII).Seintentardemostrarlosalcancesdeestemtodoporsuusopro
piamentecientfico(captuloIV)ascomoporsusimplicacionesfilosficas(captu
loV).
2.LOSPOSTULADOS

/5 /
Lo que inicialmente mortific a los lectoresde Euclides, amigosdel rigor, fue que
intervinieranlospostulados.Nosetrataba,enprimerlugar,delostrespostulados
queencabezanlosElementos,juntoalasdefinicionesylosaxiomas,ycuyocarcter
operativoesmuygeneralyque,adems,tienenelnicoobjetivodesealarquese
permitirnconstruccionesrecurriendoalareglayelcomps.PerounavezqueEu
clides inicia su cadena deductiva, al hacer una demostracin, y por necesidad de
sta,recurreaunaproposicinmuyespecialquesolicitaleseaconcedidasinotra
raznqueconsiderarlaunaespeciedellamadoalaevidenciaintuitiva.Deestemo
do, para justificar su proposicin 29 se hace necesario aceptar que, por un punto
fueradeunarectanopuedepasarsinounasolalneaparalela.Lasimetraqueapa
rentementeexisteentrelaproposicinmediantelacualseenunciaqueporunpun
topasa,almenos,unaparalelaalarecta,proposicinestablecidapormediodeuna
demostracin(elteoremadelaexistencia),lacualenunciaque,porlomenos,pasa
una (postulado de la unicidad), converta en an ms inaudita la asimetra de las
justificaciones.Elpostuladoreferente alas paralelasseconvertadeestemodo en
un eslabn ajeno al sistema; como un recurso cuyo fin era llenar una laguna del
encadenamiento lgico. A ojos de los gemetras tomaba la forma de un teorema
emprico de cuya certeza no se dudaba, pero del cual an no se contaba con una
demostracin.Losestudiososalejandrinos,rabesymodernosintentaron,alolar
godeltiempo,tratardeencontrarlademostracin,perosuanlisisllevabainvaria
blemente a la conclusin de que las demostraciones sucesivas tenan como base
otrasuposicinconfrecuenciaimplcita.Slosecambiabadepostulado.Esconoci
dalaformacomolafrustracinnacidadelintentodelograrunademostracindi
rectadiolugaraqueseintentaraunademostracinmedianteelabsurdo,quepron
totuvofin,recurriendoalainversindelpuntodevistaenlasprimerasgeometr
asnoeuclidianas.
Elalcanceepistemolgicodelasnuevasteorashasidoconsiderable.Enfor
maparticular,contribuyeronengranparteacambiarelcentrodeintersdelageo
metraespeculativa,llevndolodelcontenidoalaestructura,delaverdadintrnse
cadelasproposicionesaisladasalacoherenciainternadeunsistematotal.Lasu
madelosngulosdeuntringuloesigual,menorosuperioraladedosngulos
rectos?Ungemetradelaantigedadhubieraafirmadoquelocorrectoeralopri
meroyquelosotrosdoscasoseranfalsos.Ungemetramodernoconsideraquese
tratadetresteoremasdistintosquenoseexcluyenentres,sinonicamentedentro
de un mismo sistema, ya sea que el nmero de paralelas sea considerado igual,
superioroinferior
3
auno,yqueinclusopuedensertoleradosdentrodeunsistema
debilitado o ms general, en el cual el nmero de paralelas posibles se mantenga

3
Elteorema,queesmencionadoenlapginaanterior,yqueestablecelaexistenciadelaparalela,
postulaqueunarectasepuedeprolongarindefinidamente,locualbienpuederechazarse.

/6 /
en suspenso. Que en nuestra escala la experiencia verifique una y slo una de las
tresproposicionesconciernesloalusoprcticodelaciencia,peronoalaciencia
puraydesinteresada.
La idea as aparecida con motivo de la teora de las paralelas, necesaria y
naturalmente necesita extenderse a todo el conjunto de los postulados. Vemos de
estemodocmosedisocianlosdosaspectosdelaverdadgeomtricahastaenton
cesmezcladosdesusadamente.Unteoremageomtricoeraconsideradoalavezco
mouninformeacercadelascosasyunaelaboracindelespritu,unaleydelafsi
caypartedeunsistemalgico;unaverdadacabadayunaverdaddelarazn.De
estasparejasparadjicaslageometratericahaceaunlado,decididamente,elpri
mer elemento que asigna a la geometra aplicada. Para los teoremas no existe ya
unaverdadapartey,pordecirloas,unaverdadatmica.Suverdadresidenica
menteensuintegracinalsistema.Esporesoquealgunosdelosteoremasquese
consideran incompatibles entre s pueden ser verdaderos siempre que queden
referidosasistemasdistintos.
Y,enloquerespectaalossistemas,nosetratayadequestosseanverdade
ros o falsos, sino exclusivamente en el sentido lgico: coherencia o contradiccin
interna. Los principios que los rigen no constituyen sino meras hiptesis en la
acepcinmatemticadeestetrmino.Slohansidosentadosmasnodemostrados,
nosondudosos,comoeselcasodelasconjeturasdeunfsico,sinoqueseencuen
tran ms all de lo verdadero y de lo falso, como una decisin o una convencin.
La verdad matemtica toma de este modo un carcter global, el de un contenido
vastoenelquelaunificacindetodoslosprincipiosconstituyeelantecedentey,el
detodoslosteoremas,elconsecuente.
Dentrodelainterpretacincomnycorriente,unademostracinmatemti
caeracategricayapodctica.Afirmaba:estosprincipiossonverdaderosabsoluta
menteylaproposicinquedeellosdeduzcoes,enconsecuencia,tambinverdade
ra.Aristtelesladenominelsilogismodelonecesario.Enlaactualidadafirma
que slo si se da arbitrariamente por sentado tal conjunto de principios, stas son
lasconsecuenciasque,formalmente,resultan.Lanecesidadnoradicamsqueenel
lazolgicoqueunelasproposicionesyseharetiradodeellas.Lasmatemticasse
hanconvertido,enpalabrasdePieri,enunsistemahipotticodeductivo.
3.LASFIGURAS
Segn Euclides, el postulado de las paralelas invocaba, claramente, a la intuicin

espacial,sibienaparentementeexcepcional.Dehechoseleinvocaalolargodeto
daslasdemostraciones,porloquePoincarpodadecircontodajusticiaqueenesa
construccinenorme,enlaquelosantiguosnoencontrabanfallaalgunadecarc

/7 /
ter lgico, todas sus partes se deben a la intuicin. Y, en cierto sentido, nada era
ms manifiesto, como lo atestiguan las mismas figuras. Pero en el texto no queda
estoexpresadotanclaramente,sinoquehacecreerquelasfigurasnoseencuentran
all como meros auxiliares del razonamiento, y que, de cierto modo, duplican la
demostracinlgicarecurriendoaunailustracinapreciablesinqueleseanindis
pensables.No hay nada de eso.Elimnese la figura, trazada o imaginada, y la de
mostracincaeportierra.NovayamosmsalldelaprimerademostracindeEu
clides que constituye un problema: construir un tringulo equiltero sobre el seg
mentodelarectaAB.TracedoscrculoscuyoradioesAB.Elcentrodeunodeellos
esA y el del otro B. El punto de interseccin M, cuya distancia deAB es el radio
AB,constituireltercervrticequesebusca.Peroparaquiennoveonoserepre
senta mentalmente tal figura la demostracin no es completa: cmo puede uno
sabersilosdoscrculossecortan?LaexistenciadelpuntoMhasidomostrada,no
demostrada.
Mucho se ha discutido acerca de si tomar en cuenta las figuras resultaba
esencial a la especulacin geomtrica. Si se toman como modelo las demostracio
nesgeomtricasclsicasresultaentoncesciertoquelaintuicinlacontemplacin
y la propia construccin debe intervenir. Esta era, como es sabido, una de las
tesissobrelaqueKantconstruylabasedesuCrtica,enlaquedeca,dseaun
filsofo la idea del tringulo, considerar las ideas ms elementales acerca de la
lnearecta,delngulo,delnmero3,yjamsdescubrirconloanteriorquelasu
madesusngulosseaigualadosngulosrectos.Formleseahoraelproblemaa
ungemetra:formaruntringulo,prolongarunodesuslados,etc.,yobtendrel
resultado mediante un encadenamiento de razonamientos guiado continuamente
por la intuicin. Tesis semejantes han sido retomadas por Cournot, Goblot y, ms
refinadamente,porlosmatemticosintuicionistasmodernos.Noobstante,esposi
blellegaraotraconclusin:siseconsideraqueelllamadoalaintuicinconstituye
una falla dentro de una construccin que ha sido presentada como lgica, uno se
propondrcorregirlosmtodosclsicosdedemostracindemodoquesesustituya
laintuicinporsuequivalenteintelectual,locualporlodemsleresultanecesario
dentrodelasnuevasgeometrasenlasquelosespaciosnosedejanyarepresentar
porlaintuicin.
Cuandosehacenecesariorecurriralasfiguras,estosehaceclaroporquere
sultaevidentequeelojodicecosasqueeltexto,quesedirigesloalainteligencia,
sobreentiende.Estallafuerzadelaintuicinquenosehacesentirsuausencia.Por
ejemplo,nohaceniunsigloquesehizonotarqueenpartealgunaEuclidesenun
ci la proposicin siguiente y que, sin embargo, no deja de utilizar: si una recta
tienedospuntosdentrodeunplano,stelacontieneensutotalidad.Enlasexposi
cionesdelageometraclsica,unanlisisatentologradescubrirunagrancantidad
deproposicionesimplcitas.Enprimerlugarlasdeexistencia,laposibilidaddeela

/8 /
borarladentrodelaintuicindemuestra,seguramente,quelaideadelaquesetra
tanoincluyeunacontradiccin.Perosetratadeunapruebadehechoynodeuna
justificacinracional.Acontinuacin,lasproposicionesreferidasalacongruencia,
y que se encuentran implicadas en operaciones diversas a las que el gemetra se
entregamentalmente,comohacerretrocederunafiguraparahacerlacoincidircon
sutrazo.EnlosElementosnoseenunciaenformaexpresamsqueunasolapropo
sicin de esta naturaleza y que, por otra parte, se encuentra clasificada entre los
axiomas. Mencionemos tambin las proposiciones en las que se enuncian propie
dadestopolgicas,estoes,lasqueserefierenalordenylacontinuidad,dejandode
ladotodaconsideracinalosngulosyalamtrica.
4
EuclidesysuscontinuadoreshastaelsigloXIXsilenciaronporlogeneralta
lespropiedadesemplendolas,noobstante,acadapaso,pueslafiguralassugera
suficientemente.Quedaclaroqueunmtodorigurosonopuedepermitirquelain
tuicin se emplee continuamente como un recurso, sino que demanda que todas
las propiedades supuestas se enuncien claramente como proposiciones, aquellas
que queden demostradas sern consideradas como teoremas y las restantes au
mentarnelnmerodelospostulados.
4.LOSAXIOMAS
Alladodelospostuladossecolocan,porlogeneral,losaxiomasparacompletarlos
principiosdelageometra.Sonelotronombrequesedaalasnocionescomunes
y a las definiciones de Euclides. Desde el punto de vista de la lgica tal ordena
mientoquedajustificado?
La diferencia entre axioma y postulado ha sido, con frecuencia, poco clara.
Comnmente ambas expresiones fueron, y siguen siendo, tomadas indiferente
menteunaporotra.Pruebadeestoeselmismonombredelaaxiomticaque,sin
duda,podrallamarse,conmayorprecisin,postultica.Loseditoresdeloslibros
de Euclides encabezan los Elementos con aquellas propiedades que el griego
postul a lo largo de sus demostraciones, y las han colocado tanto a continuacin
delaspeticionescomodespusdelasnocionescomunes.Enlamedidaenque
se diferencia del postulado, el axioma comprende en primer lugar la idea de una
pruebaintelectual.Entanto,elpostuladoconstituyesiempreunaproposicinsin
tticacuyacontradictoria,difciloimposibledeimaginar,queda,detodasformas,
como algoconcebible; el axiomasera una proposicin analtica que resultara ab

4
Consideremosunafiguradibujadasobreunalminadehule,lacualsepuedadoblaryestirar.Las
propiedadesdelafiguraquesemantienensinvariacinsonlastopolgicas.Porejemplo,decuatro
puntossituadossobreunacurvacontinuayabierta,siCseencuentraentreAyD,ysiBentreAy
C,entoncesBseencuentraentreAyD.

/9 /
surdonegar.Adems,sufuncinseraexclusivamenteladeunprincipiopuramen
teformalqueregularaelpasodelrazonamientoaunquesinofrecerle,alcontrario
de los dems principios, sustento alguno. Estas dos ideas se conjuntan en la tesis,
propalada por mucho tiempo aunque nunca justificada mediante un anlisis
exacto,queconvertaalosaxiomasenmerasespecificacionesdelasleyeslgicas
queseaplicanalacantidad.
Ahorabien,laideadeevidenciadespiertacadavezmsladesconfianzadel
matemtico. El sentimiento de evidencia resulta engaoso y su dominio vara de
acuerdo con el temperamento intelectual de cada quien. Si uno intentara buscar
apoyoenl,losespritusinclinadoshacialointuitivosolicitaran,indudablemente,
que ms de una demostracin fuera suprimida; que, para ellos, resultara menos
evidente el teorema que justifica tal demostracin. Aquellos que fueran ms exi
gentessenegaranareconocercomoincondicionalmentenecesariotalteorema.Re
sultaciertoquealgunosaxiomaseuclidianoshanexperimentadounaciertadegra
dacin: uno de ellos el que enuncia que el todo es mayor que la parte y, que en
ciertosentido,noesvlido
5
sinoparalosconjuntosquesonconsideradosfinitos,y
quepodraservir,comohasidosugerido,paradefinirtalesconjuntos.Deestemo
do,nosetratayadeunaproposicinanalticasinodeunaconvencindestinadaa
delimitaruncampodeterminadoyalaquenoestsujetaelespritu.Porotrapar
te,elpapelquesehahechodesempearalaevidenciaporuntiempobastantelar
goseencuentraligadoalidealdelasmatemticascategricas,dentrodelascuales
aquello que no est demostrado debe, de algn modo, demostrar sus ttulos para
ser considerado verdadero. Esto queda afinado dentro de una idea hipottico
deductivacuyocentroeslacoherencialgicamsquelaverdadabsoluta.Alcolo
cardeestemodoenprimerplanolaideadesistema,sehacenecesarioreduciraun
nmero menor las proposiciones independientes. Pero si uno se empea de este
modoenlademostracindelossistemas,estosehaceconunespritumuydistinto
al que inspir a Leibniz cuando se formul la misma exigencia, puesto que no se
tratayadereducirlosaproposicionesidnticasconelfindehacerresplandecersu
evidencia,sinomeramentedereducirlabasedelsistemaalmnimohaciendoapa
recerlosprincipiosdeloscualessederivarnlossistemasenformaintuitivayme
nosevidentequeaqullos.
Estasltimasconsideracionestienenvalor,ciertamente,enloqueserefierea
laverdadmaterialdelasproposicionesypierdenfuerzaalseraplicadasalosprin
cipios formales o reguladores. La teora clsica carece an de claridad sobre este

5
Dentrodelsentidoenelcualesmayorque,seentiende:tieneunapotenciasuperiora(vase
lanotadelinciso26).As,elaxiomadejaenefectodevalerparalosconjuntosinfinitosdentrodelos
cuales,noobstante,eltodocontieneenexcesoalaparte.

/10 /
punto.Colocalosaxiomasensituacinintermediaentrelasproposicioneslgicasy
lasgeomtricas.
Las primeras tienen carcter regulador y se refieren a la cantidad al igual
quelassegundas.Pero,obienpuedenserobtenidasmediantelaaplicacindelos
principiosdelalgicaalasideasinicialesdelasmatemticasy,enesecasohacerlo
eliminndolasdelnmerodelasproposicionesprimerasdelageometraycontar
las como meras proposiciones de lgica aplicada; o bien se rebelan contra esta
reduccinysuresistenciasehacemanifiestaensucarcterdepostulados.Convie
ne,entonces,disociarlossistemasdemodoquepartedeellospasealospostulados
ylaotraquedefueradelageometra.Nolesquedaryalugarentrelosprincipios
delageometra,almismonivelyjuntoalospostulados.
5.LASDEFINICIONES
Conmenorraznesnecesarioincluirlasdefinicionesentrelosprimerosprincipios.
Puedeencontrarseaquunerrorlgicoconsiderablequeunmomentodereflexin
basta para disipar. Queda justificado el recurso de las proposiciones primeras de
invocarlaimposibilidaddequetodopuedaserdemostrado.Olasmismasrazones
que pueden hacerse valer para una demostracin tienen el mismo valor para la
definicin.Untrminosedefinemedianteotrostrminosystos,asuvez,median
teotrostrminos,demodoqueparaimpedirqueseproduzcaunaregresinalinfi
nitosehacenecesariodetenerseenalgunostrminosannodefinidos,delmismo
modo que las demostraciones necesitan apoyarse en algunos trminos an no de
mostrados. Estos trminos irreductibles constituyen, por retomar una proposicin
de Russell, una especie de alfabeto geomtrico. Sirven para deletrear, esto es, en
trancomoelementosparacomponerlasdefiniciones,massonindefinibles,ystos
sonlosqueesnecesarioenunciaralfrentedelateoradeductivaydeningunama
nera las definiciones que intervendrn, ms tarde, para sustituir con un trmino
nuevo y ms simple, una expresin elaborada, en forma directa o por medio de
definicionesintermedias,mediantelaayudadelostrminosprimeros,delamisma
forma en que intervienen las demostraciones para justificar proposiciones nuevas
conayudadelasproposicionesprimeras.
6
Delmismomodo,lasdefinicionesinicialesdeEuclidesslotienendedefi
nicioneslaapariencia.Puedenreducirseamerasdescripcionesempricassemejan
tes a las de un diccionario cuyo objeto fuera dirigir el espritu a la idea de que se
trata.Propiamentesetratadedesignaciones.Esporestoquecasinologransatisfacer

6
Tal analoga funcional entre definicin y demostracin fue bien apuntada por Pascal en su De
lespritgomtrique.

/11 /
lafuncinquealparecerselesasigna,ladeenunciarpropiedadesfundamentales
que se utilizarn con el fin de obtener a partir de ellas todas las dems dentro de
lasquefigurareltrminodefinido.
Euclideshaceladefinicinsiguientedelalnearecta:laquedescansaigual
mentesobresusdospuntos.Hernlasustituyeconlasiguientedefinicinalpare
cer ms clara: el camino ms cercano o ms corto entre dos puntos. Leibniz hace
notar con toda razn que en la mayora de los teoremas que se apoyan sobre la
lnearectanosehaceusodeningunadeesasdospropiedades.As,porunaparte,
talesdefinicionesresultansuperfluasy,porlaotra,ocultanlaausenciadelaspro
posiciones que enuncian las propiedades tiles, como la siguiente, que explicarn
posteriormenteloseditoresdeEuclides:dosrectasnoencierranunespacio.Talfal
ta de acuerdo entre las propiedades enunciadas en la pseudodefinicin y las pos
teriormenteutilizadasconefectividad,integranunafaltadelgicaqueresultamuy
gravepueshacenacerlasospechaacercadelaidentidaddelanocin.Qupuede
asegurarnos que la lnea recta de la que hablan los teoremas sea la misma que se
demandabapresentaraladefinicin?
Las exposiciones clsicas de la geometra, ya se trate de definiciones falsas
inicialesodedefinicionesverdaderasulteriores,ydichoestoenformageneral,co
metenconfrecuenciaelerrordepresentarcomofrmulasenaparienciasimplesy
en las que se mezclan dos enunciados de naturaleza totalmente distinta, una pro
posicinyunadenominacin.Nocabedudadequeenestaconfusinseencuentra
elorigendelatesispropagadadurantemuchotiempoysegnlacuallasdefinicio
nessonlosprincipiosfecundosdeloscualeslosteoremasobtienentodasusustan
cia.Vaseladefinicinnmero15deEuclides:uncrculoeslafiguraplanatermi
nada por una lnea tal que todas las lneas rectas que la unen en un determinado
punto interior a la figura son iguales entre s. Esto quiere decir dos cosas: 1) es
posibleterminarunafiguraplanaporunalnearectatalque,etc.,y2)sedenomi
nar crculo a una figura tal. Este ltimo enunciado, para el que sera ms propio
guardar el nombre de definicin, dado que el primero es, de hecho, una asercin,
perteneceexclusivamenteallenguajey,enrigor,noaportauncontenidonuevoala
cienciadelageometra.Setratadeunadecisinodeunaconvencinqueacortael
discursoyqueporlotantopuedejustificarseporsucomodidadaunquenotenga
nadaqueverconlaverdad.No sesiguedeaquque, arbitrariamente,puedauno
afirmarlaproposicincorrespondiente:aquellaesverdaderaofalsay,enestecaso,
origendeverdadesocontradiccionesposteriores.As,sisedescartaelllamadoala
intuicin,bastanteclaro,considerndoloinadecuado,sehacenecesariodemostrar
lacomoteoremaoestablecerlacomounpostulado.
La utilidad de esta exigencia lgica se ver mucho mejor si la definicin
renebajoelmismotrminounnmeromayordepropiedadesheterogneas,pues
deestemodonobastaquecadaunadeellasseaposible,sinoqueresultanecesario

/12 /
que, dentro del conjunto, sean integrables. Si uno no confirma su compatibilidad
queda expuesto a cometer lo que fue denunciado como error de definicin com
plejadeacuerdoconSaccheri,comosiseintentaradefinirunpoliedroregularcu
yascarasfueranhexgonos.
6.DEMOSTRACINYDEFINICIN
De este modo, parece ser que en el punto de partida de una teora deductiva que
hayasidopensadademodoquesatisfagalasexigenciaslgicas,figurarnnoslo
lostresprincipiostradicionales:definiciones,axiomasopostulados,sinodepropo
sicionesnodemostradasqueenformaindiferentepodrnserdenominadasaxio
masopostuladosylostrminosnodefinidos.Todoeltrabajoposteriorconsistir
enelaborarapartirdeahnuevasproposicionesquedebernserjustificadasrecu
rriendo a demostraciones y trminos recin acuados fijados mediante definicio
nes. Demostracin y definicin son, en consecuencia, las dos operaciones funda
mentales por medio de las cuales puede desarrollarse una teora deductiva. Pero,
qucondicionesdebellenarunabuenademostracinounabuenadefinicin?Tal
cosadependerdelfinasignadoaestasoperaciones.Y,ahondandoenestepunto,
lasexposicionesclsicasdelageometraconfrecuenciacarecendeclaridad.Parece
que se proponen, al mismo tiempo, dos cosas distintas que no necesariamente se
concilian.Enestecaso,sinduda,laconfusinnopuedeimputarseaEuclidessino
al ya muy prolongado uso pedaggico que se ha hecho de sus trabajos. Pero se
tiendetambinamantenereserasgodelageometraclsicadeintentarunirlaver
dad material de las proposiciones con la verdad formal de su concatenacin, la
exactitudempricayelrigorlgico.
Si se coloca en primer plano la verdad del contenido, la demostracin y la
definicinseconviertenensimplesmediosparaestablecerla.Elpapelquedesem
pear la demostracin ser el de hacer concebir con toda precisin el sentido de
los trminos que integran las proposiciones; y el de la demostracin hacer que se
admita la verdad de stas. De este modo puede decirse que la definicin y la de
mostracindependen,hablandoconpropiedad,delaretrica,ysufuncinresulta,
esencialmente, psicolgica, ya sea pedaggica o didctica. Por lo contrario, en la
otra hiptesis slo tienen una funcin lgica, la de reunir todos los trminos y to
daslasproposicionesdemodoqueintegrenunconjuntosistemtico.Quedaclaro,
desdeelprincipio,quelasdosexigencias,eficienciapsicolgicayrigorlgico,tiran
enocasionesendireccionesopuestas,puestanprontosevinculaunoalaprimera,
elvalordeunademostracinodeunadefinicinsehacerelativoeinclusodoble
mente relativo. Una demostracin o una definicin no pueden ser ms buenas o
msmalassinoslomejoromenosbuenaqueotra,ytalcualidadvaradeacuerdo

/13 /
conellectoroeloyente.Entrminospedaggicos,ladefinicinolademostracin
buenaeslaqueelalumnoentiende.Yestonospuedellevarmuylejos:paraunni
o la definicin verdadera de una elipse no es la que aprende de memoria, sino
quesepareceramsaloqueexpresaracomouncrculoalargado.Lademostra
cinbuenanoeslaqueapuntaensucuadernosinolafiguraquevaacompando
la.Sielargumentomseficazessloeldelademostracinbuena,dndetendr
uno que detenerse? Es conocida la ancdota del preceptor de un prncipe que, al
ver terminados sus recursos, hizo que su teorema fuera admitido al exclamar con
irritacin:Seormo,osdoymipalabradehonor!
Todopareceindicarque,entrelosmismosmatemticos,ambasfuncionesno
siemprehanestadodisociadasenformaclara.Deotromodonoseentenderaque
msdeunohayacompartidoelasombroqueprovocaenellegounademostracin
de Euclides: por qu ese afn de convencernos mediante un razonamiento difcil
deasuntosdelosqueestamosperfectamenteseguroso,tambin,dedemostrarlo
msevidenterecurriendoalomenosevidente?LaLgicadePortRoyalcuentaen
trelosdefectosquedeordinariopuedenencontrarseenelmtododelosgeme
tras, probar cosas que no requieren de prueba. Algunos buscan explicaciones y
excusas, entre ellos Clairaut:
7
Que Euclides se tom el trabajo de demostrar que
doscrculosquesecortannotienenelmismocentro,yqueenuntringuloquese
encuentraencerradoenotrolasumadesusladosesmspequeaqueladeltrin
gulo que lo encierra. Uno no debe sorprenderse de esto, pues este gemetra tena
queconvencerasofistasmuytercosquegustabanlucirserechazandolasverdades
ms evidentes. En consecuencia, resultaba necesario que la geometra tuviera, al
igualquelalgica,laayudaderazonamientosdemalafeYaadeClairaut:Pero
actualmentelascosashancambiadoytodorazonamientoquecaedentrodeloque
elbuenelbuensentidohadecididodeantemanoresultahoyenunapuraprdida
ysloresultaadecuadoparaoscurecerlaverdadymolestaraloslectores.Lamis
maideafundamentaldelpapelquedesempealademostracinpuedeencontrarse
enelfilsofoSchopenhauerquien,conmenosindulgencia,considerafrancamente
absurdoelmtododeEuclidesysumanadesustituirlaintuicinporeldiscur
so.Afirmaqueestoescomosiunhombresecortaralaspiernasparapodercami
narconmuletas.
Noobstante,elabsurdoqueallseencuentra,nodeberahacernossospe
characercadesiprobablementeunoseequivocaconrespectoalasintencionesde
Euclides? Que sea posible, como lo hace Pascal, observar el razonamiento geom
tricocomounmodelodelartedeconvencer.lmismopartedelhechodequeper
suadirnoquieredecirqueesoseasufuncinprimerayesencial.Sabemosenefecto
quemuchasdelasproposicionesdeEuclideseranyaconocidasantesdequellas

7
lmentsdegomtrie,1741,apud,F.Gonseth,Lagomtrieetleproblmedelespace,t.II,p.141.

/14 /
expusieraycasinoexistedudaalgunadequetodoslosexpertoslashayanconside
radoverdaderas.Slorequeranserorganizadasenformalgica,unirlasmediante
unamallabiencerrada.Euclides,alparecer,esloqueintenthacery,entodocaso,
loquehizo.Taleselpropsitocadavezmsafirmadoporelmatemtico.Desde
lostiemposdeClairautlascosashancambiadodeaspectonuevamente.Dentro
del sistema de todos los juicios verdaderos, escriba Bolzano, impera una cone
xin objetiva que es independiente respecto a la contingencia de que la conozca
mos de manera objetiva; y por tal conexin ciertos juicios constituyen la base de
otros.
8
En adelante, ir desprendiendo tales conexiones objetivas pareca ser el fin

verdaderodelateoradeductiva.Altiempomismoquelacertidumbresubjetivase
dejaaunladolaverdadmaterialdelasproposiciones;deestemodolasmatemti
casseconviertenenhipotticodeductivas.DesdelosiniciosdelsigloXIXlasepara
cinentreambasconcepciones,lacienciaylademostracinmatemtica,fuesea
lada en forma perfectamente clara por Dugald Stewart
9
filsofo olvidado por el
descrdito en que cay la escuela escocesa: En las matemticas nuestros razona
mientos no tienen ya como fin comprobar verdades acerca de existencias reales,
sinodeterminarlafiliacinlgicadelasconsecuenciasquesederivandeunahip
tesisdeterminada.Siapartirdeestahiptesisrazonamoscontodaexactitud,queda
manifiesto que no le podra faltar nada a la evidencia del resultado, pues ste se
limitaaafirmarunenlacenecesarioentresuposicinyconclusinDetalespro
posicionesnopuededecirsequeseanverdaderasyfalsasporlomenosenelsentido
enquesedenominaproposicionesrelativasaloshechosCuandosedicedeestas
proposicionesqueunassonverdaderasylasotrasfalsas,talesadjetivoscalificanslo
su conexin con los data, no su relacin con las cosas que existen en la realidad o
conacontecimientosfuturos.
Delmismomodoqueladefinicinsemueveentreserunafuncinpsicolgi
ca(laformadedeterminarelasentimiento)yunafuncinlgica(organizarenun
sistemalasproposiciones),tambinladefinicinsecolocaenocasionesdentrodel
planodepensamiento,enotraseneldeldiscursoy,conmuchafrecuencia,intenta
hacer ambas cosas. Se dirige, tal como lo sugiere su nombre, a delimitar la com
prensin de una idea, pero tambin a sentar una equivalencia lgica entre un tr
minorecinacuadoyelconjuntodetrminosyaaceptados,deestemodoelme
dio se transforma en un nuevo fin que se aade frecuentemente al primero, pero
sineliminarlo.Vienedeaqulaconfusinquepuedeobservarseenlasmatemticas
casi contemporneas. Recordemos la burla que hizo Poincar acerca de la defini

8
PhilosophiederMathmatik,1810,apud,Cavaills,Mthodeaxiomatiqueetformalisme,pp.4647.
9
lments de la philosophie de lesprit humain, vol 1I, 1813, traduccin del alemn al francs de L.
Peisse.Lossubrayadossondelautor.

/15 /
cin del nmero 1 en la aritmtica que se encuentra simbolizada en la Escuela de
Peano: Se trata de una definicin que es eminentemente muy propia, afirma
irnicamente,
10
paraquienesjamshayanodohablardeestenmero!
Uno de los primeros beneficios que se obtendrn a partir del mtodo
axiomtico ser el de eliminar tales confusiones al separar las matemticas puras,
quesonunacienciaformal,delasmatemticasaplicadas,quesonunacienciadelo
real. O, por decirlo en trminos ms claros, obligando a que se tome partido y se
escojaentredoslecturasdeunamismateoramatemtica,yaseaqueunoseintere
seenellaporcoherencialgicaocomoverdademprica.

10
Scienceetmthode,p.168.

/16 /
II.LASAXIOMTICASINICIALES
7.ELNACIMIENTODELAAXIOMTICA
Entantoquelageometraintentaba,recurriendoasusproposicionesensearver
dades,laformaracionalquesehadadoalapresentacindelacienciapodratener
la apariencia de una especie de refinamiento intelectual, considerndose entonces
el encadenamiento lgico slo como el medio para lograr proposiciones verdade
ras,obienquefueranaceptadasajustndoseaunasuertedeargumentacinretri
ca ex praecognitis et praeconcessis que haca aceptable algunos defectos de rigor,
puestoquestoseransuplidosporlaintuicin.Assealcanzabaelresultadoyno
secomprometalacertidumbredelaciencia.Lapluralidaddegeometrasexisten
tesenlaactualidadhacequenoocurraahoralomismo,dadoquesepierdeinters
enlaverdadmaterialdelcontenido,ylavalidezdeunageometrasehacedescan
sarsobrelaarmaznlgicaycualquierfaltahacequestasederrumbe,puestoque
sonvioladaslasreglasdeljuegosiunoseapoyaenlaintuicin.
Otra razn impulsaba en el mismo sentido incuso a aquellos que continua
bandandoimportanciaesencialalaverdadextrnsecadelasproposiciones:lades
confianzacrecientequeprovocabalaintuicinespacial.Todalahistoriadelageo
metraestestigodelatendenciacontinuaalimitarmsymssusalcancesyaha
cercrecer,enproporcin,susexigenciaslgicas.EnelsigloXIX,laaritmetizacin
del anlisis imprimi a este movimiento una aceleracin considerable a la que
contribuyelsurgimientodelasgeometrasopuestasalaintuicin.Deestemodo
seprodujeronapartamientosnotablesentrelassugerenciasmentirosasdelaintui
cinyloquelademostracinnosenseabasinquecupieraduda.Unaproposicin
que todos tomaban por verdadera apareca equivocada, y otra que hubiramos
aceptado sin vacilar debera ser probada. Por citar slo dos ejemplos famosos,
resulta falso que a una lnea curva continua siempre se le pudiera trazar una tan
gente(Weiertrass);tambinpuedeserciertoqueunalneacurva,quenotenganin
gunaanchura,puedacubrirlasuperficietotaldeuncuadrado(Peano).
Pasch, en 1882, intent lograr la axiomatizacin inicial de la geometra. Si
bien la solucin que ofreci presenta una cantidad considerable de fallas, debidas
enbuenaparteaqueelautormantuvolamismaactituddelempirismoclsico,al
menosplanteaclaramenteculeselproblema:Resultanecesarioparaquelageo
metra logre transformarse en una ciencia deductiva, que el modo de extraer una
consecuencia sea, en todas sus partes, independiente de la idea del concepto geo

/17 /
mtrico. Al hacer una deduccin, bien puede resultar conveniente y til razonar
acerca del significado de los conceptos de la geometra ms usuales, pero esto de
ningunamaneraesnecesariocuandoenladeduccinsepresentaunalagunay(sino
esposiblesuprimirtallagunaalterandoelrazonamiento)silasproposicionesque
hansidotomadascomomediosdepruebaresultaninsuficientes.
11
Ponemos a continuacin las condiciones fundamentales que, para que se le

considereverdaderamenterigurosa,debellenarunaexposicindeductiva:
1) Quelostrminosprimeros,conloscualesseproponeunodefiniratodoslos
otros,seanenunciadosclaramente.
2) Que las proposiciones primeras, con las cuales se propone uno demostrar
todaslasotras,seanenunciadasclaramente.
3) Que las relaciones que se enuncien entre los trminos primeros sean slo
relaciones lgicas y que se mantengan independientes del sentido concreto
quepuedadarsealostrminos.
4) Queseansloestasrelacioneslasquepuedanintervenirenlasdemostracio
nesenformaindependientedelsentidoquetenganlostrminos(estoproh
be, particularmente, tomar en prstamo cualquier cosa concerniente a la
consideracindelasfiguras).
8.LAANTERIORIDADDEUNSISTEMA
LasreglasestablecidasporPaschconllevanladistincinclaraentretrminosypro
posicionespropiasalsistemaaxiomatizadoyaquellosque,lgicamente,lesonante
riores.Si,porejemplo,estamostratandoconlageometra,lostrminospropiamen
tegeomtricosquefigurenenlasproposicionesprimerasnopueden,porsupuesto,
formarproposicionessalvoenelcasodequeseencuentrenunidosentreellospor
palabrasquedesempeenunafuncinlgica,porejemplo,el,todo,no,esun,si,en
tonces,etc.Delmismomodo,lasdemostracionesnoinvocansloalasproposicio
nes del sistema puesto que, para integrarlas en demostraciones, resulta necesario
recurriralasreglaslgicasdelencadenamiento,comoaplicarlaregladelatransiti
vidaddelaimplicacin(siaimplicabysibimplicaac,entoncesaimplicaac).El
conocimientosibiennotericosinoalmenosoperatoriodelalgicaquedaen
toncespresupuestoenestecaso.Enrelacinconlacienciaaxiomatizadadetalfor
ma,alalgicaseledaelnombredeanterior.
Unsistemageomtrico,apartedelalgica,daporsupuestoalaaritmtica,
pues para definir un tringulo es necesario utilizar el tres; asimismo, para demos
trarquelasumadesusngulosesigualadosrectos,sehacenecesarioadmitirla

11
M.Pasch,VorlesungenberneuereGeometrie,1882,p.98.

/18 /
validezdelosteoremasaritmticosrelativosalaadicin.Enformageneral,sede
nominaranterioresaunsistemaaxiomticoatodoslosconocimientosdelsistema
asllamado.Severentoncesquesiunaaxiomticaaparececomounsistemapura
menteformal,losconocimientosquenecesitaparaconstituirsesonnocionesenten
didasenlatotalidaddesusentido,ascomotesistomadasensuverdadmaterial.
Recurrir a los conocimientos anteriores, especialmente si no se expresa de
claradamente, choca con el espritu de la axiomtica, que se impone como deber
tratardeexplicarlotodo,sinquenadaquedepresupuesto.Quedaclaroqueestose
puedematizarmedianteelrecursodeenumerar,aliniciarunaaxiomtica,lascien
cias que se presuponen. Tal formalidad no basta en forma alguna para resolver la
infinidad de problemas que emergen aqu y cuya determinacin resultar funda
mentalparalosposterioresdesarrollosdelaaxiomtica.Enespecial,serposible,
comosugieredeinmediatoelafndeconseguirunalgicapura,remontarlaaxio
matizacindelacienciahastaunpuntoltimo,delageometraalaaritmticayde
staalalgicaconelfindeabsorberlosconocimientosquesehanutilizadoshasta
entoncescomoanterioresyqueenconsecuenciasemantienencomoexteriores
alaaxiomticayeliminarasporcompletotodapresuposicinintuitiva?Odeotro
modo, los conocimientos elementales de lgica e incluso de aritmtica, no se les
utilizaraenformanecesariaattulooperatorioenlaconstruccindelasaxiomti
cas? O, dicho de otro modo, los conocimientos elementales de lgica e incluso de
aritmticanoselesutilizaranecesariamenteenlaelaboracindelasaxiomticas
lgicasyaritmticas?Poincarapuntabaqueresultadifcilhacerelenunciadode
una frase sin colocar un nmero o, por lo menos, la palabra varios o, en ltima
instancia,unapalabraenplural.
12
Elaritmticoyellgiconumeransusproposicio
nesyteoremas,cuentanelnmerodesusnocionesprimeras.Yloqueesciertoenel
casodelasnocionesaritmticasconmayorraznloesparalasnocioneslgicas.
Porotrolado,nosiempreresultafcildelimitarconprecisinlafronteraen
treloquesonlasnocionespropiasdeunacienciaylasqueleresultananteriores.
13
Podemosleerporejemploenuntratadodegeometra:Larectaapasaporelpunto
A.Lafrasepasaporperteneceaparentementealvocabulariodelageometra;pero
comoesposibleevitarlaaldecir:ElpuntoApertenecealarectaa,yquelaperte
nencia de un individuo a una clase (si se considera a la lnea como una clase de
puntos)esunanocinlgica,eltrminopasapordebeenestecasoserincluidoen
trelostrminoslgicos.Unpocomsallpodemosleerlasdosfrases:Siunpun
toestdadofueradeunplano,etc.,ytambin:Siunpuntoestdadofueradeuna
superficie esfrica, etc., cmo se puede clasificar ese fuera de? En el primer caso

12
HPoincar,Scienceetmthode,p.166.
13
LosejemplospuestosacontinuacinsondePadoa,Lalogiquedductive,Rev.deMtaph.Etde
Morde,nov.de1911,pp.830831.

/19 /
citadosimplementesedicequeelpuntonopertenecealplano,tratndoseentonces
de un trmino lgico. Pero en el segundo caso lo que se quiere decir es algo ms.
No slo que no pertenece a la superficie de la esfera sino tambin que no se en
cuentrasituadoenelinteriordesta.Portanto,elmismotrminodebeserconside
radocomopropiodelageometra.
Podra creerse que la enumeracin hecha por separado de los trminos de
un sistema resultara totalmente superflua, puesto que tales trminos no son los
quesepuedenencontrarenlasproposicionesprimeras.Ciertoesqueenlasprime
ras axiomticas no siempre sola tomarse tal precaucin.
14
En algunas ocasiones
resultadifcilreconocerenlasproposicionesculessonlostrminospropiosdela
teora,porloque,secomprende,esnecesariodarunalistaexactadeellos.
9.INDEFINIBLESEINDEMOSTRABLES.LOSSISTEMASEQUIVALENTES
Unadelascaractersticasquedefinenenformamsvisiblequeunateoradeduc
tiva ha sido puesta en forma axiomtica es, como se ha visto, que se comienza a
despejaryenunciarenformaexpresayexhaustivaloquesonlosindefiniblesylos
indemostrablesdelateora.Talformulacindemandaempero,sibiennocorreccio
nes,almenosalgunainterpretacin.
En primer lugar, no resulta lgicamente necesario que todos los trminos
fundamentales y los postulados se presenten en conjunto desde el principio de la
teorayquequedenagotadosantesdequeseinicienlasdefinicionesydemostra
ciones.Envistadequeunateoraaxiomatizadaalcanzaunbuengradodecomple
jidad,unprocedimientosemejantepondraenriesgolaexposicinsinlograrventa
ja lgica alguna. En tal caso se considerar con frecuencia preferible avanzar en
grados sucesivos y no ir presentando las nuevas nociones fundamentales con los
postuladoscorrespondientesamedidaquevayasiendonecesario,yaseaenforma
aisladaoengrupo,conlacondicinbienentendidadequetodosehagaenforma
muyclara.Faltadecirquelamencindetrminosannodefinidosydelaspropo
siciones no demostradas, debe preceder siempre la de los trminos y las proposi

14
Sedabatambin,indudablemente,dentrodeestadiferenciadetratamientoentretrminosypro
posiciones, el efecto del curioso retardo de la teora de los trminos, del cual encontramos ya una
manifestacinenlacostumbreseculardeenumerarlasdefinicionesdentrodelosprincipios.Alres
pecto, Padoa hace la observacin de que, si se dispone desde hace mucho tiempo de la voz postu
lado,conquesedesignanlasproposicionesnodemostradas,nosehainventadounavozquedesig
nelostrminosnodefinidos,dadoqueestaexpresinseusabatanpocoquenoseconsiderabane
cesarioabreviarla.Lapalabrateorema,quecarecedeunavozparadesignarlostrminosdefinidos,
seencontraraenelmismocaso.

/20 /
ciones de stos derivadas, mediante demostracin o definicin, y es slo en este
sentidorelativoquemerecenserdefinidoscomoprimeros.
Delmismomodoquelaspalabrasprimeroycomienzo,indefinibleeindemostra
ble slo deben ser entendidas en sentido relativo. Existe la tendencia creciente a
evitarlasdemodoqueseevitenlasequivocaciones.Untrminonopuedeserinde
finibledelmismomodoqueunaproposicinnopuedeserindemostrable,salvoal
interior de un sistema que ha sido estructurado en una forma determinada, y de
manera continua pueden constituir el trmino de una demostracin o una defini
cin, siempre que se modifiquen adecuadamente las bases del sistema. Tengamos
siempre en cuenta el ejemplo de la geometra euclidiana: no resulta imposible de
ninguna forma demostrar en ella el postulado de las paralelas. De este modo, en
lugardedemostrarpormediodeaquellaquelasumadelosngulosdeuntrin
guloesigualadosrectosoqueatodafiguraselepuedehacercorresponderuna
figurasemejantedecualquieramagnitud oqueportodopunto interior de unn
gulo es posible trazar una recta que corte ambos lados, resulta imposible invertir
esteordenypodrdemostrarselaunicidaddelaparalelatomandocomopostula
docualquieradeestasltimasproposiciones.Delmismomodo, laeleccin delos
trminos de la teora que se instituirn como fundamentales queda al libre albe
dro.Uncambioenlalistadelostrminosprimerosbastaparadeterminarelcam
bio correspondiente en los postulados, pues stos enuncian relaciones entre esos
trminos.
15
Resultanecesarioentoncesvigilar,alhablardeunsistemadeductivo,queno
seconfundandosacepcionesdelavozsistema,estoes,elconjuntodelasnociones
yproposicionesquelointegran,yaseanprimitivasoderivadas,ascomocualquier
organizacinlgicaqueseled.
Unsistema,entendidocomoelconjuntodelasnocionesyproposicionesque
lointegran,seprestaaunamultitudderepresentacionesaxiomticas.Poremplear
una definicin de Nicod, se trata de algo parecido a un poliedro, que puede des
cansarsobregranvariedaddebases.Talessistemasdistintos,enelsentidodeorga
nizacinlgica,recibenelnombredeequivalentes.Deestemodo,todaslasrecons
truccionesaxiomticasdelageometraeuclidianaresultanequivalentes,puesenel
fondocontienenelmismoconjuntodetrminosyproposicionesyslodifierenen
questospuedendividirseenprimitivosyderivados.Demodomsgeneralytam
binmspreciso,dossistemasdeproposicionessonequivalentessicualquierpro

15
Laescuelaitalianamediantelaanaloga,aclarperfectamente,recurriendoaloqueyaseconoca
respectoalasproposiciones,elcarcter,relativo,deunanocindeserprimera.Severnoobstante
quesibienlgicamentelarelacindeanterioridaddeunaproposicinountrminoenrelacincon
otroesdeltodoarbitraria,estonosignificaqueseanvlidostodoslosrdenes.Laconcepcindeun
ordennaturaldenocionesyaserciones(PascalyLeibniz)nohaperdidovalorsisedirigeaunor
denracional,biendistinguido,deunordenquesloeslgico.

/21 /
posicindeunodeellospuededemostrarsesloconlaayudadelasproposiciones
delotro,yrecprocamente,dossistemasdetrminossonequivalentessicualquier
trminodeunopuededefinirseconlasolaayudadelostrminosdelotro.
10.LASDEFINICIONESPORPOSTULADOS
El estatuto lgico de los postulados queda bastante claro, no quedan afirmados a

ttulodeverdadesgeneradorasdeotrasverdades,sinoquesloselescolocaattu
lo de hiptesis que permiten deducir un conjunto dado de proposiciones o de las
queunoseproponeinvestigarlasconsecuenciasqueimplican.Sesabequeenfor
maalgunaresultanecesarioquelasproposicionesseanverdaderasyqueseanco
nocidascomotalesparaqueseaposiblerazonarsobreellascorrectamente;lavali
dezdeunrazonamientoesindependientedelaverdaddesucontenido.Lacondi
cin de los trminos primeros es un tanto ms difcil porque, si es posible hacer
abstraccintotaldelaverdaddelasproposicionessobrelasquesetrabaja,espo
sible tambin hacer abstraccin total del sentido de los trminos? Cmo afirmar
de ellos algo as aun a ttulo hipottico si para nosotros estn totalmente despoja
dosdesentido?Y,cmollegaraunsentidosi,porunlado,nopodemosdefinirlos
y si, por el otro, nos negamos a tomar en cuenta su sentido intuitivo previo? Esto
porquesinoseobligaunoaolvidarsusentidoemprico,preaxiomtico,secorreel
granriesgodereferirseluegoal,sinsaberlo,dentrodelrazonamientoy,as,intro
ducirsubrepticiamenteelementosimplcitosmsomenosvagosy,sinduda,varia
blesconcadauno.Slonosquedaunarespuesta:elsentidoquetenganlofijarsu
usoenlospostuladosqueenuncianquclasederelacinlgicatienenentrestales
nociones. Este modo de determinar el valorde un trmino no puede considerarse
propiamenteunadefinicinpuesnoestableceunaequivalencialgicaentreeltr
minonuevoyunaexpresinconocida.Masenvistadequescumplelafuncinde
unadefinicin,estoes,fijarsusignificado,puedeconsiderrselecomounadefini
cinimplcita.
EstanocinsedebeaGergonne.Siunafrase,observa,contieneunasola
palabracuyosignificadonoesdesconocido,elenunciadodeesafrasebastarapara
revelarnos su valor.As, si se dice a una persona que conoce las voces tringulo y
cuadriltero,peroquenuncahaescuchadolavozdiagonal,quecadaunadelasdos
diagonalesdeuncuadrilterolodivideendostringulos,imaginardeinmediato
loqueesunadiagonal,puesaqusetratadelanicalneaqueescapazdedividir
un cuadriltero en un tringulo. Esta suerte de frases que dan la comprensin de
unadelaspalabrasdequesecomponenrecurriendoalsignificadoconocidodelas
otraspodranserdenominadasdefinicionesimplcitasenoposicinalasdefiniciones

/22 /
ordinarias que recibiran el nombre de definiciones explcitas.
16
Esteprocedimiento
notienenadadeextrao.Esdelmismomodocomoelnioaprendeelsentidode
lamayoradelaspalabrasdesuidioma.Enelcampodelascienciasfsicasresulta
comn que una ley que ha sido establecida recurriendo a la ayuda de nociones
provisionales permita, a cambio, precisar su sentido. El nominalismo cientfico se
basaba en esto para establecer que las leyes son con frecuencia slo definiciones
disfrazadas.Laleydelacadadeloscuerposdefinelacadalibre;laleydelaspro
porcionesdefinidascaracterizalacombinacinenoposicinalamezcla,etc.Lasde
finiciones indirectas pueden compararse a una ecuacin con una sola incgnita y
cuyovalorlofijaelconjuntodelaecuacin.
Tal definicin resulta unvoca si, en el ejemplo de Gergonne, un solo valor
puede satisfacer la ecuacin, pero no siempre es as. En especial, si tomamos en
cuentatodounsistemadeecuacionesconvariasincgnitas,ocurrirentoncesque
variossistemasderacessatisfaganlasecuaciones,einclusounainfinidad,comosi
seestableciera:
Y=2x
Z=y+x
En un sentido el sistema quedadeterminado, puessi se da auna de las in

cgnitas algn valor arbitrario, los de las otras dos quedan fijados tambin de in
mediato.Envezdeindividualladeterminacines,dealgunaforma,global,yasu
meuncarctermsabstracto.Ennuestroejemplo,ysiempresereldobledexyz
el triple. Ms que los propios trminos, son, como puede verse aqu, las relaciones
entrelostrminoslasquequedanexactamentedeterminadas.Lacaracterizacinde
los trminos primeros por las relaciones que enuncian entre ellos los postulados
nosponeenunasituacinanloga.Unsistemadepostuladospuedecompararsea
un sistema de ecuaciones que tenga varias incgnitas; estas incgnitas se corres
pondenalostrminosdelaaxiomticaqueseconsidera.Suvalornoescualquiera,
pero no se encuentra determinado implcita, solidaria, equvocamente. Esta forma de
establecerelsentidodelostrminosseconsiderauncasodedefinicinimplcita,la
definicinporpostulados.SeentiendeasporquPoincarpodaafirmar,refirindo
sealospostuladosdelageometraeuclidiana,quesetratadedefinicionesdisfra
zadas. El conjunto de postulados euclidianos constituye, de hecho, una definicin
implcitadelconjuntodelasnocioneseuclidianas.
17

16
Gergonne,Essaissurlathoriedesdfinitions,1818,pp.2223,apudF.Enriques,Lvolutiondelalo
gique,p.94delatraduccinalfrancs.
17
Laambigedaddetomarlasdefinicionesporpostuladosyquecomoseverdespusespara
lossistemasaxiomticoslocontrariodeundefectoexplicaloscasosdedualidadreconocidosante
riormenteenvariasteorascientficas.DeestemodoGergonneexpusosistemticamente(1826)los

/23 /
Puede verse mejor ahora que los postulados de una teora no son proposi
ciones,estoes,quepuedenserverdaderasofalsas,puestoquecontienenvariables
que, relativamente, se encuentran indeterminadas. nicamente en el momento en
queseddeterminadovaloraesasvariables,odichodeotromodo,siselessusti
tuye por constantes, entonces los postulados se convertirn en proposiciones ver
daderasofalsas,deacuerdoconlaeleccinquesehayatomadoparaestasconstan
tes,aunqueentoncessesaledelaaxiomticaysepasaasusaplicaciones.Conttu
lo semejante al de las ecuaciones de un mismo sistema, y no podra haber mejor
comparacin, los postulados son meras funciones proposicionales, expresin de la
quenoesnecesariodarunadefinicinexplcitapues,ensuma,seencuentradefini
daenlasfrasesprecedentes.
Lasmatemticassonunacienciaenlaquenosesabenuncadequseha
bla,nisiesverdaderoloquesediceEstechistemuyconocidoquesugiriaRus
sell la nocin de la matemtica axiomatizada tiene valor para toda axiomtica en
general.Ytambinesalaaxiomticaalaquepuedeaplicarseelsiguientechistede
Poincar:Lasmatemticassonelartededarelmismonombreacosasdistintas.
11.DOSEJEMPLOSDEAXIOMTICAS
Aunquenotienequeverconlageometrayconquesuautorsehayapreocupado
especialmenteporelproblemadelaexpresinsimblica,comoprimerejemplode
laaxiomticadaremoselqueelaborPeanoparalateoradelosnmerosnatura
les. Primero, porque su brevedad nos permitir exponerla en su totalidad, luego
porque puede encontrarse en ella la ilustracin simple y notable del carcter de
ambigedad,dadoquenoconllevasinotrestrminosprimeros:cero,elnmero,el
sucesor de y cinco proposiciones primeras que transcribiremos de la notacin
simblicaallenguajecomn:
1) Ceroesunnmero.
2) Elsucesordeunnmeroesunnmero.

iniciosdelageometraproyectiva(sinparalelismo)escribiendoendoscolumnas:lostrminospunto
y plano eran cambiados de derecha a izquierda sin que la verdad de las proposiciones se alterara.
Por ejemplo, dos puntos determinan una recta; dos planos determinan una recta; tres puntos, no en lnea
recta,determinanunplano;tresplanosquenotienenunarectacomndeterminanunpunto,etc.Estadua
lidaddependedequelostrminosprimerosdelateora,quesonlosdepuntoyrecta(seriedepun
tos),satisfaganlospostuladosenquefiguransiselesda,respectivamente,elsentidodeplanosyhaz
deplanos(pasandoporunarecta).Esporesoquetodoteoremaqueesvlidoparapuntosyrectas
(que los unen), es tambin vlido para los planos y las rectas (que configuran su interseccin) y
viceversa.

/24 /
3) Variosnmeros,cualesquieraquesean,nopuedentenerelmismosucesor.
4) Ceronoeselsucesordeningnnmero.
5) Siunapropiedadperteneceaceroysicuandoperteneceaunnmerocual
quierapertenecetambinasusucesor,entoncesperteneceatodoslosnme
ros(principiodeinduccin)
Seveentoncescmo,conlaayudadelasdosprimerasproposicionesespo
sibledefinir,primero,elnmerouno,despuseldosyassucesivamente.Conestas
basesesposibledefinirodemostrartodaslasnocionesyproposicioneselementales
delaaritmtica.
Slo que la interpretacin habitual de los trminos primeros no es la nica
quepuedesatisfacerestejuegodeaxiomasyasnopuededeterminarunvocamen
teunsistemaconcretodeproposiciones.Russellhacelasiguienteobservacin:sile
conservamosasucesorsusignificadocomn,peroentendemosacerocomounn
merocualquiera,digamos100,yanmerocomocadaunodelosquesecontinana
partirde100,loscincoaxiomasquedanverificadosy,naturalmente,todoslosteo
remasquedeellospuedendeducirse.Delmismomodo,siconservndolesusenti
do ordinario a cero se designara nmero slo a los nmeros pares, y por sucesor el
segundosucesor;oinclusosicerorepresentaraelnmero1yelsucesorrepresentara
la mitad, el nmero designara cada uno de los trminos de la serie 1, 1/2, 1/4, etc.
Todas estas interpretaciones y las parecidas que ser fcil imaginar, presuponen
unaestructuraformalcomnqueestaaxiomticaponeenclaro.Loqueellacarac
terizanoespropiaylimitadamentelaaritmtica,sinoenformageneralunacierta
estructura,ladelasprogresiones.Laseriedelosnmerosnaturalesesslounailus
tracinentreotras.Adems,stasnopermanecenencerradas,comolopodransu
gerirlosejemplosanteriores,enlossubdominiosinterioresdelaaritmtica.Espo
sible instituir una progresin entre entidades que sean distintas de los nmeros,
puntosoinstantes.
AguisadesegundoejemploharemoselbosquejoquenosdonHilbertdela
geometraeuclidiana.
18
Suintersloconcentrenlasproposicionessinpreocupar
se gran cosa por reducir al mnimo el nmero de los trminos primeros que, por

18
Grndlagen der Geometrie, 1899. En las ediciones siguientes el autor hizo algunas modificaciones
pequeas.Nosotrosconsultamosla3edicin,1909.LosquenoencuentrenaccesiblelaobradeHil
bertpodrnencontrarsus21axiomasenelexcelentelibrodeGodeaux,Lesgomtries(coleccinde
A.Colin).Recordemosdeunavezportodasqueeltrminoaxiomanoimplicayalaideadeeviden
ciaydereglayretienenicamenteladeprincipioestablecidohipotticamente,estoes,depostula
do.Talsustitucinsehahechoinevitabletambinconlapalabraaxiomtica.

/25 /
otraparte,incorporalosaxiomas,sinenunciarlosenformasistemticaysepara
da.
19
Perodostrazossuyosmerecenatencin.
En primer lugar no qued contento con slo despejar los axiomas, algunos
de los cuales permanecieron, hasta entonces, implcitos, y enumerarlos, sino que
tambinlosreparti,deacuerdoconlasnocionesfundamentalesqueemplean,en
cincogrupos.Esforzndoseconcadaunodeestosgrupososuscombinacionespor
precisar y delimitar el dominio de los teoremas que determinan. Los del primer
grupofincanunenlaceentrelasideasdepunto,derectaydeplano.Sonlosaxio
mas caractersticos de la geometra proyectiva (ocho axiomas, por ejemplo, dos
puntosdeterminanunarecta;sobreunarectahaysiempreporlomenosdospun
tos y sobre un plano al menos tres puntos que no estn en lnea recta). Los del
segundogrupo,losaxiomasdelorden,fijanelsentidodelapalabraentreysonlos
axiomas topolgicos (cuatro axiomas, por ejemplo, si A, B, C, son puntos de una
recta y si B se encuentra entre A y C, se encuentra tambin entre C y A). El tercer
grupoincluyelosseisaxiomasdelacongruenciaoigualdadgeomtrica.(Porejem
plo,siAyBsondospuntosdeunarectaa,yAunpuntodeunarectacualquiera
a, existe sobre a y de un lado cualquiera de A uno y un solo punto B de modo
queelsegmentoABseacongruenteconelsegmentoAB).Elcuartogrupoconlle
va slo un axioma, el de las paralelas. Finalmente, un ltimo grupo se refiere a la
continuidad y lo integran dos axiomas, entre ellos el llamado deArqumedes cuyo
enunciado es que, aadiendo sucesivamente un segmento a s mismo sobre una
recta y a partir del punto A, siempre se podr superar un punto cualquiera B de
estarecta.
Por otra parte, Hilbert dio principio a un gnero de investigaciones, cuya
importanciaibaarevelarsecomocapitalentodaelaboracinaxiomtica,cuandose
preguntenformasistemticaacercadelanocontradiccindesusistemadeaxio
masylaindependenciamutuadesuselementos.Conelfindeestablecerlanocon
tradiccin elabora una interpretacin matemtica del sistema, de modo que toda
contradiccinqueaparecieraenlasconsecuenciasdesusaxiomasdeberarepercu
tirsobreella.Sesuponeadmitidalacoherenciadelaaritmtica,porloquegaranti
za la de su sistema de axiomas. Adems, la independencia de un axioma queda
establecida por la posibilidad de construir un sistema coherente que lo haga a un
lado. Las geometras no euclidianas iniciales eran ya testigos de la independencia
delaxiomadelasparalelas.Enformasemejante,alconstruirunageometranoar
quimediana,Hilbertdemuestralaindependenciadelosaxiomasdelacontinuidad.

19
Desde1882,Paschlogrdefinirtodoslostrminospartiendodecuatrotrminosprimitivos(pun
to,segmento,plano,puedesuperponersea).Iniciandoaqu,Peano(18891894)yPadoa(1900)losreduci
rnados(quesonrespectivamente:puntoymovimiento,puntoydistancia).EnHilbertlareduccinse
encuentramuchomenosdesarrollada.PocodespusVeblen,en1904,nosofrecerdelamismageo
metraunaaxiomticareducida.

/26 /
12.LOSMODELOS.ELISOMORFISMO
A una teora en el estadio preaxiomtico se le puede dar el nombre de concreta,

materialointuitiva.
20
Estosignificaqueanmantienecontactoconlosconocimien
tosqueorganizayquesucontenidoconservasusentidoysuverdadempricos.Es
talelcasodelageometraordinaria,comoseenseacomnmenteenlasescuelas.
Essiempreposible,comosehavisto,reconstruirunadeterminadateoradeductiva
concreta sobre distintas bases. De este modo, los diversos autores de tratados de
geometra elemental, al mismo tiempo que ofrecen desde hace siglos el mismo
cuerpodedoctrina,hanidomsomenosmodificandoelordenamientoeuclidiano.
Sonsecundariashastadondeelcontenidodelateoraesconsideradoesencial,pero
estas diferencias formales toman una importancia creciente a medida que se des
cuida su contenido. Por eso es posible decir que su inters slo se manifiesta en
plenoconlasaxiomticas,teorasabstractasyformales.Entalsentidoseopondr,
a una teora concreta determinada, la pluralidad de las axiomticas que le corres
ponden.Porejemplo,laaxiomticadeHilbertesslounaentretodasalasquese
prestalageometraeuclidiana.
Consideremosporahoraslounadelasaxiomticasmltiplesdeunateora
concreta.Comoelsentidodesustrminos,yenconsecuencia,detodassuspropo
sicionesnoestfijadosinoequvocamenteporlospostulados,sepodrentodoca
so,sisedescubrenvariossistemasdevaloresquesatisfaganporigualelconjunto
de las relaciones que enuncian los postulados, dar interpretaciones concretas dis
tintas,obien,escogerentrevariasrealizaciones.Lasrealizacionesconcretasdeuna
axiomticasedenominansusmodelos.
21
Sedacomoentendidadeporsquelateo
raconcretaoriginal queproporcionlospuntosdereferenciadelesquemalgico
trazadoporlaaxiomticaserunodelosmodelos,peronoelnico.Unaaxiomti
casepresta,comoyasecomprobenocasindelaaxiomticapeaniana,arealiza
ciones diferentes y stas pueden ser tomadas de dominios de pensamiento muy
alejados del dominio inicial. Se da entonces una pluralidad de interpretaciones y
modelosconcretosqueoponemosaunasolaymismaaxiomtica.

20
Porsupuestoqueestostrminostienenaquslosentidorelativo,opuestoalcarctermsabstrac
to,msformalymslgicodelacorrespondienteteoraaxiomtica.
21
Modelo no debe sugerir la idea de que existe una anterioridad arquetpica. La palabra se explica
porlaasimilacindeestasinterpretacionesdiversasalateoraconcretaprimitiva,quemuypropia
mentepuedeserllamadamodelodelaaxiomticaconstruidaacordeconella.Sindudaelrecuerdo
de los modelos mecnicos de los fsicos britnicos intervino en la introduccin concreta de esta
nocin.

/27 /
Enelcasoenquelosmodelosnosedistinguendeestaformaentreellossino
porladiversidaddelasinterpretacionesconcretasquepuedadarseasustrminos
ycoincidendemaneraprecisasisehaceabstraccindestas,demodoqueseins
talenenelplanodelaaxiomticaformal,sediceentoncesquesonisomorfos,pues
tienenlamismaestructuralgica.
Elmtodoaxiomticotieneprecisamenteelintersderevelarlosisomorfis
mos entre teoras concretas que son aparentemente heterogneas, para reestable
cerlasenlaunidaddeunsistemaabstracto.Deestemodo,cualquieradeestasteo
raspodrservirdemodeloalasotras,siampliamosunpocoelusodeestapala
bra,ascomoalateoraabstractacorrespondiente.
22
Existenentoncestresnivelesquedebendistinguirseysobrelosqueesposi
ble diversificar una teora deductiva. Regresemos, como siempre, al ejemplo de la
geometraeuclidiana.Enprimerlugar,sisemodificaenformadiversaporlome
nosunodesuspostulados,seobtendrnotrasteoras(geometralobatchevskiana,
noarquimediana, etc.), que sern sus vecinas o parientes (emparentadas). Es en este
sentido que se habla de la pluralidad de las geometras. Escojamos cualquiera de
estasgeometras.Comohayformasmuydiversasdeefectuarsureconstruccinl
gica, se diversificar entonces en varias axiomticas que sern equivalentes entre
ellas.Sifinalmenteescogemosunadeestasaxiomticas,porlogeneralselepodr
encontrar distintas interpretaciones. Surge de aqu una diversificacin nueva de
acuerdoconmodelosquesernisomorfos.Sesuperponeasaladiversidaddegeo
metrasladeaxiomticasdeunamismageometray,asta,lademodelosdeuna
mismaaxiomtica.Ylapalabrateoraseajustaporigualalapresentacinaxiom
tica o a sus interpretaciones concretas. Habr entonces que evitar equivocarse y
confundirentreelcasodelasteorasemparentadas,lasequivalentesylasisomor
fas.
13.CONSISTENCIAEINTEGRIDAD.DECIDIBILIDAD
Laeleccindelospostuladosqueconstituyenlabasedeunaaxiomtica,porarbi
trariosqueseanenocasiones,nosedejaalazar,sinoquequedasujetaadiferentes
exigenciasinternasqueson,msomenos,imperiosas.

22
Cuando todos sus modelos son isomorfos entre s, el sistema axiomtico recibe el nombre de
monomorfo. Hay tambin sistemas polimorfos. En particular, se nota de inmediato que los diversos
modelosdeunsistemanosaturado(vaseelinciso15)nosonisomorfosensutotalidad,pueslaau
sencia de saturacin significa precisamente la posibilidad de una o varias bifurcaciones. Ms ade
lante se advertir que algunos sistemas saturados, paradjicamente, pueden igualmente conllevar
modelos que no son isomorfos (vase el inciso 26). En el caso de otros trminos, la saturacin es
condicinnecesaria,aunquenosuficiente,demonomorfismo.

/28 /
Lacoherenciaes,indudablemente,lamsapremiante.Silosdistintospostu
ladosdeunsistemanofuerancompatiblesentreellos,elsistemapodraconvertirse
en contradictorio. De seguro que es permitido, por necesidades tericas, eliminar
untantoalazarestaobligacinoinclusointentarconstruirexpresamenteunsiste
macontradictorio,delmismomodoqueenocasionesunoseproponerazonarpor
elabsurdo.Mastalcasoresultaexcepcionaly,deordinario,seimponecomocondi
cinabsolutaaunaaxiomticasernocontradictoriao,comotambinsedice,con
sistente.
23
En efecto, una de las propiedades de un sistema contradictorio es que
permitadeducirnoimportaqu.Enlesposibledemostrarunaproposicincual
quieradelsistemaytambinsunegacin.Estaindeterminacinprivaalsistemade
todointers.
Cmopuedesabersequeunsistemadepostuladosesverdaderamentecon
sistente?Laintuicinesinsuficienteparaasegurarnosdeesto.Porotraparte,tener
desarrollada una larga cadena de consecuencias sin encontrar en ella jams una
contradiccinpuede,sinduda,aportarnosunapresuncin;eincluso,enelcasode
quelaaxiomticacubraporcompletounateoraconcreta,quehasidodesarrollada
entodossussentidosdesdehacesiglos,unacertezamoral.Porejemplo,nadiepo
neendudalaconsistenciadelaaritmticaelementalodelageometraeuclidiana.
Noobstante,yespecialmenteenelcasoenquefalteunapruebatal,semejantepre
suncinnonosaportaunacertezaabsoluta.Nadanosgarantizaquenopuedapre
sentarseunasorpresa,ninosaseguraque,alllegaraunciertopunto,notropezare
mosconunabsurdo.Esofueloqueocurri,porejemplo,conlasantinomiasdela
teoradelosconjuntos(vaseelinciso27).Peseaquetuvosuorigenenlacreciente
exigenciaderigorlgico,laprcticadelaaxiomticaaumentaasuvezaquellaexi
gencia e induce a sustituir esta especie de prueba emprica por una demostracin
verdadera, la cual, es cierto, slo podr ser practicable al nivel de las axiomticas
simbolizadasyformalizadas(captuloIII).Severigualmentequeslotienexito
dentrodelmitesmuyestrechos.
A falta de una demostracin propiamente dicha, nos quedan dos procedi
mientos para establecer la nocontradiccin de una teora. Primero, la reduccin a
una teora anterior. Se postula la nocontradiccin de un sistema bien establecido
enlaprctica,comolaaritmticaclsicaolageometraeuclidiana;acontinuacin
se elabora, a partir del sistema que se estudia, una interpretacin tal que venga a
aplicarse sobre el primero o parte de ste. La nocontradiccin postulada del pri
merosetransmitedeestaformaalsegundo.Unapruebahechaas,evidentemente
slopuedesercondicional,perosilateoratestigofuepropiamenteescogida,enla
prctica es suficiente. Una vez que Poincar ofreci una interpretacin euclidiana

23
Unanlisismsrefinadohaceladistincinentrenocontradiccinyconsistencia,tambindiferen
cianocionesdiversasdelaconsistencia,etctera.

/29 /
delageometralobatchevskianaterminaronlasdudasacercadelaconsistenciade
esta ltima. La propia geometra euclidiana recibi de Hilbert su interpretacin
aritmtica,queseaadealayaconsiderableprobabilidaddesuconsistencia.Con
muchafrecuenciaseescogecomotestigoalaaritmticaclsica.
Unsegundoprocedimientoconsisteendaralateoradelaquesetratauna
realizacin en el mundo de las cosas. En vez de hacer volver la teora a una teora
anteriorcuyaconsistenciaestmsasegurada,sedesciendealocontrario,hacialo
concretoyseconstruyeunmodelofsico.Dadoquetodoloqueesrealesafortiori
posible,laexistenciadeesemodelogarantizalaconsistenciadelaaxiomticaque
lecorresponde.Y,noes,enelfondo,elxitodelasinterpretacionesempricasde
lageometraclsicaaquelloquenoshaceaceptar,antesquecualquierotraprueba,
lacoherenciadeesageometray,enconsecuencia,delaaxiomticaqueobtienede
ellasuesqueletolgico?
Dedosproposicionescontradictorias,pynop,elprincipiodecontradiccin
nosenseaquenopuedensersimultneamenteverdaderas,almenosunadeellas
esfalsa.Aesteprincipioseasocia,desdehacemuchotiempo,elprincipiodelterce
roexcluido,cuyoenunciadoesquetalesproposicionesnopuedenserfalsassimul
tneamente, sino que por lo menos una de ellas es verdadera. La conjuncin de
ambos principios nos da lo que puede ser llamado el principio de alternativa: de
dosproposicionessemejantes,unaesverdaderaylaotrafalsa.Alaconsistenciade
unsistemafundadaenelprincipiodecontradiccinrespondedeestemodosuin
tegridad, asentada sobre el principio del tercero excluido. Un sistema de postula
dosescompletocuandoentredosproposicionescontradictoriasformuladascorrec
tamentedentrodelostrminosdelsistema,unadeellassiemprepuedeserdemos
trada. Si adems el sistema es consistente, puede verse entonces que de todo par
que se forma en el interior del sistema poruna proposicin cualquiera y su nega
cin,siempreesposibledemostrarunayslouna.Enotraspalabras,enpresencia
deunaproposicincualquieradelsistemasepuedesiempredemostrarlaonegar
la, decidir en consecuencia su verdad o su falsedad en relacin con el sistema de
postulados.Entoncespuededecirsedetalsistemaqueescategrico.
Por debajo de esta forma fuerte de la categoricidad, que slo un nmero
muyreducidodesistemaspuedealcanzar,existeunaformamsdbildecategori
cidad,aquellaenlaqueesposibleentodocaso,paraunacualquieradelasexpre
sionesdelsistema,sinodemostrarla(onegarla),decidiralmenossiesonodemos
trable(orefutable).Estesistemarecibeentonceselnombrededecidible.
24
Estacuali
dadpertenecesloaunnmeromuylimitadodesistemasrelativamentesimples.

24
Lasdiferenciacioneshechasposteriormentehanhechoaparecerquedeterminadossistemaspue
danseralmismotiempocompletosy,sinembargo,indecidibles.

/30 /
Lanocategoricidady,conmayorrazn,lanodecidibilidad,constituyenin
dudablementeimperfecciones,masnofaltasalalgica,comoenelcasodelano
consistencia.Poresolaexigenciadeintegridad,ordinariamente,sevecomomenos
apremiantequelafaltadeconsistencia.
14.INDEPENDENCIA.ECONOMA.
Confrecuenciatambinseexigequelosdiversospostuladosdeunmismosistema
seanindependientesunosdeotros.Estoes,quelamodificacinquesehagaaunode
ellosnoconviertaelsistemaencontradictorio.Paraestarsegurodelaindependen
ciadeunaxiomaselepruebamodificndolosintocaralosotrosyextrayendolas
consecuencias del nuevo sistema. Si permanece consistente, la independencia del
postuladoquedaestableciday,siocurrealcontrario,queseproduzcaunacontra
diccin,ysiadems,comoeslomscomn,lamodificacinaportadaalpostulado
fuesustituirloporsunegacin,entonceselresultadoobtenidonoespuramentene
gativo porque la cadena de proposiciones que se ha establecido da de este modo,
delpostuladoprimitivo,unademostracinporelabsurdo.Puedeverseellazode
uninentreunapruebadeindependenciaylademostracinporelabsurdo:elfra
casodeunaseconvierteenelxitodelaotra.Deestemodo,ensayandovanamente
demostrarporelabsurdoelpostuladodelasparalelasfuequeselleg,sinquerer,
a elaborar las primeras geometras noeuclidianas y demostrar as, mediante la
consistencia de estas ltimas, la independencia del postulado. Del mismo modo,
pero deliberadamente, procedi Hilbert para establecer la independencia del pos
tuladodeArqumedes.
Laindependenciadelospostuladosdeunmismosistemanoeslgicamente
indispensableparaquetenganvalidez.Slosiestacondicinnosesatisfacesepro
duce una superabundancia de proposiciones primeras y se considera preferible,
por economa, reducir su nmero al mnimo.Afirmar que dos postulados no son
independientes,estoes,queunodeellospuedeserdemostradodirectamenteopor
elabsurdoapartirdelotro,ser,enestecasoconformealespritudelmtodode
ductivo,producirtaldemostracinyhacerpasarlaproposicinentrelosteoremas.
Estasconsideracionesdeeconomaquetienencarcterestticodesempean,
no obstante, un papel considerable en la construccin de las axiomticas. El ideal
destas,comoeldetodateoradeductivaengeneral,noesreducirlomsposible
elnmerodelostrminosprimerosydelasproposicionesprimeras?Sehanreali
zadonumerososesfuerzosenestesentido,perolasimplicidadlogradaenunpun
todebepagarse,frecuentemente,conunacomplicacinacrecentadasobreotros,y
laeleccinladictarnentoncesrazonesestticasodidcticas.Resultadifcildismi
nuirsimultneamenteelnmerodelostrminosprimeros,eldelosaxiomasysu

/31 /
longitud. La pobreza de la lengua bsica tiene, por lo general, el efecto de hacer
mslargoeldiscurso.Adems,lamayorsimplicidadintrnsecadeunsistemapo
drahacermsincmodasuutilizacinconcretasi,dentrodeldominioconsidera
do,nocorrespondeya,demaneradirectaalostrminosdelsistema,ningunaenti
dad.Amenosque,alainversa,elusodelaaxiomticaaclimateall,pocoapoco,la
nocin.Independientementedetodainterpretacinextrnseca,razonesdefacilidad
deexposicinpuedeninvitaraquesehagandeterminadossacrificiosalidealdela
simplicidadmxima.
15.LOSSISTEMASDEBILITADOSOSATURADOS
Enlugardemodificar,dentrodeunsistemadepostuladoscompatibleseindepen
dientes, puede intentarse eliminar uno de ellos sin tocar a los dems. Entonces el
sistema se debilita, dado que se le han eliminado ciertas determinaciones. Es por
esoqueallseleensanchaabriendolapuertaadeterminadasposibilidadesqueel
postuladorecinextradotena,porefecto,excluir.Dichodeotromodo,elsistema
seencuentraempobrecidoencomprehensinyenriquecidoenextensin.Porejem
plo,sialmantenerintactoslosdemspostuladoseuclidianosseniegalaunicidad
delaparalela,selogralageometralobachetvskianaque,aunquediferentedelade
Euclides, tiene, sin embargo, el mismo grado de particularidad. Pero si, al contra
rio,sedejatotalmenteindeterminadoelnmerodelasparalelasposibles,estoes,si
envezdereemplazarelpostuladodelasparalelasunosecontentaconsuprimirlo,
cavandoenciertaformaunvacoenelsistema,seobtienenentonceslosprincipios
deunageometramsgeneralenlaquelasdeEuclidesyLobachetvskiapareceran
comoespecificaciones.
Puedeintentarsehacerlaoperacinalainversa,probandoreforzarylimitar
un sistema determinado aadindole uno o varios postulados independientes de
losprimeros.Por logeneralsetropiezaconunobstculo,puesllegaunmomento
enquelaadicindetodopostuladoindependiente,elquesea,conviertealsistema
encontradictorio.Sediceentoncesqueelsistemaestsaturado.Essteelcasodela
geometraeuclidiana,conlacondicindequenoseincluyanenellacomopostula
dos adicionales aquellos que, sin estar expresamente formulados, no estaban me
nosadmitidosimplcitamenteenlasdemostraciones.

/32 /
III.LASAXIOMTICASSIMBOLIZADAS
16.SIMBOLIZACIN
Elfinquesepersiguecuandoseponeenformaaxiomticaunateoradeductivaes
apartarladelassignificacionesconcretaseintuitivassobrelasque,enprimerlugar,
fueelaborada,yestoconelfindehaceraparecerenformaclaraelesquemalgico
abstracto.Deacuerdoconestaconsideracin,lasprimerasaxiomticaspadecende
unbuennmerodeimperfecciones,comopuedeverseenladeHilbert.Sedeman
daolvidar elsentido concretodelostrminosquesonpropios delateora;consi
derarlospuntos,lasrectasylosplanosslocomocosasquesatisfacenalosaxio
mas.Perocomoestostrminosseconservan,sefavorece,enlugardecontrariarla,
nuestra inclinacin espontnea a tener una cierta interpretacin concreta determi
nada.Inclusoselahacecasiimposibledederrotarsiunonotienemiedodeilustrar
el texto con figuras geomtricas. Quedamos entonces expuestos a cometer una de
las faltas que queramos evitar: sostener, en torno a significaciones determinadas
enformaexpresaporlospostulados,unazonamsomenosfluidadesignificacio
nespreviasimplcitasalasquearriesgamosreferirnos,sindarnoscuenta,enlasu
cesindelasdemostraciones.Entodocaso,unoesdetenidoenelcaminoenlaten
tativadedespojardetodocontenidointuitivolaarmaduralgicadelateora.
Prontosehacesentirdeestemodolanecesidaddesustituirlaspalabrasque
designabanlasnocionesprimerasdelateora,cargadastodavaconelpeso desu
significacinintuitiva,porsmbolosqueestndesprovistosdesentidoprevioyen
consecuencia susceptibles de recibir precisa y exclusivamente el que le confieren
losaxiomas.Enlugardeescribirqueunpuntoseencuentrasituadosobreunarec
ta,sedesignarlarelacindeincidenciaporlaletraF,lospuntosconlasprimeras
letrasmaysculasylasrectasporlasminsculasyseescribirslo:F(A,a).Puede
verse ya en este ejemplo que la simbolizacin no se detiene slo en las nociones
propiasdelateoraennuestroejemplo,sloenlasnocionesgeomtricassino
que emplea tambin el simbolismo de la lgica de las relaciones. Sin duda, en lo
tericotalcosanoesindispensablepueslasteorasanterioresaotrateora,eneste
caso la aritmtica y la lgica, intervienen slo a ttulo operatorio, esto es, con su
verdadmaterialysusentidohabitual.Noobstante,resultaraparadjicoque,enel
momentomismoenqueseestcreandounsimbolismodestinadoaunateoraque
annolotiene,noseemplearaalmismotiempoeldelasteorasqueyaloposeen
como, desde mucho tiempo atrs, la aritmtica y, tiempo despus, la lgica. En

/33 /
efecto,sesabequedespusdelamitaddelsigloXIX,lalgicaseharenovadoyam
pliadobajoelimpulsodelosmatemticosquelahanunidoasucienciaempleando
larutadelsimbolismo.EntantoqueBooleysusdiscpulosseimponancomofin
construirunclculolgicoquesiguieraelmodelodelclculoalgebraico,laescuela
italiana, encabezada por Peano, se entregaba a elaborar un algoritmo lgico espe
cialmente adaptado a las necesidades de la expresin matemtica. Naturalmente,
cuando esta segunda corriente se encuentra con lo que est dirigido a la axioma
tizacindelasmatemticas,todoresultaenunaaxiomticapresentadatotalmente
bajo la forma simblica, y es de este modo que desde finales del siglo XIX Peano
expusosuaritmtica.
Unasegundarazn,imperiosaenotraforma,precipitaralatotalsimboliza
cin:laexigenciadelaformalizacin.Sibiensimbolizacinyformalizacinconsti
tuyendospasosdiferentesyseparablesenlateora,enrealidadseencuentranmuy
estrechamente ligadas, puesto que la segunda es facilitada considerablemente por
laprimera,porloquerecurreaellaenformacasiirresistible.
17.FORMALIZACIN
Enelmomentoenqueunocreehabersatisfecholasdemandasfinalesdelalgica
escuandounademandanueva,ymssutil,apareceexigiendounesfuerzosuple
mentario.Delageometraempricaalaracional,delapresentacineuclidianaala
axiomtica, de las axiomticas comunes a las simbolizadas, en cada caso se consi
deraquesehaexpulsadofinalmentelaintuicinafavordelalgica.Hemosllega
doahoraalfinalyestaltimaetapaesenrealidadlaltima?Hemoslogradoeli
minartodofactorintuitivoysubjetivoenlaapreciacindelavalidezdeunateora
deductiva?
La teora nos ofrece proposiciones primeras que enuncian mediante el len
guajesimblicorelacioneslgicasentretrminosprimeros.Puestoquelaspropone
sloattulodehiptesislasaceptamoscomotales,bajoreservadesucompatibili
dad.Pero,acontinuacin,noadmitiremosunsolotrminonuevosinoseledefine
con la ayuda de los trminos primeros, ni aceptaremos una proposicin nueva si
noesdemostradaconlaayudadelasproposicionesprimeras.Porlotanto,ningu
na incertidumbre, ninguna impugnacin que pueda hacerse acerca de adoptar un
trminoounaproposicinnuevoslocualseharconunacondicin:quelasre
glasdeladefinicinylademostracinpuedanseradmitidassinquehayalamenor
ambigedad. Que la deontologa del trabajo deductivo, esto es, la lgica, sea a la
vezperfectamenteprecisayperfectamenteuniversal;quereguletodoslosdetalles
yseimpongaatodoslosespritus.Sinoesas,sienestedominiopuedenaparecer
desacuerdos, si sucede que se discurre sobre el valor lgico de tal procedimiento

/34 /
de demostracin o de definicin, entonces la axiomtica, que para unos es un
edificio lgico irreprochable, podr ser juzgada por otros como defectuosamente
lgica.
Lo anterior es lo que, sin duda, ocurre en forma muy aguda en el preciso
momentoenquesecomienzaaaxiomatizar.Lacrisisdelosfundamentos(vase
elinciso27)quesepresentconmotivodelateoracantorianadelosconjuntosdi
vidiprofundamentealosmatemticos.Ynofueporunadeesasdisputasacerca
deuntemaenparticular,comolasquesonconocidasatodacienciaendesarrolloy
que posteriormente se calman al alcanzarse un acuerdo que un sabio competente
es incapaz de rehusar sin experimentar una mala conciencia, sino por una diver
genciaalparecerfundamentalsobrecuestionesdeprincipioyquealparecerestes
tigodediferenciasirreductiblesenlaestructuradelosespritus.Taldefinicin,que
para uno es perfectamente clara, es considerada por otros como despojada total
mente de sentido, aquella demostracin, constringente para ste, carece de fuerza
paraaqul;elprincipiodelgicaquedeacuerdoconalgunosseimponedemanera
absolutaatodopensamiento,segnotrostienevalorslosobreundominiolimita
do.
Cmo,enuncasoas,escogerunladopara,porlomenos,limitareldesa
cuerdoyencontraruncampodeacuerdo?Existeslounmedio:elaborarahorapa
ra las reglas de la lgica de acuerdo con las cuales se razona, lo que se hizo anterior
menteconlospostuladosacercadeloscualesserazona:enunciarlosenformaexpresa
y en su totalidad y despus adoptar la misma actitud apartada que se tom ante
lospostulados,exponerlosenformahipotticaynoafirmarloscategricamente.De
lamismamaneraenqueseadmiten,ladoaladoyalniveldelasaxiomticasabs
tractas, sistemas distintos de postulados que son incompatibles (euclidiano, loba
tchevskiano, etc.) sin preguntarse cul es verdadero y dndolos a todos como
igualmentevlidos,delmismomodoseraposibleacoger,alniveldelasaxiomti
cas formalizadas, sistemas diferentes de reglas lgicas y, en consecuencia, formas
diversasdedesarrollarunaaxiomtica.EnpalabrasdeCarnap:enlalgicanohay
moral;nosetratadedecretarprescripcionesoprohibicionessinodealcanzarcon
venciones.Cadaunoeslibredeconstruirlalgicaasumaneraconlacondicinde
quelaenuncieclaramenteyqueluegoseapegueaellarigurosamente(elprincipio
de tolerancia de la sintaxis). La correccin lgica en el desarrollo de una teora
axiomatizadadeja,enesecaso,detenerunsentidoabsoluto,perocomollegaaser
relativa a este o a aquel conjunto de principios regulativos puede prestarse a una
apreciacinobjetiva.Colocadosfrenteaunaaxiomticapodemosencontrarnosen
lasituacindedosamigosquenosepusierondeacuerdoalestablecerlasreglasde
unjuego.Comonotuvieronlaprecaucindeenunciarlasnopodrnjugarjuntosla
partidaquehayanescogido;perosiencambioslohacenyacuerdan,porejemplo,
alternar dos reglamentos, podrn entonces jugar sin tener que acusarse de hacer

/35 /
trampa.Elreinodelavalidezseestablece,enciertaforma,aunnivelmselevado.
Ascomocuandosepasabadeunateoraconcretaalateoraaxiomatizadalaver
dad de una proposicin del sistema pasaba a ser hipottica suspendida a la posi
cinlibredetalsistemadepostulados;delmismomodoahoralavalidezformalde
laaxiomticaretrocedeungradoypasa,asuvez,aserhipottica,convirtindose
enfuncindelamaneracomoseeligieronlasnormaslgicas.
Lapresentacinlgicadelasteorasdeductivastom,hacia1920,unnuevo
giro, comprometindose con el camino de la formalizacin. Con el fin de sustraer
lavalidezdelsistemadetodaapreciacinsubjetivaseimpusoapartirdeentonces
lanecesidaddeenunciarenformaprecisaydetallada,quenodlugaralacasusti
ca en las reglas de definicin y demostracin que rigen su construccin. Los mis
mos que no creen en la omnipotencia de la lgica y defienden los derechos de la
intuicin,tuvieronquecederaestemovimientoconelfindepoderjustificarseante
losojosdesusrivales,ysehallegadoaver,locualnodejadeserparadjico,que
se enuncien las reglas formales de la lgica intuicionista y que se constituya un
formalismointuicionista.
18.DELRAZONAMIENTOALCLCULO
Sepiensaqueresultaraprcticamenteimposiblesatisfacerexigenciastanestrictas
si se continuara expresndose en el lenguaje habitual, con su falta de precisin y
susnumerosasirregularidades.Esdehecho,poresto,quelaformalizacinsupone
lasimbolizacin.Unaaxiomticaformalizadaaparecedeestemodocomouncon
juntodesignos,unosquesonpropiosalateorayotrosquesonanteriores,provis
tosdelenunciadodelasreglasqueseaplicarnalmanejodetalessignos.Confre
cuenciaestasreglassedividenendosgrupos:lasreglasdeestructura,destinadasa
laformacindelasexpresiones(enellaspuedencolocarselasreglasparahacerlas
definiciones)ylasreglasdededuccin(destinadasalasdemostraciones).Laspri
meras siempre deben permitir reconocer sin disputa alguna si una expresin (ya
seaonoproposicional)seencuentrabienformaday,deestemodo,pertenecealsis
tema; las segundas, si una deduccin est bien llevada y si, en consecuencia, su
conclusinconstituyeunteoremadelsistema.Estasreglas,porsupuesto,dejanpor
completoaunladolasinterpretacioneseventualesdetrminosodefrmulas,en
treelloslosdelalgica.Slotomanencuentalaestructuraformaldelasexpresio
nes,lasucesindedibujospequeosqueseleendeizquierdaaderechaylneatras
lneasobrelahoja.Mspropiamenteconstituyenprescripcionesparahaceruncl
culo.Puedencompararsealasreglasdeljuegodeajedrezquenosmuestrancmo
debencolocarsealprincipiolaspiezasyluegoculessonlosmovimientospermiti
dosdecadaunadeellas.Entonces,unademostracinnoharunllamadoanues

/36 /
tro sentimiento espontneo de la evidencia de determinados encadenamientos l
gicos,sinoqueseocupardetransformar,engradossucesivosysinsaltarninguna
etapa, una o varias frmulas escritas con anterioridad como axiomas o teoremas,
haciendo mencin, en el caso de cada una de estas transformaciones elementales,
del nmero de la regla que la autoriza hasta que se llegue finalmente, lnea tras
lnea,alafrmulaquesebusca.Debidoauncambiobruscodeactitud,comparable
al que afecta la conciencia ante una figura ambigua, el pensamiento, en lugar de
atravesarlossmbolosparaapuntarporsuintermediarioalascosassimbolizadas,
ahora se detiene en los smbolos mismos, dejando para despus su posible inter
pretacin y retirndoles por el momento su funcin de smbolos con el fin de to
marloscomoobjetosltimos.
Lasexigenciasderigorhabanhechoquesedescartaracomosospechosaala
intuicinsensible,enespeciallarepresentacindefigurasenelespacio,paracon
fiar slo en la evidencia de los encadenamientos lgicos.Actualmente, las incerti
dumbres de la intuicin intelectual conducen a repudiarla y a sustituir el razona
mientopensado,oinclusohablado,porunclculohechosobresignosexpuestosa
la mirada sobre una hoja de papel. Slo regresando de esta forma a la intuicin
visualnorecaemosenelnivelprimero.Enprimerlugarsehalogradounprogreso
enelsentidodeloabstractoydelogeneralalrecurriralaposibilidaddehaceruna
interpretacin posterior de los smbolos, o mejor dicho, de una multitud de inter
pretaciones diversas. Pero tambin se ha alcanzado un progreso considerable res
pectoalaseguridadylaobjetividad.Silossignosconstituyenunnmerorestringi
do, si su figura no se presta a la confusin y si, por ltimo, se instituye en forma
expresaunalegislacincoherenteysinescapatoriasparasumanejo,entoncesnoes
ya posible ninguna impugnacin seria, como tampoco ocurrira en un juego bien
organizado:talagrupamientodesignosestprohibidoonoloest,aquellatrans
formacindeunafrmulaestprohibidaonoloest.ComoescribeCavaills:Un
razonamientoescritonopuedeengaar,puesensudiseoapareceranlasfiguras
excluidas.
25
En este caso, el error salta a los ojos como un error de clculo en
una operacin aritmtica, un movimiento equivocado en una partida de ajedrez,
unbarbarismoounsolecismoenunidiomaenelcualellenguajeestbienregla
mentado. De este modo el clculo formal, como ya lo anhelaba Leibniz, sustituye
conventajaalrazonamiento.
19.LAMETAMATEMTICA

25
J.Cavaills,Mthodeaxiomatiqueetformalisme,p.94.

/37 /
Con este cambio en el punto de vista que hace pasar, por lo menos de momento,
loscaracteresdelrangodemedioaldefin,surgennuevasposibilidadesespeculati
vas. El pensamiento se encuentra ahora en presencia de otro sistema de objetos
reguladosparacombinarseydisociarsedeacuerdoconleyesbiendeterminadasy
queexperimentanastransformacionesquenoson,sinrecordaralmatemtico,las
questetieneporcostumbreestudiarsobrefiguraso,mejoran,enlosproblemas
decombinatoria.Lossignos,deacuerdoconlasleyesquenormansuempleo,de
finenunasuertedeespacioabstractoquecuentacontantasdimensionescomogra
dos existen de libertad en la operacin concreta e imprevisible de la combina
cin.
26
Surge as la idea de una ciencia nueva cuyo objeto no seran ya los seres
matemticosdelosquehablabanlasfrmulas,sinolasfrmulasmismas,haciendo
abstraccindesusentido.Lasfrmulaselaboradasenrazndelosseresmatemti
cosseseparanporcompletodestosparafigurartambincomoseresdenaturale
zaoriginalydignasdeunestudioapropiado.
La metamatemtica ser, en relacin con la expresin matemtica, lo que las
matemticascomunessonenrelacinconsusobjetos.TodavaesHilbertelque,a
partirde1917,dioimpulsoaestenuevoordendeinvestigacionesque,bajosudi
reccin, comenzaron a desarrollarse en Gotinga, de modo que su nombre se en
cuentraasociadontimamentealasegundaylaprimerafasedelaaxiomtica.
No se trata en forma alguna de un juego gratuito. La metamatemtica se
encontrabaya,enciertaforma,enelpuntodeencuentrodevariaslneasdeinvesti
gacin.Primeroenlaconfluenciadedoscorrientesqueyaconocemos,laquetuvo
suorigenenlareflexinacercadelaparatolgicodelageometrayquealemple
arseparaperfeccionarladesembocenlaaxiomtica,ylasegunda,laquetendaa
reformarlalgicainspirndoseenlosmtodosdellgebrayhabalogradoconsti
tuirlacomounclculo.Porinfluenciarecprocalaaxiomticasetransformaba,en
tonces,enunclculo,entantoqueporsuladolalgicaseaxiomatizaba.Adems,
elgiroquehabantomadolaspolmicasacercadelproblemaprincipaldelfunda
mentodelasmatemticas(vaseelinciso27)sugerarecurriralformalismo,aun
queabordandolosproblemasbajounsesgoqueresultaraaceptableporlosenemi
gosdelosmtodospuramenteformales.YaZermelohabatratadoderesolverlas
dificultadesponiendoenmarchaloquepodrallamarse,enretrospectiva,laaxio
mticaingenua.Suresultadomsvisiblefuereafirmarensuactitudalosmatem
ticos empiristas o intuicionistas cuya doctrina, con Brouwer y su escuela, se desa
rrollabayafianzaba.Comosesabe,tomarencuentalossignostrazadossobreuna
hojaconstituyeya,enunsentido,elregresoalaevidenciaintuitiva.Sifueraposi
ble estudiar de acuerdo con mtodos cientficos estrictos las demostraciones im
pugnadas,haciendoabstraccindelasentidadesydelasoperacionesmatemticas

26
Ibidem,p.93.

/38 /
a las que remiten algunas de las cuales estn desprovistas de sentido a ojos del
intuicionista, en especial las que hacen intervenir la idea de un infinito actual,
pornotomarencuentasinonicamentesuscombinacionesconcretassobreelpla
nodelsimbolismo,setransformaraporcompletoelaspectodelproblemadefor
maquedierasatisfaccinalospartidosenpugna.Cambiandodeobjeto,transpor
tando el estudio del dominio de los seres matemticos al de los signos que los
representaban, y considerando, en lugar de las nociones que algunos piensan son
confusasovacas,lossmbolosqueseofrecenalamirada,secolocauno,sinrenun
ciaraningunadelasexigenciasdelrigorformal,enunterrenoqueelintuicionista
considerar como suyo. As, los problemas que concernan al infinito actual se
transforman en problemas que conciernen a un nmero finito de operaciones de
clculo, yaefectuadaso que sonefectuables, descansando en un nmero finito de
signosqueofrecelaintuicin.Entantoque,porotraparte,ellgicomsaltivono
puede hacer otra cosa que acoger, si bien no con favor, el propsito de constituir
unateoradelademostracinquesea,asmisma,demostrativa.
Adems, lejos de que la metamatemtica inventara arbitrariamente proble
masnuevos,esellalaque,porelcontrario,esrequeridaporciertosproblemasque
Hilbertdescubridesdequehizosusprimerasinvestigaciones,yjuntoconltodos
losaxiomticos.Especialmenteestablecerlacompatibilidadeindependenciadelos
axiomas de un sistema. Estos problemas, y los que los acompaan (integridad,
decidibilidad,saturacin,etc.)propiamentenosonproblemasmatemticospuesto
quenodescansansobrelosobjetosmatemticosmismos,sinosobrelasproposicio
nesquehablandeestosobjetos.Envistadequeresultanesencialesatodainvesti
gacinaxiomtica,nopodadejardehacersesentirlanecesidaddeelevarlosalni
veldelacienciaytratarlosenformarigurosaymetdica.stees,precisamente,el
findelametamatemtica.Veamos,porejemplo,elproblemadelanocontradiccin
que, junto con el de la decidibilidad, ha ocupado el mayor lugar dentro de estas
especulaciones. Recordemos la manera como se le resolva en las primeras axio
mticas: realizacin en una teora concreta cuya verdad atestiguara la experiencia
prueba que no deja de ser emprica y que no siempre es posible administrar;
reduccinaunateoraabstractacuyanocontradiccinerapostulada,loqueslo
lograbaaplazarladificultad.Peroelhechodequelacuestinsetraspongayque,
envezdeinterrogarseacercadelacontradiccinolacompatibilidaddelasideas,
unosepregunteacercadelaposibilidadoimposibilidaddeelaborar,apartirdelas
frmulas simblicas que enuncian los axiomas de una teora, y sujetndose a un
sistema bien definido de reglas expresiones de esta o aquella forma como por
ejemplo,haceraparecerunpardeexpresionesproposicionalesquedifieransloen
queunareproduzcaalaotrahacindolaprecederporunsignodenegacin.Sise
puede demostrar esta posibilidad o esta imposibilidad, se habr demostrado, por
esomismo,lacontradiccinylanocontradiccindelateora.

/39 /
20.ELLMITEDELASDEMOSTRACIONESDENOCONTRADICCIN
Sin embargo, se hace necesaria una condicin: cualesquiera que sean la compleji
dadeinseguridaddelateora matemticaestudiadaydelasfrmulassimblicas
endondeseexpresa,lademostracinmetamatemticaquedescansasobreestateo
ra deber, bajo pena de caer en un crculo vicioso o de peticin de principio, no
hacer sino encadenamientos deductivos muy simples y no discutidos, de forma
quelogrenenformairresistiblelaadhesindeunesprituatento.Delmismomodo
que la consideracin de signos remite a la representacin visual, as la demostra
cin sobre estos signos llama a la evidencia intelectual (aunque no sea sino para
entender el sentido de las reglas, juzgar si son aplicadas correctamente, etc.). Mas
yasearacionalosensible,unretornoasalaintuicinsloeslegtimocuandono
sevamsalldellmitedelasintuicioneselementalesyquenadielosospeche.
Pormsreducidoqueseaentonceselmargendelaapreciacinsubjetivapa
ra juzgar la validez de una teora, el formalismo intransigente no se considerar
an del todo satisfecho. No sera posible arreglrselas de modo que los procedi
mientos de la demostracin metamatemtica se encuentren integrados de alguna
formaenlamismateoradelacualdemuestralanocontradiccin,demodoquela
seguridaddelateoraasdemostradarecaigasobreestosprocedimientos?Seespe
rllegarallempleandoelingeniosoprocedimientodelaaritmetizacindelasin
taxis, obra de Gdel, que permite formular la sintaxis lgica de la aritmtica al
interiormismodelaaritmtica,deformaquetodaexpresindelalenguasintcti
ca pueda traducirse unvocamente en una expresin aritmtica. Si, por otra parte,
sehallegadoaestablecerestacorrespondenciadetalmaneraquetodaproposicin
que traduzca as una proposicin sintctica en lenguaje aritmtico pueda ser de
mostrableenlaaritmtica,entoncessehabrlogradoexpresarlasintaxisdelaarit
mticaalinteriordelaaritmtica.
Esposibleahorademostrarenesalenguasintcticalanocontradiccinde
laaritmtica?UnodelosprimerosresultadosaquefuellevadoGdelporlaapli
cacindesuprocedimientoresultprecisamenteeldeprobarlaimposibilidadde
taldemostracin.Y,dehecho,dejestablecidosendosteoremasdemetamatemti
ca(1931),primeroqueunaaritmticanocontradictorianopodaconstituirunsis
tema completo, lo cual conlleva, necesariamente, enunciados indecidibles; segun
do,quelaafirmacindelanocontradiccindelsistemafiguraprecisamenteentre
estosenunciadosindecidibles.
Esteresultado,queenaparienciaesnegativo,obtenidopormediodemto
dosformalesestrictosyluegocorroboradosporresultadosanlogosacercadepro

/40 /
blemasanlogossobreproblemasconexos,tienegranalcance.Esmsqueunsim
ple episodio de la historia de la metamatemtica que reanudaba, bajo una forma
nueva,elviejoidealdeunademostracinabsolutaalproponerseconstituirunfor
malismo susceptible de terminar volvindose a cerrar, de alguna forma, sobre s
mismo. En la actualidad se ha puesto fin a esta esperanza. Incluso dentro de la
cienciaformalporexcelencia,lamatemticaaxiomatizada,sehacenecesarioresig
narse a la separacin, que ya se crea haberborrado, entre verdad y demostrabili
dad. La primera nocin desborda a la segunda porque, como una de las teoras
matemticas ms elementales, comporta no slo proposiciones en la actualidad
indecididas sino proposiciones esencialmente indecidibles. Y como, por otro lado,
elprincipiodelterceroexcluidoyelenunciadocontradictorionopsonigualmente
indemostrables (es decir, para las cuales puede establecerse que son igualmente
indemostrables,elenunciadopyelenunciadocontradictorionop)porque,deotra
parte, el principio del tercero excluido cuya validez mantienen precisamente los
formalistascontrasusadversariosintuicionistas,aseguraquededosproposiciones
contradictorias una es necesariamente verdadera, aun en el caso de que no poda
mosdecircul,sehacenecesarioconcluirqueexiste,enelinteriordeunamatem
ticaaxiomatizada,algoverdaderoynodemostrable.Yaparaunalenguaformaltan
restringida como la aritmtica, su nocontradiccin no podr ser demostrada sino
medianteunaapelacinamediosqueleseanajenos.
21.LAAXIOMATIZACINDELALGICA
Problemas y dificultades anlogos a los que conoca la metamatemtica se encon

traban, al mismo tiempo, en el terreno de la lgica. Por lo dems, ambos rdenes
deinvestigacinseencuentranactualmenteasociadosntimamente.Cuandoanla
axiomticaseencontrabaensuscomienzos,lacondicindelalgicapodaparecer,
debido a su situacin inicial, como privilegiada. Una teora axiomatizada retiraba
su significacin y su verdad usuales a los trminos y postulados sobre los que se
edificaba,masparaestaedificacinhacaunllamadoateorasanteriorescuyaver
dad y sentido ya se encontraban presupuestos. Y en el punto de partida de estas
teorasprevias,anterioresatodaslasotras,seencontrabalalgica.Sindudasepo
daafirmardestaqueseaxiomatizabaasmismapuestoquedeallenadelante
sepresentaba,desdeFregeyenespecialenlagransntesisdeRussellyWhitehead,
como un sistema deductivo en el que estaban despejados expresamente trminos
primerosyproposicionesprimeras.Sloquetodavanosedabaaqu,siesposible
decirlo,sinoslounaaxiomticaconcreta.Lostrminosconservanaqu,msome
nos,suacepcinusualprecisadasloporlasrelacionesqueenunciabanlospostu
lados.Ystoseranverdaderosaxiomas,alavezproposicionesprimerasyeviden

/41 /
cias intelectuales. El sistema tena un sentido pleno y una verdad absoluta que se
propagaban,mediantelasdefinicionesylasdemostraciones,alostrminosderiva
dosyalosteoremas.Alproponersefundarlaaritmtica,yporsuintermediotodo
eledificiodelasmatemticassobrelalgica,ellogicismodeFregeydeRussell
tendaaalgomuydistintoqueproseguirsimplementeelmovimientoderetroceso
hacialosprincipios;pensabaenllevarlohastasutrmino,alcanzarlaroca,ellti
mo fundamento. Los trminos primeros de la axiomtica peaniana se mantenan
relativamente indeterminados, comportando una pluralidad de interpretaciones;
las proposiciones primeras padecan la misma indeterminacin y, al ser funciones
proposicionalesmsqueproposiciones,no constituannipodan hacerloel objeto
deunaafirmacincategrica.
Definiendoestostrminosesencialmentevariablesconlaayudadeconstan
tes lgicas, pensadas como otras tantas esencias intemporales, demostrando estos
postulados, extraos hasta ah a lo verdadero y a lo falso, recurriendo a la ayuda
de los principios lgicos, concebidos como otros tantos axiomas que se imponen
absolutamentealpensamiento,Russellpretendadotaralosprincipiosdelasma
temticas,yenconsecuenciaatodaslasdeduccionessubsiguientes,deunsentido
absoluto y de una verdad absoluta. La matemtica dejaba de ser esta ciencia en
dondenosesabenuncadequsehablanisiloquesediceesverdaderoyvolva
asercategricodeductivaalmododelalgicadelacualextraatodasusustancia.
Peroelcrepsculodelasevidenciasnotardaraenalcanzartambinalal
gica.Yalaaparicin,conocasindelateoradelosconjuntos,deantinomiasdelas
cualesseadvertaqueelorigendebaserbuscadoensunivel,yluegoeldesacuer
doprofundoquesehabamanifestado,ensudiscurso,acercadelavalidezdeste
oaquldesusprincipios,comenzaronaconmoverlaideadeunalegislacinlgica
absoluta, nica y universal. La nueva orientacin que hacia 1920 algunos lgicos
comienzan a dar a su trabajo iba, ahora, a desagregar la lgica desde su interior.
Pasconellaloqueunosdeceniosanteshabapasadoconlageometra.Delmismo
modoenquestadejdesernicaconlaaparicindelasgeometrasnoeuclidia
nas despus de haber sido intuitiva porque se la puso en forma axiomtica, en la
mismaformalalgicasepluralizayseaxiomatiza.Resultabainevitablequelal
gica, transformada en deductiva, se transformara tambin en el sentido de una
axiomticaabstracta.Lasrazonesqueinvitabanadejardelado,eneldesarrollode
unsistema,elsentidointuitivodelostrminos,portemoraquepasarainadvertido
en los razonamientos ulteriores, tenan valor para la lgica como para cualquier
otradisciplinadeductiva.Enlostrminosdelateoraresultabanecesarionoversi
noelsoportedelasrelacionesenunciadasenlospostulados.Deestemodolaspro
posicionesdelalgica,despojadasasdesusentidopropiamentelgicocomolo
estabanlasdelageometradesusentidopropiamentegeomtrico,seconvierten
puesenformaspuras,merastautologascomoloentenderWittgenstein.Estoes,

/42 /
enunciadosqueestrictamentenodicennadaacercadelorealperoque,porestara
zn,semantienenvlidoscualquieraqueseaelcontenidoconcretoqueseviertaen
ellos. Esta interpretacin formal de la lgica favorece la aparicin de lgicas no
clsicasdelmismomodoque,porunaaccinrecurrente,stasvienenareforzarla.
Porquesilosprincipiossonestablecidosslohipotticamente,nohayyanadaque
prohba establecer otros, modificar ste, eliminar aqul.As se pasa de la lgica a
las lgicas que uno construir a su voluntad. A su vez, tal pluralidad de lgicas
retirasuprivilegioalalgicaclsica,quesloesunsistemaentreotrosy,aligual
que ellos, una simple arquitectura formal cuya validez depende slo de su cohe
renciainterna.
Sloquelaanaloga,conrespectoalageometra,dejadeser,enestepunto,
esencial,dadoquelalgicanodisponeyadecienciasanterioresdelasquepueda
hacerseusoparaconstruirlacomounaaxiomticaformal.Ya,amedidaquesere
montaba la escala de las ciencias iba en aumento la dificultad de no presuponer
nada en el trabajo de la axiomatizacin que perteneciera a la ciencia de la cual se
trataba.Porejemplo,enelcasodelaaritmticalapluralidadnumrica.Conlalgi
ca,ladificultadllegaaconvertirseenunaimposibilidadabsoluta,puesnecesaria
mentehacefaltaunalgicaqueregulelasoperacionesdelaxiomtico.Seguramen
teesposiblevigilarparapoderajustarlalgicaqueseestaxiomatizandosobrela
mismaquesirveparaaxiomatizarlaparahacer,dichoenotraforma,quelalgica
operatoriaseapliquesobrelalgicaaxiomatizadacomounodesusmodelosposi
bles.Noobstante,subsistendudasbastantevergonzosas:primero,seestseguro
de poder lograr una correspondencia completa entre las dos? Ya a los primeros
artficesdelalgicasimblicanoseleshabaescapadoobservarquedeterminadas
reglas de la deduccin formal no podan ser incluidas en el formalismo, como la
licencia de reemplazar, dentro de una frmula del clculo, las variables por cons
tantes individuales, permiso sin el cual la frmula no tendra ningn uso, puesto
queserapresupuestanecesariamentedentrodelusodetodaformasimblicaque
pretendieraexpresarla.Deestemodoresultaranecesariodistinguirenformaclara
entrelosaxiomasylasreglas,entrelosenunciadosqueintegranelclculoyaque
llosqueloregulan,dominandodealgunamaneraestosltimosalclculomismo,
pero siguiendo sindole exteriores. Tal distincin naturalmente va a imponerse a
todatentativadeaxiomatizarlalgica,locualindicaqueresultaimposiblellevara
untrminofinallaobradelaaxiomatizacin,lareduccindelointuitivo,quese
r reabsorbido por la lgica. Siempre subsiste algo anterior, lo intuitivo previo,
puessilasproposicionesdelclculopueden,odeben,servistascomonicamente
formales,porelcontrario,lasproposicionessobre elclculonopuedenservacia
dasdesignificadoynecesariamentedebenserentendidasensusentidointuitivo.
Por otro lado, la multiplicacin de las lgicas no simplifica el asunto. Con una
lgica que es considerada nica y absoluta, la correspondencia entre su forma

/43 /
axiomatizada y su uso operativo, aunque continuara siendo parcial, al menos
quedabaestablecidacomoalgopertenecienteaellamisma.Estonopuedeyaocu
rrir en el caso de las lgicas construidas ad libitum, dado que su multiplicidad y
diversidadlesprohbenreferirseporigualanuestralgicaoperatoria,delacual
seralaboriosoaceptarquefueraigualmentemaleable.
22.LAMETALGICA
Entalforma,laaxiomatizacindelalgicalafuerzaaldesdoblamiento,nosloal
queespropiodetodaaxiomticaquepermitesehagadeellaunalecturaabstracta
oconcreta,sinotambinalquedemandalaanterioridaddelaactividadconstructi
va,tomandocomoreferenciatodaconstruccinformal.Ensutotalidad,laaxiom
ticaformalseencuentrarodeadaporundominiointuitivo:pordebajo,lasinterpre
tacionesconcretasquedeellasepuedandar,losmodelos,queporlogenerallehan
servidodebase;porarriba,lascienciasquelesonanterioresyqueintervienen,en
su proceso de edificacin, con su verdad categrica y significado intuitivo. Pues
bien, la colocacin de la lgica, al extremo de la escala de las ciencias, le impide
apoyarseenunacienciapreviamenteconstituida.Noobstante,sisedeseaexpresar
el saber que va implcitamente empleado en el trabajo de la axiomatizacin de la
lgica, ser imposible efectuarlo dentro de la lgica, sino en una nueva disciplina
cuyoobjetoseranlasfrmulasdelalgicaaxiomatizada,ascomolasreglasdesu
manejo.Lametalgicadesempeaenestaforma,enrelacinconlalgica,elmis
mopapelquelametamatemticaenrelacinconlasmatemticas.Sindudaresul
taraexageradoafirmarquenacidelaaxiomatizacindelalgica,puesencierto
sentidotodosloslgicoshabanhechoya,enciertogrado,metalgica,aunquesin
saberlo.Laaxiomatizacinlosobligatomarconcienciayadistinguirlaenforma
expresadelalgicaalacualestvinculadacomosuobjeto.Aunalenguaobjetiva,
comoloeselclculoformal,vieneasobreponerseunametalenguaquecomprende
especialmentelasreglasdesintaxisdelclculoformalylasreglassemnticasdesu
interpretacinconcreta.
Porsupuesto,nadaimpidetomarahora,asuvez,lametalenguacomoobje
todeestudioyformularsusintaxisyorganizarlaposteriormenteenunateorade
ductiva, la cual podr ser axiomatizada, simbolizada y formalizada. Slo que por
estaraznseemplearunametalenguanuevao,siassedesea,secrearelobjeto
deunametalgicanueva.Deestemodosepuede,almenosenteora,proseguiren
forma indefinida tales escalonamientos, indicando con la palabra indefinida, la
imposibilidad de sealar un lmite a la regresin formalizadora y eliminar en el
puntodepartidadelaelaboracinaxiomticatodorastrodeintuicin.

/44 /
IV.ELMTODOAXIOMTICOENLACIENCIA
23.LASVENTAJASDELMTODOAXIOMTICO
Ensusprincipios,laformulacinaxiomticadeunateoradeductivapodrapare
cerquetenauninterslimitado.Entrelosmatemticos,grancantidaddeellosno
vean en ella sino poco ms que un procedimiento elegante de hacer una exposi
cin, cuyo refinamiento era muy superfluo, casi una especie de juego intelectual
apto slo para satisfacer espritus en exceso escrupulosos en lo que respecta al ri
gor lgico, pero que se encontraba al margen del trabajo cientfico y verdadera
menteproductivo.Debidoasucarcterdeliberadamenteformal,noseprohibala
axiomticaasmismaenriquecerconsustanciaalgunadecarcternuevoelconte
nido de nuestro conocimiento? Su utilidad como mtodo an pareca dudosa, no
sloenloquetocaasusaplicacionesprcticas,sinoinclusoalinteriordelaciencia
pura.Noobstante,lahistoriadelacienciamuestraenformaexcesivaque,confre
cuencia,lasinvestigacionesinicialmentemsdesinteresadassonlasquealfinalse
revelancomolasmsfecundas.
Despusdetodo,unesprituescpticonohabraexpresadoobjecionesmuy
parecidasenelmomentoenquelosgriegos,alponerenformadeductivatodoun
cuerpodeverdadesempricas,construyeronlasmatemticascomounacienciara
cional,iniciandoenestaformaalahumanidadenlaeracientfica?
Sisereflexionasobreellas,lasventajasdelmtodoaxiomticoresultanma
nifiestas. En primer lugar constituyen un instrumento precioso de abstraccin y
anlisis.Elpasodeunateoraconcretaalamismateoraaxiomatizada,formaliza
daposteriormente,renueva,prolongndolo,eltrabajodeabstraccinquelleva,por
ejemplo,deunnmeroconcreto(unmontndemanzanasodeguijarros)alnme
ro aritmtico, y despus de la aritmtica al lgebra, reemplazando los trminos
individuales por variables de las cuales slo estn determinadas las relaciones. Y,
enfin,dellgebraclsicaalamoderna,enlacualnoslolosobjetossinotambin
lasrelacionesqueseefectansobreestosobjetoslleganasuvezaserconcretamen
te indeterminadas, fijadas slo por algunas propiedades fundamentales muy abs
tractas. Por otro lado, ante el tratamiento axiomtico, las nociones fundamentales
de una teora quedan con frecuencia confusas, tienen comprehensiones que son a
la vez demasiado ricas e insuficientemente explicadas. Nada garantiza entonces
queestoselementosdiversoscontinuarnsiendosiemprecompatibles,ynadanos
precave en contra del peligro de resbalar en forma inconsciente en nuestros razo

/45 /
namientosdeunoaotro.Elmtodoaxiomticoprosigueelanlisisdelasnociones
primeras, obligando a aislar ciertas propiedades enunciadas expresamente en los
axiomasyausarnicamenteaellasoloquesehayadeducidodeellas.
Un progreso en la abstraccin va siempre a la par con un progreso en lo
general,dejandocaeralgunasdelasdeterminacionesdisociadasporelanlisis.La
reduccin de la comprehensin elimina las restricciones y asegura el ensancha
mientodelaextensin.Russellafirmaquegeneralizarestransformarunaconstan
teenunavariable,ytalesprecisamenteeltrabajodelaxiomticocuandosustituye
larecta,lacongruencia,porx,y,quesatisfacenalasrelacionesqueenuncianlos
postulados. De este modo, cuando descartamos las significaciones intuitivas, que
siempre son especiales, no slo nos hacemos capaces de pensar en forma ms de
sembarazadalateorainicial,sinoque,degolpe,seformauninstrumentointelec
tual plurivalente que puede utilizarse en todas las teoras isomorfas a la primera.
Del mismo modo que una funcin es, como se ha dicho, un molde de proposicio
nes,unateoraaxiomatizadallegaaserunaespeciedefuncinterica,unmolde
deteorasconcretas.Eldefectodelaunivocidad,lejosdeperjudicaralasdefinicio
nes por postulados, por lo contrario constituye su inters. La indeterminacin de
unaestructuraformalnopuedeconsiderarseunaindigenciadesdeelmomentoen
que no es una cualquiera, sino que se encuentra regulada por condiciones muy
precisas. La pluralidad de los posibles, en los lmites precisamente delimitados,
representaporlocontrariounaverdaderariquezavirtual.Seobtienedeestemodo,
porlaaxiomtica,unaeconomaimportantedepensamiento,puesserenenvarias
teorasenuna,lomltiplesepiensaenuno.
Perotambinseganabastanteparaelmismosaber.Primero,ensuorganiza
cindeconjunto.Aligualquelaanatomacomparada,guiadaporelprincipiode
la identidad de plan, discierne en su pintoresca variedad los rganos homlogos,
astambinlaaxiomtica,aldescubrirlasanalogasformales,revelacorresponden
ciasinsospechadasentrelosdominiosdiversosdeunamismacienciaeinclusopa
rentescosentrecienciasquealparecereranajenasoloparecan.Alponerderelieve
la estructura invariante que es comn a teoras que al parecer son heterogneas, se
hace posible dominarlas mediante el pensamiento y, en una visin ms sinttica,
abrazarconlamiradavastospaisajesintelectualesquesloseconocanfragmenta
riamente, en lo cual encontrarn provecho los espritus que se encuentran ms
atentosalacrecentamientocuantitativodelosconocimientosqueasuorganizacin
armoniosa.Puestalorganizacinhacesensibleslaslagunasquelaanalogainvitaa
llenar.Cadateorasacaprovechodelasque,enlaactualidad,sedenominanempa
rentadas.Setransfierenaqu,dondenolosugeranadaintuitivo,losresultadosad
quiridosenotraspartes.Elrigordelmtododeexposicinconduceas,enltima
instancia,asufecundidadparaeldescubrimiento.

/46 /
A estas ventajas, que ya en primer grado ofrecen las primeras axiomticas,
vienenenformanaturalacombinarse,enlasaxiomticasformalizadas,lasdetodo
clculosimblico:seguridad,objetividad.Elcarcterciegoycuasimecnicodesus
procesosnoes,enformaalguna,sumenorinters,puespermitequeseanejecuta
dosporunamquina,reservndoseaselesprituparalasoperacionesdenivelsu
perior.Mediantelasimbolizacinylaformalizacindelasteoras,ypormediode
losisomorfismosasrevelados,lasgrandescomputadoresdeEUAestnpasandoa
ser, si no mquinas repensar verdaderas, al menos auxiliares cientficos cuyas
aptitudes superan muy ampliamente la ejecucin de las operaciones o problemas
quesonpuramentenumricos.Ydeentrelosproblemasnumricosquesoncapa
cesderesolverfiguran,precisamente,losproblemasdedecisinacercadelasaxiom
ticasformalizadas.Talesusosansonnuevosysusdesarrollosanimprevisibles,
perosepiensaqueyasinayudadelasmquinasyparaelespritureducidosloa
susrecursos,lasimbolizacinylaformalizacinelevanlaabstraccinaxiomticaa
lasegundapotencia,sisepuededeciras.
24.LAAXIOMATIZACINDELASMATEMTICAS
Resultaraenextremodifcilmedirconprecisinlapartequelecorrespondealm
todoaxiomticoeneldesarrollodelasmatemticasmodernas.Msquedeunaca
usalidad bien orientada, indudablemente sera obligado hablar con frecuencia de
accionesrecurrentesoconjugadas.Lateoradelosgrupos,porejemplo,delaque
hasidoposibledecirqueeslamatemticadespojadadesusustanciayreducidaa
suformapura,naciantesqueellaysedesarrollinicialmenteenformaindepen
diente.Noobstante,elesprituenqueseinspiraesttandeacuerdoconlaaxiom
tica,ylosproblemassonamenudotancercanos,queambosrdenesdeinvestiga
ciones se encuentran en la actualidad relacionados muy ntimamente.
27
Precisa
menteporquenosetratadeunainvencinaisladaylocalizada,surgidaenforma
accidental, y porque tiene su apoyo en las mismas tendencias que caracterizan el
espritu matemtico europeo, las cuales no han hecho otra cosa que exasperarse
desdehacemsde100aos,eslacausaporlacualelmtodoaxiomticonologra
disociarse del todo. Sus rasgos caractersticos ya son reconocidos fcilmente en el
pensamientomatemticoclsico:abstraccinygeneralizacincrecientes,rechazoa

27
Cf.G.Juvet,Lastructuredenouvellestlioriesphysiques,p.169.Todageometracoherenteconstitu
yelarepresentacindeciertogrupo.Ahorabien,todageometradescansaigualmentesobreunsis
temadeaxiomas,demodoquetodaaxiomticaesigualmente,desdeciertopuntodevista,larepre
sentacindeciertogrupo,elgrupodeoperacionesquedefinenlosaxiomasyqueactansobrelos
objetosdelosquetratantalesaxiomas.Cf.,delmismoautor,Laxiomatiqueetlathoriedesgroupes,
CongrsIntem.DePhil.Scientifique,1935,vol.VI.

/47 /
laintuicinquesesustituyeconlalgica,subordinacindelcontenidoalaestruc
tura,establecimientodecorrespondenciasunificadoras,etc.Noresultamenoscier
to por esto que Hilbert, al haber enseado a los matemticos a pensar axiomtica
mentehayamodificadoprofundamenteelestilomatemtico,precisamentedon
deelmtodoaxiomticonoseempleaenformasistemtica.
28
Perosteloescadavezms.Todateoramatemtica,desdelaaritmticayla
teoradelosconjuntoshastaelclculodeprobabilidades,hasidoyaaxiomatizada
y, con frecuencia, en formas mltiples. En Francia, el gran tratado que se public
bajo el pseudnimo genrico de N. Bourbaki, se propuso exponer, mediante
este mtodo, todo el conjunto de las matemticas. Bien se entiende que en el caso
deunateoraqueseencuentratodavamuycercanaasusorgenesconcretos,como
eselcasodelasprobabilidades,laformaenquelaaxiomatizacindesembarazaa
la ciencia de los problemas concernientes a la esencia de las entidades de las que
trata, y que son problemas de los cuales hasta hace poco una ciencia racional no
pensaba poder liberarse. La parte ms difcil de un tratado de las probabilidades
era,confrecuencia,laintroduccin,enlacualelautorsesentaobligadoaprecisar
lo que significaba esta nocin mediante la cual pretenda hacer ciencia. Quedaba
entoncesatrapadoenestedilema,obiennosremitaalaintuicinalhablardecar
tas,bolas,dados,centavos;obiendabaunadefinicinabstractaenlaquepodadi
simularbien,masno suprimir,lacircularidad:laprobabilidad,larelacindeln
mero de casos favorables con la de los casos posibles con la condicin de que stos
sean igualmente probables. Esta notoria dificultad ilustra sorprendentemente lo que
tienedeincmodaytransitorialafasedeladeduccinconcreta,enlacualsedebe
ynosepuedejustificarlosprincipios.Lascosasquedabanclarasenlafaseempri
caeinductiva.Aldejarnosguiarpornuestrosentimientointuitivodelasprobabili
dadespodramosver,porejemplo,quenoexisteraznalgunaparaquecaigagui
laosol.Ydespusllegamosaestablecerlasdosleyes,quelaexperienciaverificar,
delasprobabilidadestotalesydelasprobabilidadescompuestas.Yestovolvera
resultarclaroenlafaseaxiomtica,ladeladeduccinabstracta:ambasleyesque
darnestablecidasahoracomoprincipios.
Tal purificacin conceptual inicitica constituye apenas el beneficio menor
queesposibleobtenerdelmtodo.Comosehavisto,elanlisisaxiomticodestaca
las estructuras de las teoras particulares que se encuentran ya constituidas, reve
lando as las analogas formales entre teoras con frecuencia muy alejadas en su
contenidoyqueporestaraznpermanecencomosifueranindependientes.Tales
el caso, por ejemplo,de la teora de la medida y el clculo de probabilidades. Del
mismomodosedescubrenestructurastopolgicasenconjuntosdeelementosque

28
Cf.J.Dieudonn,DavidHilbertenLeLionnais,Lesgrandscourantsdelapensemathmatique,Rev.
DeMetaph.,1935,pp.375384.

/48 /
nosonyapuntos,sinofuncioneso,incluso,elementosquesonesencialmentedis
continuoscomolosnmerosenteros.Lateoradelosespaciosabstractos,otopolo
gageneral,quesedebeaM.Frchet,seconvierteasenunodelosfrutosmsbe
llos del mtodo axiomtico. Las teoras matemticas son igualmente puestas en
correspondencia con teoras extramatemticas, especialmente con teoras lgicas.
Elclculodeprobabilidadesconciertaslgicasplurivalentes;latopologaconde
terminadosclculosdelgicamodal;teorasantiguas,puestasenclaroconunaluz
nuevaprocedentedelisomorfismo,puedenexperimentardesarrollosinesperados.
Lasimilituddefuncionesllevatambinacrear,paraunateora,nocionesabstrac
tasquenopodansugerirnadaentantoseencontrabansujetasasuinterpretacin
primigenia.Deestemodonacenseresmatemticosnuevos.
Nosloseaprovechandeltratamientoaxiomticolasteorasparticulares,si
noquetodalafisonomadelconjuntodelasmatemticasseencuentratransforma
da. Debido a parentescos insospechados que se revelan de pronto, se redistribuye
eluniversomatemtico.Elordentradicional,
29
querepartalasdisciplinasmatem
ticas de acuerdo con los objetos de estudio (aritmtica, lgebra, anlisis infinitesi
mal, geometra) parece en la actualidad tan superficial como el de las antiguas
clasificacioneszoolgicasqueagrupabanalosanimalesdeacuerdoconsusseme
janzas exteriores (acuticos, terrestres, areos) en lugar de basarse en las similitu
desdesuestructura.Secoordinanahorateorasquetratanacercadeobjetosmuy
diferentes pero que se encuentran dotados de propiedades formales anlogas. La
teoradelosnmerosprimossehallamuycercanaaladelascurvasalgebraicas,la
geometra euclidiana a las ecuaciones integrales simtricas. Y la subordinacin se
basasobrelajerarquadelasestructuras,quevandelasmssimplesygeneralesa
lasmscomplejasymsespeciales.
En primer lugar, algunas estructuras maestras que tienen un carcter ms
amplio: estructuras algebraicas, estructuras de orden, estructuras topolgicas. A
continuacin estructuras que son ya ms complejas y diferenciadas, en las que se
combinanorgnicamentedosomsdeestasestructurasmaestras,comoporejem
ploellgebratopolgica.Despussloteorasmsespecialesenlascualeslosele
mentosempiezanacobrarunaindividualidadmuchomsmarcada.Esenesteni
veldondesereencuentralamayorpartedelasteorasdelamatemticaclsica.S
loqueenlugardepermanecerindependientesycasiaisladas,sevenahoradeter
minadas por entrecruzamientos diversos de algunas teoras ms generales. Por
ejemplo,elconjuntodelosnmerosrealespuedeserconsideradocomouncuerpo
o como un conjunto ordenado, o bien como un espacio topolgico, etc., de modo

29
LapartefinaldeesteprrafoseencuentrainspiradadirectamenteporN.Bourbaki,Laarchitecture
desmathmatiques,enLeLionnais,op.cit.,pp.4344;J.Dieudonn,Laxiomatiquedanslesmathmati
quesmodernes,Congrsintern.DePhil.DesSciences,1949,III,p.48;Chevalley,art.cit.,pp.383384.

/49 /
que las propiedades de los nmeros reales son, por una parte, las que es posible
leer en los teoremas que les son aplicables de cada una de las teoras correspon
dientes y, por otro lado, las que resultan de la validez simultnea de estas teoras
diversasodevariasdeentreellas.
25.LAAXIOMATIZACINENLASDEMSCIENCIAS
El sistema axiomtico no se aplic exclusivamente a las matemticas sino que se

desbordportodoslados.
Noconstituirsorpresaalgunaqueunmtodocuyopropsitoessuplantar
laintuicinporlalgicahayaencontradosucampodeeleccinenlamismalgica.
Estacienciahaceenlaactualidadunempleosistemticoyregulardeellay,alcon
trario,suusovadisminuyendoamedidaquesedesciendeenlaescaladelascien
cias,cuandosepasadelamecnicaaotraspartesdelafsicay,deall,alasciencias
delanaturaleza.Podradecirsequenohaexcedidoaneldominiodelafsica.Los
ensayosquesehanhechoenelcampodeotrasciencias,comoWoodgerlointent
conlabiologa,continansiendoespordicosysuintersradicaexclusivamenteen
lacuriosidadqueprovocan.Nosetratadequeningunacienciarechace,porsuna
turaleza misma, su empleo, pero ste, para que rinda frutos, slo debe llegar a su
horayenelmomentoenquelacienciaencuestinalcanceciertogradodemadu
rez.Existeunaespeciedeleydeldesarrollodelascienciasquelashacepasarenun
orden irreversible, y cada una de ellas, a su turno, de acuerdo con el rango que
ocupan en la jerarqua, por cuatro etapas sucesivas: la descriptiva, la inductiva, la
deductivaylaaxiomtica.Unaaxiomticaquedaenunaespeciedevacosinoes
construidasobreunateoradeductivaprevia,lacualcarecedevalorcientficosino
organizaunvastoconjuntodeleyesadquiridasinductivamente,trasunaprolonga
da exploracin de los fenmenos. La fsica inductiva en los siglos XVII y XVIII dio
paso,enelsiglo XIX, alaerade lasgrandesteorasdeductivasy,enlaactualidad,
hallegadoalpuntoenelcualeltratamientoaxiomticoleesampliamenteaplica
ble.
Nosiemprehansido suspartesinicialeseneltiempo lasquehanobtenido
msbeneficiosdeestetratamiento.Determinadascaractersticasdelasteorasnue
vasque,porsupuesto,seapoyanentodoconocimientoadquiridoconanteriori
dad,inclusocuandosteescorregidolaspredestinabanaello,ynosloelhecho
de que nacieran en la misma estacin en que la axiomtica floreca. En primer lu
gar, su carcter altamente abstracto y formal que inevitablemente resulta, entre
otrasmuchasrazones,dequehandejadodeexistirdentrodelaescaladenuestra
intuicin.Unafsicadeloinmensoyunafsicadelonfimodesconciertannuestro
poderderepresentacinconcreta:lacurvaturadelespaciotiempo,elspindelelec

/50 /
trnnotienenyasinounvalormuydbilmenteanalgico.Inclusoestalejanaalu
sinalaimagensedesvanecedeltodoconelsimbolismomatemtico,elnicoque
daalasteorassuexpresinexacta.Adems,ciertasparticularidadesquesonesen
cialesalanuevafsicafavoreceneinclusoimponenelusodelmtodoaxiomtico.
ComoloexplicaJ.L.Destouches,unafsicaenlaquetodaslasmedidassimult
neasnosonposiblesnopuedeserunafsicadelaspropiedadesintrnsecasydebe
limitarse a ser una fsica de relaciones.
30
Una fsica as necesariamente debe ser
estructural.Demandaenformaexpresalasubordinacindelostrminosalasrela
ciones,queestancaractersticodelordenamientoaxiomtico.
Si es que no se ha extendido mucho el uso de exponer axiomticamente el
contenido de la fsica clsica no se debe a que este asunto presente dificultades
especiales,almenosparalaspartesyasistematizadas.
La axiomtica consiste en el perfeccionamiento de la teora deductiva, lo
cualtambinsignificaquetodapuestaenformadeductivaencaminayaporlaruta
delaaxiomtica.Lacostumbrededuplicarellenguajemedianteelsimbolismoma
temtico ha acostumbrado a los fsicos desde hace mucho tiempo a distinguir no
entreteorasconimgenesyteorasabstractas,comoentredosaspectos,unocon
cretoyotrosimblicodelamismateora.Perodeacuerdoconlacomparacinde
Poincar,lasimgenesnosonsinovestidurassometidasalcaprichodelamoda,en
tanto que la verdadera teora, la que permanece, es el sistema de ecuaciones, esto
es,derelaciones.Delmismomodo,nohandejadodeobservarlassimilitudesfor
malesquesedanentreecuacionesosistemasdeecuacionesquepertenecenacap
tulosdelafsicaquesonconcretamentedistintosyque,porejemplo,rigenunosa
losfenmenosmecnicosyotrosalosfenmenoselectromagnticos:entonces,los
isomorfismoslessonfamiliares.Peroyadentrodelaorganizacinconceptualque
presuponeelestablecimientodeleyes,eltrabajodeabstraccinhaceunllamadoa
lasaxiomticasulteriores.Silafsicaesunacienciadeloconcretoenelsentidode
quedescansasobreloreal,porlomenoslostrminosentrelosqueseestablecenlas
relacionesqueenuncianlasleyesson,porcompleto,algodistintoalosobjetoscon
cretos.Lamasa,lafuerza,lapotencia,laresistencia,sonentidadesabstractassuge
ridas seguramente, como su nombre lo indica, por imgenes, pero cuyo sentido
propiamente cientfico queda fijado exclusivamente por las relaciones que sostie
nen entre ellas y con otras de naturaleza semejante.
31
Las nociones intuitivas han
servido,ensuorigen,paraestablecerlasleyes,perounavezelaboradalareddele
yeslaperspectivasehainvertido:eselconjuntodeleyesdelamecnicaclsica,de
la termodinmica, de la ptica el que da, de las nociones fundamentales de cada
una de estas teoras, una definicin disfrazada. Para descartar definitivamente

30
Essaisurlaformegnraledesthoriesphysiques,p.102.
31
Cf.J.Ullmo,Physiqueetaxiomatique,Rev.DeMtaph.,1949,pp.126138.

/51 /
talessignificacionesintuitivasadventiciaseinoportunas,paraexponerensupure
zaintelectualelsistemadelasrelaciones,ningnmtodopodrasermseficazque
elmtodoaxiomtico.
26.LOSLMITESDELMTODOAXIOMTICO
Lasventajasqueofreceestemtodonodeben,sinembargo,disimularsuslmites.
Enprimerlugarnosedebeolvidarqueslorepresentaunadelasfasesdelacien
ciayqueinclusoellgicoyel matemticonosedesinteresandeninguna manera
delaverdadmaterialdesusproposiciones.Elaritmticobienpuedepretenderque
la descuida, pero sin embargo no deja de acoger, aparte de situarlos en un nivel
inferior, muchos teoremas empricos, que en realidad son verdaderas leyes in
ductivas.Peroenellugarprecisoenqueseprocedeaxiomticamente,noserapo
siblellevaradelanteelmtodohaciadondeapunta.Esteseproponeperseguirala
intuicin para sustituirla no ya por el razonamiento sino por un clculo, por un
manejoreguladoyprivadodesmbolos.Enrealidadelformalismonoescapazde
funcionarsinalimentarse,ensteuotrolugar,delaintuicin.Y, enprimerlugar,
delaintuicinconcretaquelosostiene.
Sloocurreenloslibrosqueunaaxiomticacomienzaconlosaxiomasy,en
elespritu delaxiomtico,ahtermina,puespresuponeladeduccinmaterialala
quedaforma,ysta,asuvez,harequeridounlargotrabajoinductivopreviopara
poderreunirlosmaterialesalosquedaorganizacin.Sobreestasbases,eltrabajo
verdaderodelaxiomticoesdescubrirlosaxiomasy,dehecho,nodeducirlascon
secuencias de principios dados, sino por el contrario, frente a cierto conjunto de
proposiciones,descubrirunsistemamnimodeprincipiosdeloscualessepuedan
deducir.Alanlisisinductivoque,deloshechosseremontadelasleyes,sucedeel
anlisis axiomtico que, prosiguiendo la obra de sistematizacin deductiva, se re
montadelasleyesalosaxiomas.Unavezquestoshansidotraducidosasmbo
los, con sus reglas de funcionamiento, el formalista podr olvidar las significacio
nesintuitivasiniciales.stasnohanrequeridomenoseldiseodesuconstruccin
ysolas,inclusoahora,hacencomprenderlaslneasmaestrasyloscontornosyase
guransuunidad:unidadorgnicaynomerayuxtaposicinaccidentaldeaxiomas.
Eldefectodeunapresentacinaxiomticaabrupta,enelmomentoenqueafectaa
espritusquenoseencuentran preparados,seencuentraprecisamenteenestaim
presin irresistible de arbitrariedad y vacuidad. La axiomtica prcticamente no
presentaintersaquienpreviamentenohaasimiladoelconjuntodeconocimientos
concretosqueordenacuandolosesquematiza.Noessloporjuegoqueseconstru
ye una axiomtica, y los instrumentos intelectuales se encuentran hechos para ser
utilizados.Inclusoeltericopuro,quedejaalosdemselusodelosinstrumentos,

/52 /
noseencuentramenosconstreidoatomarenconsideracinunmodelo:elmodelo
simblicomismo.
Se pone otro lmite al uso del mtodo axiomtico: el teorema paradjico de
Skolem. A todo sistema que excede un nivel muy elemental y que comporta un
modelo en un dominio cualquiera, es posible asignarle tambin un modelo en el
dominiodelosnmerosnaturales.Ahorabien,elconjuntodelosnmerosnatura
lesconstituyeuninfinitoenumerable,queeslapotenciamsdbildelosconjuntos
infinitos.Deesteteoremaresultaqueeltratamientoaxiomticodesvanecedecierta
formatodaslaspotenciassuperiores.Porejemplo,elcontinuonopuedeserconce
bidoensuespecificidadestructural,puestodaaxiomticaquesedconllevarun
modelo enumerable. Los resultados obtenidos posteriormente por Von Neumann
muestran que la potencia de un conjunto es relativa a la axiomtica empleada, y
vanenelmismosentido.Constituaunaventajadelmtodoaxiomticoreunir,por
la identidad de su estructura, una pluralidad de sistemas isomorfos. Si ahora los
sistemasquerenepuedennoserisomorfosesporquedejaescaparciertasparticu
laridades de las estructuras y que
32
ya no basta para diferenciarlas. Ser necesario
recurriralaintuicinparadistinguirlas.
Silaintuicinconcretalalimitaporlaparteinferior,laaxiomticapermane
cedelmismomodoencontacto,porlapartesuperior,conunaintuicinintelectual
que ella indudablemente puede repeler cada vez ms lejos, pero en modo alguno
suprimir.Laintuicinserefugiadelateoraenlametateora,yluegoquestaque
da reducida a un sistema formal, en la metametateora y as en forma intermina
ble.Siempreelmanejodelsimbolismoexigeunsobrevuelodelespritu.Losteore
masdeGdelhanpuestodemanifiestoalospropiosformalistas,puesenestecaso
desempean un papel comparable al del principio de incertidumbre formulado
porHeisenbergenelcampodelafsicacuntica.Delmismomodoquelainterven
cindelaactividadexperimentalenelcontenidodelaobservacinnopuedeago
tarseenformaindefinida,estoocurreenlamismaformaconlaintervencindela
actividadmentalenlasaxiomticassimbolizadasyformalizadas.Yaseaqueseale
greosepreocupeunoporestoresultaimposibleeliminarelsujeto.Deallprovie
nelareaccindelintuicionismo:Nopodemosaceptarqueelcaminodelaciencia

32
Recordemosquesedicequedosconjuntostienenlamismapotenciacuandoesposibleestablecer
entre sus elementos una correspondencia biunvoca (esto es, que a todo elemento del uno corres
pondeunoyunsoloelementodelotro,yrecprocamente);que,paraconjuntosfinitostenerlamis
mapotenciasereduceatenerelmismonmerodeelementos;queparalosconjuntosinfinitoslapo
tenciamsdbilesladelenumerable(lasucesinindefinidadelosnmerosnaturales);quelapoten
ciadelcontinuo(porejemplo,ladelospuntosdeunalnea,odel,conjuntodelosnmerosreales)es
superioraladelenumerable;enfin,quesiempreesposibleconstruirunconjuntocuyapotenciasu
pereladeunconjuntocualquiera.

/53 /
conduce a la eliminacin del espritu.
33
Incluso con sistemas lo suficientemente
rudimentarios como para que no funcionen en ellos aun las interdicciones de G
del, resulta claro que la percepcin de una correspondencia analgica entre la in
terpretacinobjetivaylainterpretacinsintcticadelasmismasfrmulasnecesita,
delmismomodoquelainteligencia,deunretrucano,deunainiciativaespiritual
y que, por lo general, una cierta constelacin de signos, negro sobre blanco, no
alcanzar a ser, por decir algo, la demostracin de una nocontradiccin, sino
exclusivamenteparaunesprituquesepaleerlacomotal.
Elbeneficioqueproveeelmtodoaxiomticonoeseldeexcluirlaintuicin,
sinocontenerlayretrocederlahaciaelterrenoestrechodonderesultairremplazable
yposeelaventajadesustituirelrganoporelinstrumento,acontinuacinelins
trumentoporlamquinapara,finalmente,dotaralamquinadeaparatosdeauto
rregulacin. Por ms perfeccionada que se la pueda imaginar, slo su funciona
mientopornomencionarsuconstruccinosuempleodemandarsiempredel
control humano ni nunca podr evitar intervenciones procedentes del exterior,
aunquefuesenengradocadavezmenor,cadavezmsmnimasyespaciadas.Del
mismomodoqueunamquina,unmecanismointelectualnoresultarasegurodel
todo si se tuviera la certeza total de que no tiene ningn defecto, que no est ex
puesto a sufrir una avera o a enloquecer, que en modo alguno surgir una ambi
gedaddeltipoqueseaacercadelmododeaplicarlasreglas,obien,quenuncase
nosarrojeaunaalternativaindefinidadeafirmacionesynegacionesquerecuerden
las antinomias cantorianas. Resulta sin duda ms justo solicitar a la intuicin y al
formalismo que se controlen mutuamente, garantizando as el formalismo contra
loserroresdeunaintuicinintemperante,aunqueconlacondicindequelmis
moquedesometidoalavigilanciadeunaintuicinaminorada.
Porlodems,nadiehaimpugnadoenformaseriaelpapelquemantienela
intuicineneldescubrimiento.Cualquieraquesealafecundidaddeunmtodo,su
oficio es, sobre todo, de consolidacin y, si se quiere, de prolongacin, pero sobre
unterrenopreviamentefijado.Elmtodoponeenordenloadquiridoy,alhacerlo,
llenalaslagunasyexplotalasaperturas,masnoinicianadaqueseaesencialmente
nuevo. Los descubrimientos revolucionarios son obra del genio que logra trastor
narlosmtodos.Descubrir,probar,nadaleresultamenosindispensablealacien
cia que requiere del espritu de la aventura como del espritu del rigor. Vistos en
estaforma,inclusolaintuicinyelformalismosecomplementandeacuerdoconla
diversidad de los espritus y los cambios de la historia. Un autor al que no se le
puede acusar de tibieza para con la axiomtica expresamente se encuentra de
acuerdo con lo anterior. Durante los periodos de expansin, cuando surgen ideas
nuevas, resulta con frecuencia muy difcil delimitar con precisin las condiciones

33
A.Heyting,enF.Gonsetti,Philosophiematmatique,1939,p.75.

/54 /
desuempleoy,pordecirlodeunavez,resultaimposiblehacerloenformarazona
blesinohastaqueadquiereunalargaprcticadetalesideasonociones,loquere
quiereunperiododedesmalezamientomsomenosamplioenelquedominanla
incertidumbreylacontroversia.Pasadayalaedadheroicadelosexploradores,la
siguientegeneracinpuedeentoncesdedicarseacodificarsuobra,eliminarlosu
perfluoysentarsusbases.Enunapalabra,volveraponerenordeneledificio.En
este momento reina nuevamente, sin divisin, el mtodo axiomtico, hasta la re
volucinsiguientequeaportaralgunaideanueva.
34

34
J.Dieudonn,Laxiomatiquedanslesmathmatiquesmodernes,recopilacincitada,pp.4748.

/55 /
V.ELALCANCEFILOSFICODELAAXIOMTICA
27.LAFILOSOFADELASMATEMTICAS
Laconstitucinyeldesarrollodelmtodoaxiomticonointeresanexclusivamente
altrabajocientficosinoqueseproyectantambinsobreproblemasfilosficoscuyo
alcance va ensanchndose: la filosofa de las matemticas, la filosofa de las cien
cias,lafilosofadelconocimiento.
Enprimerlugar,laaxiomticaabreunadelasvasposiblespararesolverel
problema que ha dominado, desde principios del siglo XX, toda la filosofa mate
mtica,estoes,lasbasesmismasdeestaciencia.Esteproblema,quehastaentonces
prcticamente no haba preocupado a los matemticos, les fue impuesto en forma
bruscadebidoalacrisisqueprodujolaformulacindelateora delosconjuntos.
Esta fue elaborada por G. Cantor en el ltimo cuarto del siglo XIX. Tras afrontar
numerosas resistencias la teora de los conjuntos apareci definitivamente hacia
1900comolabasedetodoeledificiomatemtico.Laaritmticadelosnmerosfi
nitos,mediantelacualsereconstruyeronlasdemspartesdelasmatemticas,po
daconstituirsealavezcomouncasoespecialyparticularmentesimpleeintuitivo
delateoradelosconjuntos:eldelosconjuntosenumerables.Y,esprecisamenteen
estemomento,cuandoaparecenalinteriordelateoraantinomiasoparadojas,
estoes,paresdeteoremascontradictorios.Elconjuntodetodosaquellosconjuntos
quenosecontienenellosmismoscomoelementos, puede contenerse l mismo
como elemento? Uno puede autoconvencerse con facilidad de que una respuesta
afirmativayunarespuestanegativaaestemismoproblemapuedenjustificarsedel
mismo modo. Tales dificultades ofrecen en este caso una gravedad considerable.
Para una teora que ha dejado de soportarse en nociones y verdades intuitivas y
queenconsecuenciacareceyadeotragarantadesuvalidezquelacoherenciafor
mal,lamenorfisurabastaparacomprometerla,sulgicatienelaobligacinabso
lutadeserinfalible.
Desde un principio las investigaciones para encontrar una solucin se han
comprometidoentresdirecciones.ElempirismodeBorelyLebesgue,posterior
mente prolongado y reforzado por el intuicionismo de Brouwer, atribuye las
dificultadesalmanejociegodelinstrumentolgico.Perostenoofreceyagaranta
desdeelmomentoenquesesaledelosdominiosdondehasidolargamenteproba
do, y es por eso que extenderlo al dominio de lo transfinito resulta engaoso. En
ltimainstancia,eslaintuicinlaquejuzgalavalidezmismadelasreglaslgicas,

/56 /
demodoquesiseledasiempreprioridadsobreeldiscursonosequedarunoex
puestoyaaantinomias.Enefecto,selasevita,peroculeselprecio?Sisesiguen
estosprincipiospuedellevarse,enformaprogresiva,acondenarpartesconsidera
blesyanoslodelateoradelosconjuntos,sinotambindebuenaspartesdeteo
rasmatemticasantiguasyconsagradas.Sonmuchoslosquejuzgantalsacrificio
excesivo, y la medicina como de caballo. Si se desea conservar la totalidad de las
matemticasclsicasconloesencialdelateoracantorianay,almismotiempo,per
manecer fiel a la inspiracin de esta ltima, se intentar entonces, como lo hizo
Russell, seguir la va del logicismo. Por un lado se conservar el propsito de
construirlasmatemticasapartirexclusivamentedelasnocionesyleyesdelalgi
ca.Peroenvistadequestashanconducidoaantinomiasalasquesetratadepro
hibir,setendrnquereforzarporotroladolasnormasdelalgicaenformatalque
yanopermitanquesetermineall.Infortunadamente,resultamuydifcilconciliar
ambascosaspues,paraquesedalasnormasdelalgicaelgradoexactodenor
matividad conveniente para poder excluir las antinomias exclusivamente, se ve
uno obligado a establecer determinados axiomas cuyo carcterextralgico apenas
resultadiscutible.
Queda una tercera va por la cual Zermelo
35
intentar salir de este hoyo: la
de la reconstruccin axiomtica, solucin que difiere de la precedente en que, si
biendemandasiempredeaxiomasquenopermitanlaproduccindeantinomias,
nolesimponequeselestomeslodelmateriallgico.Noobstante,lascondiciones
queexigeelestablecimientodeunaaxiomticataldifierenmuchodelascondicio
nesdelasaxiomticasdePeanoyHilbert,enlasqueseibaslodelasconsecuen
ciasalosprincipios.Separtadeteorasyabienprobadas,comolaaritmticayla
geometraclsicas,cuyaconsistencianadiepodaponerseriamenteenduday,enel
momentoenquelosprincipiosqueselesasignabalesestabanadaptadosconexac
titud,nohabaquepedirlesyanadams,noresultabayaindispensablequefueran
evidentesyciertosporellosmismos,puesdeantemanoseestabayasegurodeque
no caan en contradicciones. Por el contrario, en este caso la existencia de antino
mias demuestra que se trabaja en una zona de inseguridad, incluso cuando los
axiomas sean escogidos de tal manera que eviten las antinomias conocidas. Pero,
qugarantizaqueenotrapartenosurgirnotrasanlogas?Noresultasuficiente,
pues,producirunsistemadeaxiomasquepermitademostrarprecisamentelapar
te aceptable de la teora de los conjuntos; resulta necesario que los axiomas inspi
ren por s mismos absoluta confianza. A la prioridad lgica deben adjuntarse la
evidenciapsicolgicayseralavezfundamentosyprincipios.Veremosqueunode
losaxiomasdeZermeloseencontrababienlejosdesatisfacerestacondicino,por

35
Laaxiomatizacindelosconjuntosserretomadaydesarrolladaposteriormenteporautoresmuy
diversos,enespecialFraenkel,VonNeumannyBemays.

/57 /
decirlo en forma msprecisa, elproblemade sabersi la satisfaca o no dividi en
dos campos a los matemticos: si para unos el axioma denominado de la selec
cinresultabadeltodoevidente,paraotrosnoerasinounafrmulavaca,unar
mado de palabras que gramaticalmente guardaba correccin pero que estaba des
provisto de sentido. Y las proposiciones equivalentes en que se hubiera podido
pensarparasustituirlo,comolarelativaalaposibilidaddelbuenorden,sufran
el mismo defecto. La axiomtica ingenua, confiada en el sentimiento de evidencia
intelectual para justificar la seleccin de los axiomas se encontraba en un callejn
sinsalida.
UnodelosobjetivosprincipalesdelametamatemticadeHilbertesevitarel
callejnsinsalida,ysalirdelsustituyendomedianteelrazonamientolaintuicin
desfalleciente.Laformalizacindelaaxiomticarequierequepuedaserestableci
do,mediantelavademostrativaysinnecesidaddeapelaralsentimientosubjetivo
delaevidencia,siunsistemadeaxiomasescongruenteono.Siestademostracin
puededrnoslafavorablementeunaaxiomticadelateoradelosconjuntos,queda
resueltoelproblemadelfundamento.Ydeberaestarlo,aunalosojosdeunintui
cionista para quien la nocontradiccin es condicin necesaria, aunque no sufi
ciente,delaexistenciamatemticasiemprequelademostracinsatisfagalaexi
gencia de construccin en un nmero finito de etapas, lo cual segn Hilbert es el
criterio verdadero; por eso l, preocupado por no renovar controversias estriles,
impusocondicionesmuyseverasalosprocedimientosdecomprobacin.Lasespe
ranzasquelosformalistaspusieronenestemtodohansido,comoserecuerda,
frustradas en forma parcial. Especialmente, los teoremas de Gdel mostraron que
lanocontradiccindelossistemasdelosquesetratabanopodaserprobadame
dianteunaformalizacinquesemantuvieradentrodeestossistemas.Porsulado,
laparadojadeSkolemcontraponealaaxiomatizacindelateoradelosconjuntos
unadificultadesencial,puesresultadeellaqueeltratamientoaxiomticohacedes
vanecerahladistincindelaspotenciasdiversas.Sinembargo,estaltimarestric
cinsloconcierneenformadirectaalateoradelosconjuntosy,porotrolado,el
marcodentrodelcualseencerrHilbert,voluntariamente,permitaquefueraen
sanchadounpoco,sinporesotraspasarloslmitesqueseasignaalintuicionismo,
desuertequelasprohibicionesdeGdelseatenan.EntalescondicionesGentzen,
en1937,llegademostrarlanocontradiccindelateoradelosnmerosapelando
exclusivamente a un nico principio exterior a la teora, y mostrando que ste no
sobrepasabalosmediosqueseconcedenalintuicionismo.Talresultadoesmuyim
portanteyaquelanocontradiccindenumerosasteorastenasuapoyoenlaarit
mtica,quehastaallhabasidosimplementepostulada.
Pesealhechodequeelformalismoaxiomticonoharesueltodefinitivamen
teelproblemadelfundamentodelasmatemticas,resultaquetantoparalmismo
comoparalasreaccionesquesuscit,lohahechoavanzarconsiderablementey,por

/58 /
otrolado,hadisminuidoenformanotablelaspresionessobrelasdoctrinasqueini
cialmente se le oponan. En la actualidad prcticamente se han desvanecido las
diferencias que existan entre logicismo y axiomatismo, al punto que ambas ten
denciasseintegran,comopuedeverseenalgunosautores,Quineporejemplo.La
multiplicidaddelaslgicas,quesontratadasendelantedeacuerdoconlosmto
dosdelaaxiomticaformalizada,prcticamentenopermitenyadarasusnociones
debaseunsentidoabsoluto,yelproblemadesaberdndeterminalalgicayco
mienzan las matemticas ha perdido buena parte de su sentido. Las diversidades
existentesaprincipiosdelsigloXXpuedenhoyresumirseenunagranalternativa,
yaseaqueseconcedaprioridadalalgicaoalaintuicin.Inclusoambaspartesse
hanaproximadolosuficientecomoparapodercomprenderseytrabajarmancomu
nadamente. Al llevar los problemas al plano de las construcciones simblicas, el
formalismohilbertianoseexpresaenunlenguajeaccesiblealintuicionista,entanto
questeentrdecididamente,siguiendoaHeyting(1930),enlavadelaaxiom
tica formal. Bien puede rechazarse el formalismo axiomtico, pero la axiomatiza
cinylaformalizacinhanllegadoaseractualmente,comodecaCavaills,unifor
mesobligatorios.
36
28.LAFILOSOFADELACIENCIA
Inclusoantesdequeelproblemadelfundamentoseimpusieraalaatencindelos
matemticos la axiomtica, nacida de una reflexin acerca del mtodo de los ge
metras, arroj de inmediato una viva luz sobre la paradoja de esta ciencia, cuya
situacinlacolocaenelejedelointeligibleylosensible.Sibienlosteoremasdela
aritmticaylalgicaseaplicanaloreal,noparecaimposibleobservarestascien
ciascomopuramenteracionales,pordbilquesealaadvocacinquehacenalain
tuicinsensible.Aunquelasleyesdelafsicaseexpresanenlenguajematemtico,
alparecersiguesiendoplausiblederivartodasustanciadelaexperiencia,conside
rndose el simbolismo matemtico slo una vestimenta cmoda. Viene de all la
distincin clsicaentredosgruposdeciencias,racionalesyexperimentales.Unas,
que de acuerdo con la expresin de Goblot, no necesitan para ser verdaderas que
susobjetosseanreales;yotras,podradecirse,cuyosobjetos,paraexistir,nonece
sitanserinteligibles.Pero,entonces,enqulugarpuedesituarselageometra?La
intervencinmanifiestadelaintuicinespacialprohibareducirsucontenidoaun
sistema de proposiciones analticas; por otro lado, sus verdades se imponan tan

36
Op.cit.,p.182.Digamosdepasoqueelformalismoesrechazadoenigualformaporlospartida
riosdelmaterialismodialcticoquevenenlunamanifestacindelidealismoburgus.Noobs
tante,hastaahoranoparecequeestaoposicindeordenfilosficohayadeterminadounaorienta
cinoriginaldeltrabajomatemticocomoocurriconelintuicionismo.

/59 /
bienalesprituqueresultabaimposiblereferirlassloamerascontingenciasdela
experiencia. La idea kantiana de la sntesis a priori, que es el ncleo de toda la
filosofacrticafue,comohoysesabe,inspiradaporestadificultad.Ahorabien,la
axiomtica invita a que se resuelva en forma muy distinta. Si la geometra clsica
dabaalavezlaideadeserpuraeintuitivaeraporqueconstituaunaformamixta
al reunir en una ciencia que al parecer era nica, dos disciplinas distintas que,
como se ve ahora, estn disociadas claramente: una geometra pura, representada
porlateoraaxiomtica,enlaqueelsentidointuitivodelostrminosyproposicio
nesdeliberadamentesedescartaycuyaverdadsemideslomediantelacoheren
cia lgica, sin recurrir a la experiencia; y una geometra aplicada, intuitiva, en la
cual la forma demostrativa slo constituye un accesorio y cuyos teoremas son, en
realidad, leyes fsicas. La segunda sirvi para constituir la primera, pero sta ha
llegado a ser independiente, se yergue gracias a su propia fuerza, y si, en ocasio
nes,serefierealaotralohacenicamentecomoaunodesusmodelosposibles.
Cierto es que las dos pueden ser expuestas en un mismo discurso, de donde pro
viene la confusin, pero este lenguaje nico puede prestarse a dos lecturasdistin
tas.Alapregunta:cmopuedelarazn,sinelauxiliodelaexperiencia,hacernos
conocerlaspropiedadesdeloreal?,sedarenlosucesivounarespuestasemejante
a la que da Einstein al principio de su opsculo La geometra y la experiencia: La
perfectaclaridadsobreestepuntomeparecefuepuestaalalcancedecadaunogra
ciasalacorrientequelosmatemticosdenominanaxiomtica.Elprogresorealizado
porstaconsisteenhaberhecholaseparacinclaraydefinitivadelointuitivoylo
lgico.Deacuerdoconlaaxiomticasloloshechoslgicosyformalesconstituyen
elobjetodelacienciamatemtica,peronoelelementointuitivoquepuedereferir
seaellos.
Hayqueaclararqueresultanecesariocuidarsealinterpretar correctamente
este desdoblamiento de la geometra en el momento en que, en lugar de conside
rarla sola, vuelve a colocrsela en el sistema de las ciencias. Debe entenderse en
toncesqueelcarcterambiguodelageometraclsicaesresultadodesusituacin
intermediayquelasdospartesenqueelaparatoaxiomticolaescindedebensim
plemente unirse, uno al grupo de las ciencias racionales o deductivas, y el otro al
delascienciasexperimentalesoinductivaspara,deestemodo,reforzarlaantigua
dicotomaquecolocaba,porunlado,alascienciaslgicomatemticasyporelotro
a las ciencias fsicas, naturales y morales, quedando ahora bien precisado el lugar
donde debe hacerse el corte? Tal interpretacin va de acuerdo con la concepcin
dualistadelacienciaqueactualmenteprofesaelempirismolgico,elcualestable
ce,entredostiposdeciencias,unaseparacinmsradicalan,quehastaahorano
sehabahecho.Sitaporunladolascienciasformaleslgicaymatemtica,a
lasqueconsiderabajolaformadepuradaquelesdalapresentacinaxiomtica:es
to es, vacas de toda significacin exterior y que, en sentido estricto, no nos ense

/60 /
annadaacercadeloreal.Susenunciados,quesonpuramenteanalticos,concier
nenexclusivamentealastransformacionesdeldiscurso.Porelotrolado,sitaato
daslascienciasdelorealparacuyaexpresinutilizamos,ciertamente,ellenguaje
lgicomatemticoperoque,enprincipio,podranprescindirdelsinperdernada
desucontenido,queproporcionaraporenterolaexperiencia.
Noobstante,siseinvocanlasenseanzasdelaaxiomticaparaapoyaresta
tesis, se olvidara un hecho esencial. Muy lejos de encerrarse dentro del dominio
geomtricoinicial,laaxiomticasehaextendidorpidamenteporlosdoslados:en
direccinalaaritmticaylalgicayhacialamecnicaylafsica.Enlaactualidad
leinteresaelconjuntodelasciencias,porloquenoessloenelinteriordelageo
metradondeseproduceelcorteentreloracionalyloexperimental,lolgicoylo
intuitivo. El desdoblamiento axiomtico funciona en todas las ciencias o, en todo
caso,entodaslasqueestnlosuficientementeavanzadascomoparaprestarseala
organizacindeductiva.Colquesealamecnicaoalapticabajolaformadeuna
axiomticasimbolizadaysedejadeestarenpresenciadeunacienciadelorealpa
raencontrarsefrenteaunsistemaformal,vacodetodocontenidoemprico,donde
nosesabeyadequsehabla,nisiloquesediceesverdadero.Yalainversa,si
frenteaunaaxiomticaabstractasesabeasignaralosaxiomasunainterpretacin
vlidaenunciertodominiodeloreal,sbitamenteseiluminatodo.Lossmbolos
adquieren un sentido concreto, las frmulas una verdad emprica. Ni siquiera re
sultanecesario,paraello,quelaaplicacinrecaigaenloquehabitualmentesede
nominaelmundofsico,puesdelmismomodounatraduccinaritmticaolgica
desempeaalaperfeccinestetrabajo.As,porejemplo,laideaquesetienehabi
tualmente del nmero, que es abstracta cuando se la compara con un montn de
bolasdebillar,seconvierteenunainterpretacinconcretaenrelacinconlaxque
apareceenlosaxiomas,ydelmismomodorespectoalasnocioneslgicasdenega
cin,implicacin,pertenenciaaunaclase,etctera.
Bajoestascondiciones,eldesdoblamientoaxiomticonofuncionaenforma
transversal,alniveldelageometra,sinoquedividelongitudinalmentetodalaes
caladelasciencias,delalgicaalascienciasmorales.Lanicadiferencia,yesslo
degrado,esquelasprimerasadoptanconmayorfacilidadlaformaaxiomtica,de
modo que as se reconoce mejor la posibilidad de una lectura abstracta. Pero que
ellas mismas se presten, como lo ha revelado la axiomtica, a una lectura doble,
nosdemuestramuybienquenosedistinguenenloesencialdelascienciasempri
casyque,asumanera,sonyacienciasdeloreal.Noexistencienciasabstractasy
ciencias concretas, ciencias racionales y ciencias empricas. En primer lugar, hay
entrelascienciasgradosdiversosdeabstraccinyracionalidadquepermitenpue
danserordenadasenserie.Ensegundolugar,existeparacadaunadeellaslaposi
bilidad de una lectura doble: abstracta, racional y formal, o concreta, emprica y
material.Graciasaunaconvencindelenguajeesposibleutilizarlapalabralgica

/61 /
olapalabramatemticaparanombrarlalecturaabstractadecualquierteoraaxio
matizada.Pero,enestecaso,elsentidodeestaspalabrassufreigualmenteundes
doblamientoaxiomtico,porloquesernecesariocuidarsedelequvocoqueame
naza.Cualquieraqueseaeldominioquesetratearitmtica,ptica,etc.ysobre
elquesehayaedificadounaaxiomtica,staserexclusivamenteunaconstruccin
lgicaenelsentidodequeresultarvacaypuramenteformal;pero,enotrosenti
do, tambin puede representar una teora lgica del mismo modo que una teora
aritmticauptica,deacuerdoconlainterpretacinquesedasussmbolos,ysi
elconjuntodesusaxiomaspuedetraducirseenproposicionesdelalgica.Delmis
mo modo, el trmino matemtica tomar, en adelante, un sentido ambiguo, como
apareceeneltextodeEinsteinarribacitado.Bienpuede,enrazndequelamate
mticaeslaquepusoelejemplo,designarunateoraquehasidoreducidaasufor
ma abstracta. Deviene entonces un sinnimo de lgica entendida en su primera
acepcin.Resultanecesarioentenderloas,porejemplo,enlasbromasdeRusselly
Poincar (vase el inciso 10). Pero este sentido relativamente nuevo se aade, sin
borrarlo,alsentidomstradicional,deacuerdoconelcualdeestemodosedeno
mina a un grupo particular de ciencias, aquellas cuyo objeto son los nmeros, las
figuras, etc. Lejos de oponerse mediante caracteres antitticos a todas las dems
cienciasconsideradasenconjunto,lasmatemticas,entendidasenestaforma,son
por un lado vecinas de la lgica y, por el otro, de las ciencias fsicas, aunque las
fronterassemantienenuntantoindecisaspueslosconjuntosdelmatemticotienen
granparecidoconlasclasesdellgico;lacinemticaunelageometraconladin
micaysedaciertotitubeoparadecidirsilaprobabilidaddebeatribuirsealmate
mtico,allgicooalfsico.Apesardelaambigedadsubsistenteenellenguaje,la
disociacinserealizaenelpensamiento,entrelosdoselementosquepermanecan
enredadosenlanocinclsicadelamatemtica,queasuvezsecaracterizaporsu
objetoysumtodo:cienciadelacantidadycienciademostrativa.
Laantiguadistincinentrecienciaracionalycienciaemprica,queconstitu
yeunlugarcomndelaepistemologadesdelostiemposdeBacon,sindudamere
ce ser conservada, pero con la condicin de que no se confundan ya en ella dos
acepcionesqueslocoincidenparcialmenteyquelaaxiomticapermitesepararen
formaprecisaunadelaotra.Bienpuedeentendrselacomounaclaradicotoma,y
entoncesnodivideyalascienciasendosclases,sinoquemsbiensealaunadua
lidad interior a cada ciencia; o bien se desea distribuir de esta forma las diversas
ciencias,peroenestecasolaseparacinresultaindecisayrelativa,comodividirun
conjuntodehombressloenaltosypequeos.Laoposicinentrelascienciasfor
malesylascienciasdelorealnoesjustificablesalvoenelcasodequesesobrepon
gan estas dos distinciones. Se denomina ciencias formales a las que, habiendo al
canzadoenprimerlugarunaltogradodeabstraccinseprestan,porexcelencia,al
tratamiento axiomtico; y ciencias de lo real a las que, siendo menos avanzadas,

/62 /
difcilmente pueden desligarse de las interpretaciones concretas. Cuando se hace
esto,unonocaracterizaadosespeciesdecienciasinoadostiposidealesquesereali
zanenformadesigualenlasdiversascienciaso,pormejordecirlo,adospolosdel
pensamientocientfico.
29.LAFILOSOFADELCONOCIMIENTO
La oposicin entre la razn y la experiencia constituye slo una de las mltiples

formasque,sinconcordarentodoslospuntos,expresanenformadiversaaunque
con parentesco evidente lo que Whewell llamaba la anttesis fundamental de la
filosofa; las ideas y los hechos, el pensamiento y las cosas, el conocimiento y el
ser,lointeligibleylosensible,loabstractoyloconcreto,loconstruidoyloquees
dado,loconcebidoylopercibido,loaprioriyloaposteriori,etctera.Lasinvestiga
ciones axiomticas, cuando invitan a preguntarse acerca de las relaciones entre lo
lgico y lo intuitivo, aportan en esta forma su contribucin a un problema que a
travsdelageometraydelsistemaenterodelasciencias,conjuntauntemamayor
delareflexinfilosfica.Elmtodoaxiomticonoesslounodelosprocedimien
tos tcnicos de los matemticos. Es posible encontrar en l una ilustracin, que es
particularmentesugestiva,delaformacomoprocedeelpensamientoenelconoci
miento. Y al aplicarle las nociones de las que l mismo hace uso se dira que nos
ofrece, de las operaciones cognoscitivas, un modelo concreto sobre el que puede
ensayarse una lectura abstracta.
37
Puede verse aqu, en primer lugar, que no debe
darseningnsentidoabsolutoalosdostrminosdelaanttesis,cuyolmitesedes
plaza incesantemente. Esto, ciertamente, no es nuevo y, en todo el frente de las
cienciasnohadejadodeadvertirseestemovimientodelesprituquelollevaatra
tar de inmediato a sus creaciones como si fueran un dato que debe superarse en
unaabstraccinposterior.Loconcreto,afirmabaLangevin,esloabstractohechofa
miliar,medianteeluso.Yenlaactualidadlosmatemticosjvenesobjetanelem
pirismodeunBorelqueloperfeccion.Ahoraqueestnacostumbradosamane
jarlosehaconvertido,paraellos,enunanocinintuitivaytannaturalquellegana
llamarlainnata.
38
Perolaaxiomticacolocalaideabajounaluzdirecta.Mediante
ellaelcasodelageometraclsicaresultaparticularmenteinstructivo.Paraelaxio
mticoseinclinahaciaelladodelointuitivo,entantoque,porrelacinaloscono
cimientosempricosquelahacanposible,deseguropareceraalosgriegoscomo
lespareceennuestrosdasalosniosalosqueeslaensea:unacreacindifcilde

37
Cf.F.Gonseth,Lesmathmatiquesetlaralit,essaisurlamthodeaxiomatique.Enloquevieneacon
tinuacinnosinspiramosenformalibre,peroamplia,enestaexcelenteobra.
38
P.Langevin,Lesnotionsdecorpusculeetdatome,p.45;J.Dieudonn,Laxiomatique,artculocita
do,p.50;A.Denjoy,Linneitdutransfini,apudLeLionnais,op.cit.,p.188.

/63 /
la razn. De ella, la historia nos da a conocer dos mutaciones, cuya analoga fue
subrayada por F. Gonseth. En dos ocasiones el espritu ha franqueado el umbral
de abstraccin, superando el dato mediante un acto irremplazable de iniciativa
intelectual.Esnecesarioaprenderaleerlarectageomtricaenunhilotendido,co
moposteriormentealeerlarectaaxiomticaenlarectageomtrica.Esporesoque
noresultaparadjicoenformaalgunaveraEuclides,comosehaceenalgunasoca
siones,comounverdaderoaxiomtico.Delmismomodo,todaslasnocionesdela
fsicaclsica,comolamasa,elpotencial,laentropa,seapoyansobreundatosensi
ble que esquematizan, pero a su vez sirven de soporte intuitivo a una axiomtica
abstracta.
Enconsecuencia,sloesposiblepensarambostrminosdelaanttesisensu
relacin.Elparadquieresentidonicamentemediantelatensinquecaracterizaa
dospolosopuestos.Loconcretoslosepuededefinircomounaveccin.Delageo
metradeHilbertpuedeunoremontarsealadeEuclides,destaalageometrade
losorientales,deestaltimaaotrasformasmsprimitivas.Seavanzaasendirec
cin a lo concreto, pero jams alcanzando lo concreto puro, libre de toda concep
tualizacin, como el que el empirismo pretende desplegar frente al espritu. No
existe otro fenmeno primero que el de la sensacin pasiva. Las enseanzas de la
crticadelascienciasconcuerdanaquconlasdelapsicologa.Abiertoenestafor
maporsuparteinferior,elconocimientoseencuentratambinabiertoporlaparte
superior. Lo abstracto es slo loltimo en forma provisional, y jams se le piensa
solo,nuncaselepresentaalespritucomosifuerauncuadro.
Sloaparececomosihubierasidorealizadoenunmodelo,aunqueseasola
menteelmodelosimblico.Noconocemosningunaformapuranitampococonte
nidoinforme.Puedehaberallunvacodepensamiento;peronopodrahaberpen
samientovaco.Parapoderpensarrealmenteenlanadaresultanecesariorepresen
tarlarecurriendoaalgo:unacruz,lacifraquerepresentaelcero,laideadelanada.
Parapoderpensarenunaestructuraabstractaresultanecesariodarle,sobreelpa
pel, una forma concreta. El pensamiento trasciende el sistema de signos, necesita
sobrevolarloparapodercaptarlocomotal.Perosinl,alfaltarleelcontactodirecto
conlascosas,sepierdeenloindeterminado.
Estatensinbipolar,condicinnecesariadetodoconocimiento,aparececon
particular claridad en el pensamiento axiomtico. Las nociones un tanto vagas de
lateoradelconocimientoconceptoeintuicin,formaycontenidoquedanen
toncesbienclarasdentrodelacorrelacinqueseestableceentrelaestructuraabs
tractaylarealizacinconcreta;entreelesquemayelmodelo.Secaptaaqu,envi
vo, el movimiento de ida y vuelta que conduce al espritu del uno al otro, ilumi
nndolos al situarlos en correspondencia. Los fsicos, como recordbamos arriba,
confrecuenciamuestrantendenciasdivergentesrespectoalvalorrespectivodelas
teorasabstractasylasteorasquerecurrenalasimgenes.Esmuyciertoqueelge

/64 /
niosemanifiestabajoformasdiversas:unosobresaleenleerloabstractodentrode
lo concreto y otro en interpretar lo abstracto por lo concreto. Pero de este modo,
igualqueladiferenciadetemperaturaesnecesariaparaqueunamquinatrmica
funcione,delmismomodoconvienealesprituque,paracomprender,dispongade
undesnivelquelepermitacirculardeunplanoalotro,elevarsedelhechoalaidea
y ejecutar el mismo movimiento en descenso. Formular la norma e ilustrarla con
un ejemplo. Mediante este movimiento doble, en el que se resume toda forma de
conocimiento, la axiomtica nos ofrece, precisamente, uno de los ejemplos sobre
losquepuedepercibirsemejorlanorma.
Puedeverseenestaformaaquactitudesfilosficasseoponelaaxiomtica
yaculesfavorece.Despreciayevitaeldogmatismodelasntesis,elsueodeun
puntodepartidaabsolutoqueleaseguraraaladeduccinlaseguridaddefinitiva.
Y ella extiende ahora a la totalidad de las ciencias la forma hipotticodeductiva.
Envistadequeelmtodoexperimentallogrdesacreditarlaesperanzacartesiana
de alcanzar una fsica demostrativa, el logicismo de nuestros das, esto es, la idea
delograrunacienciaracionalquenopresuponierayanada,sevedesmentidopor
laregresinaxiomtica,lacual,porlejosquenoslleve,siempreencuentrafrentea
salgoqueesanteriorqueannoseencuentraasimilado.Perodelmismomodo
enquelosaxiomasnoseimponenmediantelaevidenciaintrnseca,tampocosonel
resultadodedecretosarbitrarios.Elconvencionalismopareceslodefendiblepara
aquelque,artificialmente,desprendelaaxiomticadesusbasesydesusprolonga
ciones intuitivas, sin las cuales se convierte slo en un juego trivial, sin relacin
algunaconlaciencia.
La filosofa del conocimiento que la axiomtica sugiere no es otra cosa que
unracionalismoqueunonoseatreveadenominaremprico,dadoquedeestemo
doseencuentran,porlocomn,opuestasambaspalabras.Porlomenosselepue
de calificar de inductivo o experimental. El rechazo de todo a priori apodctico o
decisorioseduplicamedianteunarepulsaparecidadelasdosramasdelaalterna
tiva,entrelascualeselempirismo,ensuversinactual,pretendeencerrarelcono
cimiento: fenomenismo y nominalismo. Ni el espritu contempla un dato en cuya
elaboracin no hubiera participado en ninguna forma, ni tampoco se agota en el
plano de los signos y el clculo formal. Y nada puede manifestar mejor su activi
dadqueelestablecimientoolapercepcindeunacorrespondenciaanalgicaentre
elesquemasimblicoyelmodeloconcreto.

/65 /

Blanche Robert - La Axiomatica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Blanche Robert - La Axiomatica

Cargado por

Copyright:

Formatos disponibles

LAAXIOMTICA

Segn Euclides, el postulado de las paralelas invocaba, claramente, a la intuicin

En adelante, ir desprendiendo tales conexiones objetivas pareca ser el fin

Ponemos a continuacin las condiciones fundamentales que, para que se le

El estatuto lgico de los postulados queda bastante claro, no quedan afirmados a

En un sentido el sistema quedadeterminado, puessi se da auna de las in

A una teora en el estadio preaxiomtico se le puede dar el nombre de concreta,

Problemas y dificultades anlogos a los que conoca la metamatemtica se encon

El sistema axiomtico no se aplic exclusivamente a las matemticas sino que se

La oposicin entre la razn y la experiencia constituye slo una de las mltiples

También podría gustarte