CA

LA AX' 1 0~1AT1
'

l
l

.
1
1

...

CUADERNO 21
Rector: I>r.

Ir.SACIO

C11,\\u

Secrct111io General: Dr. Ronr.1no L.

;\[ A:o.-nu .A i\follSA

Director de l'11blicacio11cs: I.ic R uuN Bos!FAZ N11:\o

ROBER T ,,.
BLANC H

LA AXI01v1TTCA
Tr:1d11cci611 de
FEDER ICO SORJO ALTZAR

Revisada por
BERNADl N 1\VAllRO

cr~'TRO

l>E F.STl!lllOS FILOSfICOS

Colecci11:
Director:

CUADERNOS

EDUARDO GARcf!\

Secretario:

M YNEZ

BtRNABt NAVARRO

Consejero: Ro1mtT S.

HARTMAN

CENTRO DE ESTUDIOS FILOSOFICOS

UNIVERSIDAD Nt,\CIONAL AUTONOMA DE MF.XICO

1965

Titulo original :
L' Axiomatique
{Pi = U nivcrnu ua de Fr2ncc.
cd. Puts, 19)9)

Primen cdia6o en cspanol: 196 5

_j t :

Derechos reservados conforme a b ley

1965, Un1>as1dd Nacional Autnom2 de Mxico
Ciudad Umvmit2ri.1 , M-o co 20, D. F.

CLASIF BC.1-l/..E:6~

AOQ .:

1881) 0 4

SISTEMA:;

xSG <

ECONOMJA

Oh, matcm;\tic-.is sevcr:is!,

}O no os he olvidado desde
que vuestras sabias lcccio
ncs, m:s dulces que J.1 miel,
se infiltraron en m1 corazn
como una onda rcfrcsC0111
te. . llabia en mi espritu
algo \-ago, un no se qu es
peso como el humo; pero
supe frJncucar religiosamente las gradas que conducen a vuestro altar, y
\'Osotras habis disipado ese
velo oscuro como el viento
disipa :i la niebla. YosotrJS
hahcis puesto, en su Jugar,
una frillldJd excesiva, un:i
pmdcnc1a eonsumadil y
una 16gicil impbcable.

Les chants de Maldoror

UNIVERSIDAD NACIONAL AUTNOMA DE ME:XICO

Direccin Cenera! de Publicaciones

lmpteso y hecho en Mxico

Prin td dJld marU

111

\fcxico

Q .. 1 88004

l. LOS DEFECTOS DEL APARATO EUCLIDIANO

S l. Introd11cci11 ge11m1l. La geometra clsica, b.1jo l:t forma que Je dio Eucliclcs en sus El1.m1e11tos, pas durante 11111cl10
tiempo por un 111oclclo insuperable, y aun clfclmente gualablc, ele teora dcductirn. Los trminos propios ele 1.1 teora
jam;'1 s se introduecn en ella sin ser eldiniclos; l;1s proposiciones jams se adelantan sin ser demostradas, a cxecpcilm ele
un pccuetio 111mcro ele entre ellas que se enuncian en prum:r
lugar a ttulo de pri11cpios: la demostracin no puede. en
efecto, remontarse al infinito r debe sin eluda reposar ~ohre
algunas proposiciones primeras, pero se ha tenido c11icl.1do
en elegirlas de tal manera, <1uc 110 s11h~is ta ninguna duela a
su respecto en 1111 espritu sano. Aunque todo lo que se afirma
sea cmprica111e11tc 'crdadcro, no se im oca a Ja C'l:pcricncia
como justificacin : el gemetra no procede sino por via demostrativa, no fu nda sus pruebas sino sobre lo c11c ~e ha
cstablccclo antcriormcntc, conform:\ndosc con las so fa s le} es
de la lgica. As, cada teorema se encuentra unido por 1111.1
rclacibn necesaria a las proposiciones, ele las cuales se dccl11cc
como consccm:nca, ele suerte cuc, paso a p.1so, se constituye
una red ;1pretacla en donde, directa o inclircctamcntc, todas
las proposiciones comunican entre s. El conjunto fonna
un sistema cid c11.1l no se poclr:t distraer o modificar una parte
sin comprometer el todo. As, "los griegos razonaron con toda
Ja cxactitnel posible en lJS m.1tcm.iticas y dejaron al gnero
humano 111ocldos del arte de demostrar". 1 Con ellos, la geometra clt.: j6 de ser una coleccin ele recetas prcticas o, c11anclo
ms, de rnunciados empricos, para llegar a ser una ciencia
racional. De ah el papel pedaggico privilegiado que desde
l lz111nz, Nounaux auil, 1v, u, 13.

LOS OLH.C I OS 01:1 Al'Alv.TO [UCLIDIANO

entonces 110 ha dcjaclo clc rcconocscle. Si se la hace cstucliar

a los uiiios, es menos para cnsciiar algunas vcrcladcs que para
clisciplinar el espritu, consider:mdo c111c su pr;etica da y desarrolla el hbito del r;11011am icnto riguroso. Como escribe L.
Brunsch\'icg: "Euclides, para las 1111111crosas generaciones <ue
se han nutrido de su sust:mci;i. ha sido <11izi1 menos 1111 profesor cle geomctrfa <]ne un prof<:sor de lgic:1." 2 Y la expresin
more geo111etrico ha \'cnido a s1g11ific:ir more logico.
No obstante, ha parecido cada \ 'CZ mejor que, si la geometra euclidiana habfa seguido siendo durante mucho tiempo el ejemplo ms cumplido que se pudiera citar de una teora
dcduct\71, el aparato lgico <JUC la sostena no era en modo
alguno irreprochable. Algunas de estas imperfecciones haban
sido ad\'ertidas muy pronto, pero no fue sino hasta el siglo XLX, cuando se midi la distancia que subsista entre la
exposicin tradicional y una teora ded uctiva ideal. Uno de
los rasgos que distinguen mejor a las matemticas desde
esta poca, es en efecto un acrecentamiento ~bito del afn
de rigor lgico. Examinada as con una se\'cridad nuc\'a,
la deduccin geomtrica clsica se rc\'claba clcfectuosa en
muchos puntos. Se hicieron esfuerzos por rcctif1c:1rla y !J presentacin axiomtica de la teora fue el resultado. Suscitada
principalmente por una reflexin sobre la deduccin geo
mtrica, se desprende, por lo dems, precisamente en ral.n
de su carcter lgico r formal, del contenido geomtrico, }'
puede as ser practicada sobre una teora deduc!lrn cualquiera.
Un sistema axiomtico -se dice tambin: una teora axioma
tizada o, ms bre\'cmcnte, una axiomtica- es, pues, la fonna
acabada que toma, hoy, una tcor:i deductiva. En manera
alguna es aquel sistema quimrico con el que sofiaba Pascal
para espritus sobrehumanos, en donde se definiran todos l?S
trminos y demostraran todas las proposicionc.'S, sino un sis
tma en donde sean totalmente expliet:idos los trminos no
definidos y las proposiciones no demostradas, sicnclo esta
blecidas estas ltimas como simples hiptesis, a p:irtir de l,as
cuales las proposiciones del sistema pueden construirse segun
reglas lgiC2S perfecta y expresamente determinadas.
2

La

' f>u dr l.t phil'phie n111t/1l motiq11r, ap.

v 1,

i 9.

IS rl\OOUCCIS Ct NEllAL

Un mtodo parece gratuito cu:111do se ignora cn.iles razones

Jo han impuesto. Para hacer comprender b funcin de la
axio111:tic:i, lo mejor es, pues, exponer en primer lug;ir las
insuficiencias a las que se propone poner remedio (cap
tulo 1). Pero se duda con wdm de cue ella 111~ma haya
surgido perfecta de un solo golpe. Las c"tigcncias <le rigor que
la haban hecho nacer fueron a su n:z como exasperadas por
su uso, y rcc:iyerou sobre ella par; impclcrla siempre ms
lejos en el ca1111110 en donde se haba empc.1i:ido. Siu que
sigamos estas transform aciones cu rn detalle histrico, ser
ncccs:irio al menos distinguir do~ grandes etapas en su dcscnrnlvimiento, de bs cuales la primera se sita ; fines de
siglo (<~ p i tulo 11 ) . la scg11n<l;1 comien7.a hacia 1920 (captulo 111 ). En fin , se mtentar mostrar el alcance de tal mtodo, tanto por su uso propiamente cientfico (captulo 1v),
como por sus implicaciones filosficas (captulo v) .

S 2. Los postulados. La primera COS3 que atonncnt a los

lectores de Euclides :imigos del rigor, fue la intern:ncin <le
los postulados. Lo que molest en primer lugar, no eran propiamente los tres postulados que figuran a la caba.a de los
Elcme11tos, al lado de las definiciones y de los axiomas, r que
tienen un carcter operatorio 111uy general, con la nica mira
de anunciar c1uc uno se permitir construcciones con la regla
y el comps. Pero, despus de haber com,cn~1do la cadena de
sus deducciones. ocurre dos veces que Euehd~. en el c~irso
mismo de una demostracin y para l:is ncc:s1dadcs de esta,
in\'Oca una proposicin muy particulJr, que pide se le otorgue,
sin poder justificmla de otra manera que por una suerte de
llamado :i Ja evidencia intuiti\;1. 1\ s es como, para demostrar
su proposicin 29, necesita admitir que, por un punto fuera
de una recta, no pJS:I ms que uua so~a. paralcb a esta_recta.
La si111ctrb aparente entre la propos1oon que ~n.1!noa que
por un punto pasa al menos. ~ma p;iralcla, prol'<:>s1c10~ que j~
establece por una dc111o~trac1on (teorema de c.xtStcnc1~ ~ Y
que enuncia que pasa un;J a lo s111110 (postulado_de .u.mc1~ad)
baca ms escandalosa an la asimetra de las 1ushficac1ones.
El postulado de las paralelas sobreve_na as c?mo un csla
bn cxtraiio al sistema, como un expediente dcstmado a llenar

JO

LOS

llEFECros

IN'l l\OOUCC IN Gl'.N l(llAJ,

Jll:.L Al'AllAl O EUCl.IOIANO

una laguna en el cncaclcnamicnto lgico. A los ojos ele los

gemetras, tena el a~p~~to ele teorema emprico, cuya v~ rdacl
m> era pucst.a en cuesllon, pcr_o c u~1 a clrn.1 o~ tra ci6 n <uc:clah,1
por clcscubnr. Lo~ sabios alqandrmos, arahcs y muclcnws
se aplicaron succs1,amc1.1te a ello, pero siempre el anlisis
rerclaba que las prctcmhclas elcm os tracione~ se fm 1elalm1 en
~lgm~a. otra suposici?n, que n.my frccw..: ntcmcntc <111celaha
11nphc1ta : no se hab1a hecho smu cambiar ele postulado. Se
sal~c cmo el fracaso ele. ~:is demostraciones dirtctas sugiri
la idea de una clcmostrac1011 por el almmlo, y cmo a su vez
el fra caso el~ las cl_emostraciones por _el absurdo termin pronto, por una 111\'crs1n del punto de ' 1sta, en la comtitucin de
fas primeras geometras llamadas no-euclidianas.
El alcance epistemolgico ele estas nuerns teoras es considerable. En p:1rllcular, han contribuido granelcn1cntc a desplazar el centro de intcr de b geometra especulativa, transportndolo del contenido hacia la estructura, de la ,crdacl
~xtrnseca de las proposiciones aisladas h;icia las coherencia
mterna del sistema total. La suma <k los ;11"ulos de un tri
ngulo es igual, inferior o superior a dos ~ingulos rectos?
De l~s tres casos co_ncebiblcs, un gcomtra antiguo habra respondido que el pnmcro era \-crdaclero, los otros dos falsos.
Para un moderno, se trata ah de tres teoremas distintos, que
no se excluyen mutu:uncntc sino en el interior de un mismo
sistema, scgln que el 11{1111cro de las paraldas sea postulado
i~ual , supcri_o~ o inferior a uno, y que aun se toleran en un
Mstema <!eb1htado }: ms general, donde el n\mero de para
lelas posibles se dc1c en suspenso. El que la experiencia en
nuestra escala verifique una, y solamente una, de estas tres
pro~os1~1ones, no c?nciernc sino a la utilizacin prctica de
la c1cnc1a, no a la ciencia pura y desinteresada.
La idea aparecida as con ocasin de la teora ele las para
lelas, elche naturalmente cxtcnclcrsc al conjunto de los postu
lados. Vemos entonces disociarse los dos aspectos ele la ver
da~ geomtrica, hasta ah ntimamente mczclaclos en una
urnn sorprendente. Un teorema de geometra era a la \'CZ
El lcorcmJ, mencionado en la psina precedente, que establece 13 cxis
t:n:ia de la paralela, :ostul3 <ne se puede prolongar 11113 l l 'CIJ md: finidJ .nrn
1,, lo que es pcn111tido rccha1.1r.

11

1111 i11 for111e sobre las cosas y nna construccin del espritu,
1111:1 ley de foica y 1111a pic1. a de 1111 sistema lgico, una ver
dad de hecho y u11a n :rclacl de raz11. De cstas parejas para
d6jicas, l.1 gco111ctria tc.: 6rica alw1clo11a ahora decididamente
el pri111c.: r cle111c11to, que remite a );1 geometra aplicada. Ya
110 hay, p.ira los teoremas, ,crcl;1d ~cparacla y por decir as
at6111ic.1 : s11 vcrd;icl es sol:1111e11tc su 11tcgraci611 al sistema
y por C'>O alg1111os t corem :1 ~ i11 co11 1 pa ti blt~ cutre ellos pueclcn
ig11alt11c.: 11 tc 5<.:r ,erelael ero~, con tal que se lus refiera a sistemas
elifc:rc11tcs. En rnanto a los sistema\ 111 is111os, ya no c~ cucs
ti6n para dio ~ ele \'c:rdacl o fa lsedad, sino en el sentido l"ico
ele la cohC'rcucia o ele la contradiccin interna. Los principios
que los i111p<J11c.: n so11 simples hiptesis, en la acepcin matc111:tica ele: este trmino: 5on solamente puestos, y no afirma
dos; no 50n cl ud o~os, como las co11jcturas del fsico, si110
situados ms all; ele lo verdadero y lo falso, como una decisin
o una comc11ci11. La \'erel.1cl matemtica tom;i a~ i un car{1c
ter global: la ele un.1 ,asta implicacin, en donde Ja conjuncin ele todos los principios constituye el antcccclcntc, y
la ele tocios los teoremas, el consecuente.
En la interpretacin tradicional, la dcmostr:1cin matcm
tica era categrica y apodctica. D::ca : siendo estos principios
absolntamc:ntc ,er_d adero~, tal proposicin, que deduzco ele
ellos, es por con ~1gu1c nt c vercl,1dcra tambin. Aristteles Ja
lla mal~~: El s1log!s1110 ele lo necesario. Ahora dice solamente
CS~o : S! Se pone, arb1tr~1riamc: n tc, tal conjunto de principios,
he aqm l_as co11sc:c11~nc1as . que, formalmente, resultan de ah.
La ncc~~_idad no reside m_as <1ue en el lazo lgico que une las
propos1c101!c~ , se ha ret1rado de las proposiciones mismas.
L1 matcmallca ha llegado a ser, SC"lll b c.-.;prcs10 11 J 1v
t

,
b
< e 1en,
U n srs
e11w 111okt1co-decl11 ctivo.

S 3: L1ts fiurds-, E11 Euclides, el postulado de las paralelas

hacia a, la mh11c16!1 cspa~ial un llamado explcito, pero apa
fen~en1c11tc c:xccpc1onal. l~n rc.1liclacl, ha siclo imocada a todo
o ),u~o ele las clemo~lracioncs, y Poincar poda decir justa
1'.1cntc que, en_ es;! \'asta construccin donde los anti uos no
~n ~0 n.t1al~ai.1, mng_un defecto lgico, tocias las piezas s~ deben
.1 .1 mtu1c1on. l~n un sentido, inda
era s1' n cm1)ilfgo m:s

12

LOS DEFECTOS Dlli. APARATO EUCLIDIANO

manifiesto: las figuras mismas lo declaran. Pero el texto no

lo dice expresamente en modo alguno; hace ercer que las figuras no estn ah sino como simples auxiliares del razonamiento, las cuales duplican en cierta form:1 l:t dcmostraci6n
lgica mcdrante una 1Justraci611 semible. sin serle i ndi~pen
sablcs. No hay nada de ello: suprimid la figura, trazada o
imaginada, y la demostracin se viene ahajo. No vayamos
ms lejos de la primera proposicin de Euclides, que es un
problema : w nstmir un tri;ngulo ccuil.itcro sobre un ~cgmcnto
de recta dado AB . Se trazan dos cr('ulos ele radio Afl, uno
con \ como centro, otro con B: el punto de i11tcrsccci11 /\1,
cuya distancia a A o a B es l~ del radio i\13, sed el tercer
vrtice buscado. !\las, para cmcn 110 \'C o no se representa
mentalmente la figura, la demostracin es clcficicnte: cmo
sabe uno que los dos c1rculos se cortan? L1 existencia del
punto /\f ha sido mostrada, no dcmo.strada. .
.
Se ha discutido mucho para saber s1 la cons1derac1n de las
figuras era esencial a la especulacin geomtrica. Si las demos
tracioncs geomtricas clsicas son tomadas como. ,modelos,
entonces es verdad que la intuicin -conte111plact0n y aun
construccin- debe intervenir ah. Tal era, se sabe, una ele las
tesis que Kant puso como base de ~u Crticc1. Q ue se d a
un filsofo, deca, el concepto del tn:'i ngulo: por mucho <ue
lo analice, considere Jos conceptos ms clcmentalcs. ele J;~
lnea recta, del ngulo, del nmero 3, jam:s <les~nbnn al11
la propiedad ele que Ja suma de ms ngulos sea igual a dos
rectos. O uc se someta ahora la cuestin al gemetra: ste
constru~ un tringulo, prolonga uno de Jos la~los, ctct.cra,
y llega al re5ultado por una cadena ele razon:11111entos ~macla
constantemente por la int uicin. T esis anlogas han mio. re
tomadas por Courno.t, G?hlo~ y, l?a jo una forma ~11~s rcf: 1~~;
da por los matemticos 111tt1Lc101mtas co11te111pornncos. 1 er
es 'posible otra eonclus6n: si se picm;i que el llamado a la
intuicin es una falta en una co11struce1'6 n cue se uescnta
como lgica, entonces uno se propondr{1 corregir .l~s mtodos
cl:isicos de demostracin para substituir b inh Hcrn por ~u
equivalente intelectual. Le es muy necesario, por Jo dcmas:
con las nnevas geomctrlas, cuyos espacios ya no se dejan e:151
representar en la intuicin.

l.A.\ f'l CU llAS

13

Cuando se debe recurrir ::i las fignras, es evidentemente por

cue dicen a los OJOS cm:n cuc el texto, que se duige a fa sola
inteligencia, sohrccnticnde. La fuerz;i de la intuicin es tal,
que aun su :111sencia no se nota. Por ejemplo, no hace apcn:is
sino un siglo <1ue se ad\'itti que en ninguna p.nte Euclides
enunci la proposicin siguiente que no de ja mr cml:r.irgo de
utilizar: si una recta tiene dos puntos en un plano, est eon
tenida cu l completamente. En las cxposicio11es clsicas de
gcomctrJ, un :nr:lisis atento descubre as un gr.in nmero
ele pro posiciones implcit::is. En primer lugar, las proposi
cioncs ele existencia. L1 posibilidad de construirla en la in
tuicitrn prueba scgurJmcnte cue la nocin de la cual se trata
no em uch-e contradiccin, pero es un.1 prueba de hecho.
no una justrficacin racional. Despus. las proposiciones que
se refieren a la congruencia y que est:.U implicadas en divcrs;is
oper.1cioncs, a las cuales se entrega mcntalmeute el gemetra:
por c1emplo, regresar una figura para hacerla coincidir con su
propio trazo. Los Elc111c11tos no e111111cian exprt-samcnte ms
que una sola proposicin de esta naturalcr,a. que colocan
pot lo dcm:s entre los axiomas. ;\ lcncionc111os am la~ proposiciones cue enuncian propiedades topolgic:1s, es decir, que
conciernen al orden y a l.1 continuidad, inclcpcndicntemcnte
de toda eonsidcraci;1 de ngulos y de mtnca. ' Euclides y
sus sucesores, hasta el ltimo siglo. p:i~;r1on rcgulanncnte en
silencio estas propiedades, utili ndolas no obstante a cada
paso, porque b visin ele l.1.figura las sugera suficie~ t.emcnte.
Es claro c1ue un mtodo ngnroso 110 puede pcrmrhrse es.te
recurso permanente a la intuicin. E~ige cue todas las, ~rop1e
dades supuestas sean c111mciaclas ba10 l.1 form ~ exphc1ta ele
proposiciones: las que se demuestren. ser.In :ifrrmaclas como
tcmcmas, las otras ir:\11 a aumentar el m'unero de los pos
tu lados.

S -J. L<n 1txio11ws. Al lado de los po~tu~a~los se colocan tr:idi

cionalmente, para com plctar los pr111c1p1os de la geomctrl:t.
Co111iJ cmnos 1111J ligur culquicn tu 1aJ sobre "" hoja .de c:i1~cho,
que ic pucdJ coml>Jr y n liu r: son lopo16gi~ ls proprcdJJn Je IJ figura
que pcnnanccm lll\JH~nlcs, pnr eje mplo, tsla : de CUJ lrc> pnntm srtwdos sobre 11112 cul\a cn11 li11t13 abicrlu, si C a l;I cnlre A y D y sr B a l.l cnlte A
y e, ClllOll('CS B ul:I entre \ y n .

l.OS

m:n :c ros

Dt:L ..... ARA ro EUCLIDIANO

los ,?xi011~1s, ~ne son otro 110111hre para las "nociones cornunc.s de Euchdc:s, y las definiciones. Se justifica este orclcnam1cnto desde el punto de ' ista lgico?
La scpar.acilin. eut~e los aximnas y los postulados qued
a mcn.udo mclcc1sa. hecucntc111cntc, las dos palabras mismas
han s1<lo, y son an, tomad.is indifcrcnkmcntc la nna por
la otra: como prueba, el nombre 111ismo ele Ja axio111tica,
que se . llamara, ,sin .duda. m:1s justamente un.1 post111:1tica.
Los editores ele Euclides que han vuelto a poner a la cabeza
de los Elc111c:11tos las propiedades que Euclides haba postu
lado en el cmso de sus demostraciones, las han colocado,
unas veces a continuacin de las "peticiones" otras veces a
contin uacin de las '"nociones comunes". En la medida en
que se lo distingue del postuhldo, el axioma cm uclve en pri
mcr lugar 1.1 idea de una evidencia intelectual. l\ lientras el
postulado es una propo~ icin sinttica, cuya contradictoria,
dificil o imposible de imaginar, pcr111ancce no obstante conce
biblc, el axioma sera una proposicin analtica que cons
tituira un absurdo negar. Adems, funcionara como un prin
cipi:o puramente forn1.1l, regulando los p.1sos del razonamiento,
pero sin llevarle, contraria111cnte a los otros principios, alimento alguno. Estas dos ideas se unen en Ja tesis, largo tiempo . prop:igacla - pero jam;s justificada por un anlisis preciso- , qne hada de los axiomas simples especificaciones de
leyes lgicas, aplicadas a la cantidad.
Ahora h:en, l:i nocin de evidencia despierta ca da n:z ms
y ms la dc~confi:mza clcl matemtico. El sentimiento de Ja
evidencia es cngai1oso r su dominio vara scgi'm el temperamento intelectual de cada uno. Si uno quisicr.1 apoyarse en l,
los espritus intuitirns pediran sin duda que se suprimiera
m:s de una demostracin, menos C\'idcntc para ellos <JUC el
teorema que se supone tal clcmostraein justifica. Otros, al
contrario, ms e~igcn tcs, rehusaran reconocer tal axioma CO
mo incondicionalmcn te necesario. Y es verdad que ;1lg1111os
de los axiomas de Eucl ides h:in sufrido, en Ja matcm;itica
moclcr~1a, una suerte de degradacin: por ejemplo, el cue
enuncia que el todo es mayor que Ja parte, no vale, en un

LAS n GUJ\AS

cierto sent ido, ~ m;\ <ne para los conj1111tos finitos, )' podra
an servir, como ~e h.1 \ 11gericlo, para definir tales conjuntos;
cu e'> te sent ido y.1 no es 1111.1 proposicin ;m:iltica, es n11a <:011
\e11cin que dcli1111ta 1111 cH:rto campo y a la cu.11 el espritu
no est. e11 111a11cr.1 alg1111.1 ~ ujcto. l'or lo dcm:1s, el papel que
\e ha hecho jugar a l.1 e\ idc11ci:i dura nte largo tiempo, est
ligado al ideal ele 1111a mak m.tica cat<:grica, en donde lo
<JllC no cst: demostrado. debe sin e111b.1rgo. de alguna manera,
exhibir MI ~ ttulos en orden a la verdad. Ello se afina en una
co11cepcin l11 potticodcducti v;1, ccntrad.1 en la idea de coherencia lgic:i ms bien que en l.1 de verdad absoluta. 1\I poner
as en el pri111cr plano ),1 idea ele sistema. se impone reducir
al mnimo las prop,rncioncs inclcpc11dientes. Pero. s 11110
~e esfuerza as por demostrar los axiomas. es dentro de nn
c~ p ritu muy difere11te al que inspirab:i a Leibniz cuando
formulaba la misma exigencia. Porque no se trata ya de rcdu
cirios a proposic1011es iclntic:1s a fin de hacer resplandecer su
evidencia, ~e trata simplemente de reducir al mnimo la base
del sistema. dehicndo aparecer los principios, ele donde clcdu
cir:ln Jos axiomas, intuiti\'amcutc menos evidentes que ellos.
Estas ltima~ co11 sidcracione~ \':Jlcn sobre tocio, es cierto,
para la verdad material ele las proposiciones. } pierden su
fuerza aplicadas :i principios formales y reguladores. l'cro, SO
brc este punto. la tcor:i c1:1sica carece atn de claridad. Pone
los axiomas en una situacin intermedia entre las proposi
cioncs lgicas y las proposiciones geomtricas: reguladores
como las primerns, se refieren a la cantidad como las scgnn
das. Pero, o bien se puede obtenerlas aplicando los principios
de la lgica a las primcr:1s nociones matcm:ticas. y en tal
c:1so es necesario hacerlo y borrarl:is del nmero de las pro
posiciones primeras de l.i geometra, para contarlas como
propo~icioncs de lgica aplicada. O bien son rebeldes a tal
reduccin y t.~ ta resistencia 111anificst:1 su carcter <le pos
tulados. Conviene. pues, disociar los axiomas. de manera que
una parte pase a Jos postubdos y b otra caiga fuera de la
~ En el $CUtido cu que ~s mayor <uc" se cnhcnde romo '"t iene una
po tcuciJ 1uprnor 3" (v. S 26, nota ), el O\iOl113 dcj3, en efecto. de valer
par.t lui conj11uto1 inf111itus - en donde, no obltantc, d todo "conhcnc
tvn una J c111J1la", a IJ parte.

16

LOS DEFI:cros DEL APARATO EUCLIDIANO

LAS Dtt'INICIOSl1S

gcornctria. Ya, no ha?r lugar para ellos entre los principios

de la gcomctna, al 111vcl y al lado de los postulados.

S 5. Las defi11icio11es. Jl. !cnos an se necesita contar las clcfi

nicioncs entre los prin~cros principios. llay ah 11n error lgico
sor~rcn~lcntc, que un mstante de reflexin basta para disipar.
Se ushfica el recurso a proposiciones primeras im ocando
la irnposib1lidacl de demostrar tocio. i\hor.1 ben, las mismas
razones que Yalcn n1ra la demostracin, valen evidentemente
para la definicin. Se define 1111 trmino mediante otros trminos, stos a su vez mediante otros, de suerte que, p.ira
evitar la regresin al infinito. es necesario sin duda detenerse
en algunos trminos no dcfmidos, as como las demostraciones
deben apoy;irsc sobre algunas proposiciones no demostradas.
Estos trminos irrccluct1blcs constituyc11, par.1 retomar mu
comparaci11 de Russell, una sncrtc ele 3lfabcto geomtrico:
sirYcn para dclctrc;Jr, es decir, entran como clcmcntos para
componer las definiciones, pero ellos mismos ~on inclcfinibks.
Estos indefinibles son los que conviene enunciar a la cabeza
de 1.1 teora deducti\'a, y no las definiciones. Estas nter\'cndrn ulteriormente, para substituir por un trmino nue\'O
ms simple una expresin construida, directamente o por
definiciones intermedias, con la ayuda de tm1inos primeros
- exactamente como intervcnen las demostraciones para justifie~ir proposiciones nucrns con la ayuda de las proposiciones
primeras. 0
Tambin las "definiciones" iniciales ele Encliclcs no tienen
de definiciones m:s que la apariencia. Se rcclnccn a simples
descripciones empricas, comparables a las que ciara un die
cionario, que tuviera por objeto dirigir el espritu hacia la
nocin de que se trata. Son propiamente desig11acio11cs. Por
eso es por lo que casi no satisfacen a la funcin que parece
asign;rsclcs : enunciar las propiecl.iclcs fundamentales. las que
se utilizarn a fin de obtener de ah todas las otras, en las pro
posiciones en donde figurad el trmino definido. Euclides cldi
ne la lnea recta: la que descansa igualmente sobre sus p~111to.s;
Hcr6n la substituye por la definicin siguiente, en ap;mcnc1a
GEsta an.1logb funcion 11 entre definicin )" dcmostucin fue
sc!lalada por l'Ascu , en su fr3gmcnto (De l"csplit ;o1111trquc ).

11111y

bien

17

ms clara: el camino m;s corto entre dos puntos Leibniz

ad,icrtc con ra1n cuc l.1 mayor parte de los teoremas que se
apoyan sohrc l.1 recta 110 utifan ni .ma m otra de ~-stas do~
pwpicc1.1des. Por 1111 lado. tales clcf1111c1on~s ~011 , pues, . s~1pcr
finas Y JlOr otra JJartc, disfr.1za11 auscnc1J de prop?s1c1oncs
. 1es 1111
' 1es, por. ccn
. . lj)IO esta: cue
que' . .c111111cian las prop1cdac
cxplicar{111 111[1s tarde los editores de ~uchdcs: dos rcc t.i~ 11 ~
encierran 1111 espacio. Esta di~corda 11c1a cutre las. prop1c<l.1tes
cnunciad.1s en la pscu<lodcfinicin y las prop1c~la.<les e c~
tiv1111cntc utilizaclas luego, constituye una falta log1~a fra\c,
io~que hac.:c nacer una sospcch.1 sobre l.l iclcnticbd <e a no~in: qu uos asegura que la r~cta ele la cual h?bb~ l~sc:~~~
remas es ciertamente aquella 1111sma que se pecha a a
ein iutroclucir?
. . .
.
11111
nnuera
gcncral,
lrtcsc
de
falsas
dcf1111c10n.~
m1De

b s expos1
\'Crdaderas

ciilcs 0 de
dcf1111c1011(-S
ult cnorcs,
. c10ncs
cl~si~as de geometra cometen con m~1cha frc:,ucncl~ e1dcr~~~
de ncscnt:ir como aparentemente sunplcs ormu .1s 01
1 1.
r~1J1cbd dos cmmeiados ele n.1tur;1lcza
muy
se com nna11 en ....
. 1 da
..
.1 uo iosicin v nna dcnommacon; } sm (u .
d1fcrc11tc, '!1} l )
:,, . de h tesis propagada durante
1
f:rtg~c~~.~~;~~n: ~~t~cc:~nela~r(;~~~iicio 1:cs los principios.fcc~ncl~s

'
btcudrhn tod:i su substancia. ca a
de donde los tcor~m as . , es 1 f 1,,ura plana terminada

.
,
15
le
Ene
ic
es
circu1> " o
.
.
1 f m1c1011 e
<e
. , cctis que la mirn en un cierto
0 1 1
por una lnea tal T'c/ <as s:~~ r igi;iles entre s. Significa dos
punto interior a a ignra
. 'r,, ra )lana >or mu linea
Q

.
0 -blc tcnmn:ir un.1 1o 11
I
cosas:
es P si . 1 n '" se llamar. "crculo" una hgnr:i
recta tal qne ctcetc .'
1 que 5 11 eluda sct:t ns pcr
tal. Este segundo cm111c\1 o ]: '"definicin'. puesto que el
tincnte rcser\'ar . el nom irc. <_1\crcin- no concierne sino al
111
primero es propiamcnt~ "'. '
tc ningn nuevo coutenido
.
.
11iort
1
ngnros.uncn
.'
1cngu;i1c, } nn : . .
lccisin 0 una convcnc1on que
1
a Ja cit-ncia ~comtnc~i . . ',S :":~ < ior tanto, justificarse por su
abrevia el d1scnrso, que P1 e : 1 e ver con Ja vcrd;id. No se
na<1,1 qu
.
. "
cl 1c 1.1<1. pero uo tiene
como
. -. ente afirmar b propos1c1
.
el uno u b"t
1 r.1r1.11n
, 1n
sigue que pue "

filsi v biio este titu o.

. . ' lh es \'Cr<1ac1cr.. 0 "

corrcsponcl 1c11tc: .iquc . . . s ulteriores. Por tanto, s1 se

1
!acles
contr.1<
1cc1011e
,
.
.
.
.
0
1 \Cr<
fucutc <e
l 111 1nado implcito a Ja mt111c1 6n,

'
descarta como madecua< 0 e

11

d- .

LOS Dt:fl'CI OS Ol:l. Al'AKAO l .UCI mlAN(J

Dl~M<~'f'llAelS Y Dftl Nl CIN

es ncccsJno dcmostrar!J co1110 tcorcm.1 o c~tablcccrl,1 como

post11h1do.
.
.
,
Li utih<l.id <le esta cxigc11c1J 16~1ca aparcc~ra t.111to mejor
<lcfmicin rene h.1jo 1111 mismo temuno un nnncro
SI 1a

l
}
IJIJI Or de
. i>roi>icdadcs hctcrogcm:.1s: en 011cc:~. no >.1sta . <1uc
cacia una sea p~m blc, es ncces.mo que: en con11mto St\lll mtcgmbks. 51 uno no se ascgur.1 de su c:ump.11lb1.l~<lad. se cxpf?n~
a cometer lo que S:icchcn clcnunu.1>.~ como cn or t 1e t ~ 1111.
cin tomplcj:i": co1110 si > prc:t.cmhe~a ddn111 un poliedro
rcgul.u que turicrJ por car.is hcx.1gonos.

'

~l

S 6. Dcmostraci11 )' ~cfi11ic11': l'arccc :is_que en el Jlllnlo

de partid.1 de un.1 tco11.1 dcd~tchrn, co11ccl~1d.1 p.ua satisfacer
3 lJs exigencias lo;~cas, dchcrJn f1gur.1r no ~11uc;1mcnte los tres
"principios" trad1c1onalcs. dd 1111c10m:s. a\10111as y po~!nlado~,
sino proposiciones no dc11wstra<las - que ~e lla111ara1_1 .m<h
fcrcntcmcntc a:1.iom.1~ o postulJdos- y trmmos 110 cld1111dos:
y todo d trabajo ulterior comtsllr: cn constrmr :i partir de
h proposiciones nuc\'aS, justific:1_das por 111cdio de demo~
tracioncs v de trminos nttcrns, fl)a<los por medio de dcf1111cioncs. Demostracin y dd iniein. tales rnn. pues, las dos
operaciones fundamentales n'.cdiant_e .las que se dc~~ rrolla una
teora dcducti1a. Pero, a que co1td1c1011cs debe s.1ltsfaccr una
buena demostracin, unJ buena dcfmiein? Eso depende del
fm cue se asigne a estas operae1oncs y, tambitn sobre este
punto, las exposiciones cl.1sicas de geomet ra ca rc~e n a , menudo de cbnd.1d. PJrcccn proponerse en fonn:i snnultane:i
dos cosas <l1fcrcntcs, y qnc 110 ~e concilian 11ccc~aria111ente.
Sin duda, b confusin es aqu menos imputable :1 Euclides
mismo que al l.1rgo uso pedaggico que se h:i hecho de su
obra. Pero tiende tambin a ese rasgo de la geometra clsic:i
de pretender unir la verdad material de las proposiciones
y la \Crdad formal de su cnca<lcn:uniento, la exactitud emprica y el ngor lgico.
Si se pone en prmer plano la ve rdad del contenido, cnt~n
ces la dcmostr:icin y la definicin llegan a ser simples mc<l1~s
para establecerla. El papel de la definicin ser hacer concebir
exactamente el ~entido de los trminos que componen las
proposiciones, r el de la demostracin, hacer admitir la verdad

.,

1"

19

ele stas. Dcfi111c1n y dcmostr.1cin depemkn entonces,

propiamente liablaudo, de la rc.:trit'.I; su fnnct(m es C\cnci.11
mente psicolgic.1: pulagg1ca o did.'rctic.1. En l.t otra lnp
tesis, por el contrario, 110 tienw m:s cue 1111,1 l11nc1(111 lgica:
reunir todos los l'rnuno\ r todas ).~ propos1ciom:s en 1111
co111unto sistc111.t1co. AlmrJ l11cn, es claro. en prin1cr lugM,
cue las dm exi!;et1c1.1s, cfic1c11ci.1 (l\ICOli>;1c:1 ) 11gor 16g1eo,
tir.tn a \ CCe~ e11 ~e nt idos opnc~ tos; luego, que t.1n pronto co1110
se vin t ul.1 uno a l.1 prnncra. el \tlor de 1111.1 ck 111ostracin o
de una dcl n11c1n se n1che rclati10, y aun clublc111cntc rcl.1lt\'O: una dc111ost r.1cin u un:i dcfmic16n no es ms hucna o
111ala, es sol.1111entc 111cjur o menos bue11.1 <Jite otra; ) esta
rnahdacl, :1 su 'e1., vara segn d lector o el oyente. l'eclag
gic:nnentc, l.t buena dcf1111dn, la bue11.1 dcmostrncin. es la
qne d alumno compremlc. Eso puede llc,ar le jos. !'.ira el
mito, l.1 \Cr<ladcra dcfinici11 de la d1 pse no o la qne aprcuclc
de mcmori.1, smu .tlgo como: u11 crculo 111<IrgcJo; la burna
dc111ostr:icici11 no es l.i q11e cscnbe en su cmdemo. es l:i figur.1
que la acomp.1i1J. Si sol.miente la hucna de111ostr.1c1n es d
argumento chc:1z, dnde se clctendr.i uno? Es rnnoc;da J.1
:incdota de aquel preceptor pr111c1pcsco <1uc, tem11nados 103
recmsos, lleg sin embargo. a h.1ccr admitir sn teorema e.~cl a
mando por ltimo, imtado: Scflor mo, os doy m1 pJlabra
de honor!
Parece que, entre los matemticos mismos, las dos funciones
no siempre h.111 estado cbramcnte d1sociad.1s. S1 no, se comprendera mal que algunos hayan compartido el asombro qne
provoca, en el profano, m.s de una dcmostracicin de Euclides : por qu afanarse en pcrsnJdimos por un razonamiento
difcil de cosas de las c1uc estamos ele antemano perfecta
mente seguros o incluso en demostrar lo m:\s evidente por lo
menos evidente? La Lgim de Port-Royal cucut.1 entre los
"dckctos <111c se cncncnt r.m de ord inario en el mtodo ele los
gemetras" el de "probar cosas que no tienen 11cccsid:1d de
pruebas". Alg1111os busc:1!1 explicaciones y cxrnsas, como hace
Clairnut: r "Que Euclides se tome la molestia de demostrar
que dos circulos que Se cort:m no tienen cJ mismo Centro )'
T EUm<uls dt ;um~lri<, 1 7~ 1; citdo por F. Co:<nrn, 1.4 JomJlr:c
ti lt probltm de r
t. U, p. H l.

/>'C

Generated by CamScanner

IS

20

LOS DEFCCTOS DEL APARATO l:UCLIDIANO

01

uc un tri.ngulo encerrado en otro ticn~ ia smnn de sus lados

q e ucii: que la ele los lados del triangulo en d cual cst:
nus p qdo 11110 110 se sor)fcndcr. de ello. Este gemetra tena
.

1 1
cnccrra .
ciiccr a sofistas obstmatlo\, que 1ac.:1.111 ga a e e recita.
que com

z.ir las YerdJdCS ms C\idcntcs; cr.1 ne~csano, pn.l~, que .1 gco t ,. er" "ntonccs como l:t log1ca. el :111x1ho ele razo11an1c t na 11 1 '' . .
'
.
1
''
micntos en fonna, para cerrar la boca . la e 1ic:a na. Y ,<?Ja1.
. t , - ,tlc "!,ero !ns cosas h:m cambiado ele.: aspeclo. 1odo
r.m "11" que recae sobre lo que e.1 1)UCn senlH lo elec1~c

razon:nniento
de antemano, nene a ser hoy pura pl:rdida y n<> es pr.~p10
sino p:1ra ob~curc:ccr ); \ Cr<la<l y d1sgu.star a los lectores. .La
misma concepcin hmdJmcntal .dcl papel d~ la <lcmo~trac16n
en el filsofo Schopcnhaucr quien. mc~10s .111<l11lgcntc, 1uz.ga
franc.uncnte "absurdo" d mtodo de b1cltdes y e~ta m;m(a
ele substituir b mtuicin por el discurso: es como s1 un hom
brc, dce, se cortara las dos piernas a fin de caminar con
muletas.
Sin embargo, el "absurdo" mismo que se cncue.n~ra ah
no debera hacer sospech:ir que uno se cqm' oca qmza sobre
fas intenciones ele Euclides? Que se pueda, como hace Pascal,
mirar el razonamiento gcomtnco como un 111ocl.clo dc_I art~
de convencer, parte l mismo del arte de persuadir, no 1mphca que tal sea su funcin primera y esencial. En efecto, sabemos que muchas de las proposiciones de E uclides c~an con~
cidas antes de l y casi no hay duda de que ha} an sido adnutidas como , crdadcras por todos los expertos. Pero faltaba
organizarlas lbg1camcntc, unir las unas a las otras por una red
tupida. Aparentemente es lo que quiso hacer y, en todo caso,
lo que realmente hizo Euclides. Y tal es sin duela ~h.ora el propbsito cada vez ms y m.s declarado del matcm:ihco. Dcsd~
la poca de Cla1raut, las cosas han "cambiado de aspecto
un:i vez m:s. "En el sistema de todos los juicios verdaderos,
escriba ya Dolzano reina una eonc.xin objetiva, indepcn
diente del hecho contingente ele que la conozcamos ele rno~~o
objctrn; por ella ciertos juicios son el funcl:uncnto de otros. '
Desprender estas conexiones objctirns, tal pareca. en aclclan
te. el verdadero fin de la demostracin en una teora dcdue
7

Philo1opl1ic dn i\fot/ocoruttik, 1810; ciudo por

<n011141quc ti formolismc, pp. ~6-i7.

CAVAILLis,

Mtbodc

MOHltAelN

21

Y 0U' INIC1S

t;l'a. Al mismo tiempo <111e J.1 certich11nbre snhjctiv:i, se clej:1

a un l.1clo J.1 verel.ul 111.1tcrial ele las proposiciones, y Ja mate
m:tic:1 se convierte en hipottico elcdncltva. Desde priucipios
del siglo x1x, C!.ta scp.1r.1cin cu trc l.1\ do~ cnncepeioncs de la
e1c11c1.1 y de J.1 de111o~ trat.i11 matc111:'ttilas, habia ~ido sefialada,
con 1111.1 claridad pcrfect.1, por 1111 f1lsufo hoy ya olv1claclo,
victima cid dcscrhto en que c;i) 1.1 l'M:ucb cscoccs.1. "En
malc.:m: ticas, scitalaha D11galcl Stcwart, " 1111c\tros razonamientos .. . no ticm:n por fin constatar rcrc/m/cs acerca ele existen
c1.1s rc.1Jn, smn detc.:r111 mar la fili :1ci<n lgica ele bs wnsc
c11e 11c 1a~ cuc se elcril .111 de una /1ip6tcs1\ ciada. Si, p.11tienelo
ele esta lnp<ilcsis. r:mm:unos con exaetitnd, l'S 111:111if1csto
que n.1cl.1 podra faltar a 1.1 cviclcnc1a del resultado; pu<:l. 1,,-ste
resultado se limita a air111ar un enlace ncccsano entre la
s npo~icin y la conclusin . . . De estas proposiciones no se
puede decir cuc son rnrde1dcras y fa /s115, al menos cn el sentido
en que se les llama proposiciones rclatt1.1s a los hechos . . .
Cuando se dice de estas proposieaoncs que las unas son \ 'Cr
dadcr11s, las otras (<lisas. estos eptetos se refieren mca111ente
a sn conexin con los d11t11, 110 a su rclacibn con cosas actual
mente existentes o a acontecimientos futuros ."
Asi como la demostracin l',tcila entre una funcin psicolgica ( detcnninar el asentimiento ) y un:i funcin lgica
( orga1111.ar las proposiciones en sistema ). asimismo l:i dcfinic1611 se instala un.is \ Cccs en el pl.mo del pensamiento, otras
en el del discurso. ) muy a mcnuclo pretende hacer a la 1c-t
lo uno y lo otro. Apunta, como su nomhre lo sugiere, a dcli
mitar la comprensin ele una idea, pero tambin a establecer
una equi valencia lgica entre un trmino 1111cl'o y un conjunto
ele trminos anteriormente introelucidos: el medio viene a ser
un 1111c10 fin, <(lle a mcnuclo se aiiadc al primero sin borrarlo.
De ah 1mJ luctnaci6n <1ne se obscr\'a hasta en la matemtica tasico11tc111por11ca. Recordemos solamente las bml:ts de
l'oincar ~obre la clcfinicin del nmero 1 en la aritmtica
si111holi1acla de l.1 escuela de Peauo: "Definicin cminentc111cntc propia, dice con irona, 10 para dar una idea del nmero
t Hbnrn:s .,. lo pl111owphic Je l"ci/ml hun1ai11,
l. l'usn, pp. 1067. El oulor 01 quien iubray
10 Sdt11cc et mi 1/10Jf, p. 168.

\'OI.

u, \SI), lud. de

22

J.OS DEFECIOS Dr.L AP.\RATO LUCLlDIAl'O

. 1
sonas <uc 1ams hubieran odo hablar de ll"
1 as pcr
d l t 1
'
d los Pnmcros bcncf1c1os e11m o<t o ax1omat1co
Unoc
'
'
d' . cstis confusiones. d1soc1ant o a rna cm:11tc.1 pura,
ser.1 is1p.1r
1
1

(or1113, )' J
c1cnc1a
" nn tcmtic;i ap 1ca< .1, c1c11e1;1 <". o real
.
lltc ' obliaJmlo
a tomar claramente
partido
o, lll:I' s 1>rci"ltllC
~ >
"

'
y a escoger entre J.1s dos lc~turas ele 1111a 1111sma kona mal ~mttca, segn que uno se m~crese en ella por la coherencia
lgic.'l 0 por la verdad cmpmca.
1

11 . LAS PRli\ IERAS

S /.

1
)

AXIO~ IATI CAS

Nacimiento de la a.~iur111itica. r.. lic11tras IJ geometra pre

tenda medi:rnte sm proposiciones cmetiar \'crdadcs, l.1 form .1
racional dada a la prcscntac1n de 1.1 ciencia podia aparecer
como una especie de lujo intelectual. Sic11do entonces cons1derado el enc:1dena111iento lgico como 1111 medio p:ira alean
:r..;1r proposiciones \'C r<bckras, o para hacerlas :1ccpt:ir de los
dcm:s segn una especie de argumcntac111 retrica ex pwr
cog11it L~ et fmtcco nccssL~. eran tolerablc1> algunos defectos de
rigor. desde el momento en que l.1 mt11ic1n venia. como medio auxiliar, a suplirlo: el resultado era alc;inzado, la seguridad
<le l.1 ciencia no cr:i comprometida. No sucede ya lo mismo
cuando. como imita :ihora l.1 pluralicl;id de l.1s geometras.
uno se desintcrcs:1 de la \'Crclacl mate11.1I del contenido, para
l1accr reposar la \'alidcz de una gcomctri.1 sobre la annadura
lgica. Entonces, la menor ins11f1ciencia hace dcsplom.use el
edificio: recurrir a la intuicin, es \'lolar la regla del juego.
Otra razn impela en el mismo sentido au n a :iquellos
que continuaba n ligando la primera i111port;111cia a )J \'Crdad
extrnseca de las proposiciones: l:t dcsconha111.1 acrecentada
<ue s11scitab:1 la intuicin espaci:il. La historia entera de la
geometra atestigua una tendencia constante :i restringir cach
,cz ms su dominio y a acrecentar otro tanto las exigencias
lgicas. Pero en el siglo x1x, con IJ "aritmctizacin del anlisis", el mo\'imicnto tom una ~1ccleracin considerable, a la
cue el surgimiento de geometras rebeldes a la intuicin no
poda sino contribuir. Sep:uaciones sorprendentes se manifestaron as entre las sugestiones falaces ele la intuicin y las
enscfia11z..1s indubitables de la demostracin. Tal proposicin.
de la que todos se crean seguros, re\'lasc errnea; tal otra,

1.
i
LAS l'lllMl:.111\S AXIO~ITICAS

que habriamos dcsC:1rtado sin titube.u es, sin embargo, susccp!lblc de prucb:i. Para no citar sino dos ejemplos memorables:
110 es , crda<l que a una currn continua se puccl,1 tra1ar sic111 .
pre una tan&cntc ( \Vcicrstra~) . no es falso <(lle una eur\'a.
linea sm :mchura. pueda culmr tocia la supcrf1e1e de un cuadrado (Pea no) .
Es l'asch quien, en 1882, intent l.1 primera axiomat iz.1 .
c1n de b geometra. Si su solucin presenta muchas i111pcrfcccioncs. debidas c.:n parte al hecho de <(UC el autor conscrYa
la actitud del empirismo cl~sico. al menos plante clar:1111cntc el problema : "Para que 1:1 gcometrra llegue a ser \crcl,1clcrJmcntc una cic11c1a clc.:<lucti\'.1. es necesario que la manera
como se sacan las consecucne1as sea en todas p.1rtcs imlcpcn
diente del sentido ele los conceptos geomtricos, como debe
serlo ele b s figur.1s; slo deben tomarse en consiclcr01c111 las
relt1co11cs cstJbleciclas por l.1s prop-0sieioncs (que hacen ofi
cio ele definiciones) entre los conceptos geomtricos. Dur:1n
te la deduccin puede ser comc111cntc} til pensar en Ja significacin de los conceptos gco1tricos 11hli7~1 d os, pero esto
no es en manera alguna necesario; de suerte que precisamente
se hace necesario cuando se manifiesta una laguna en la de
duccin y (cuando no se puede suprimir esta laguna modifi
cando el razonamiento) en la insuficiencia de las proposicio
nes im oc:icbs como medios <le prueba." 11
lle aqu, pues, las condiciones fundamentales a las que,
para ser verdaderamente rigurosa, d ebe satisfacer una c.xpo
siein deductiva:

meros, con ayuda de los cuales se propone uno definir

todos los otros;
2. qt~e sean enunciadas explcitamente las proposiciones
pnmcras, con ayuda de las cuales se propone uno demostrar todas las otras;
3. que las relaciones enunciadas entre los tm1inos prime
ros sean puras relaciones lgicas, y penrnmczcan inde
pendientes del sentido concreto que se pueda dar a los
trminos;
M. PAsc1r, Vorlerungcn btr ncure Ccomclric, 1882, p. <>S.

AXIOM'I JCA

25

4. que slo estas rdae1ones intcl\c11g01n en las demostraciones, inclcpcndie11lc111cntc dc.:I sentido de los tfoninos (lo
que prnlibe, c.:n p:1 rl1cul.ir. lo111ar prcstJdo algo a )J con
sideraci6n ele las f1guras ).

S S. A11terioriclacl ele 1111 sis tc111t1. L1S regla~ establecidas asi

por l'asd1 co111porla11 una d1sti11cin clara entre los tm1ino:;
o prop~s icioncs f>rof>i<1s al sistc111a 01xiomatu.1do y los que le
son l'.1g1camcnte cmtcri orl:-~ . Si se tra ta. por c:cmplo. de geo
mctr1.1, los. tm11nos propiamente gcomtricm que f1gura11 en
las propos1c1011c~ pm11er.1s 110 p11tdcn C\'Hkntcmcntc fom1ar
propos1c1oncs ms que s1 cst:in unidos entre ellos por otras
palabras, que tengan una fun cin lgica, tales como : el, y,
todo, 110 . es 1111 si .. . e11to11ccs. c.:tctcr.1. Jg11:1lmcntc. las
demostraciones no h:iccn fmado slo a l.1s proposiciones del
sistema, porque, para integrar stas en demostraciones, es ne
ccsario ~1tiliza r reglas lgicas de encaclcnamicnto. por ejem
pi?, aphcar l.1 regla de l.1 trm1S1tirid:icl de l.t impliC:1cin (si
<11111p~ic;~ a b )'si. b implica a c. entonces a implica a e). Un
conocurncnto - s1 no terico, al menos operatorio- de la l
gica, pues. se presupone aqu. En rclac1611 a ]: ciencia :ts
axio111ati1.:1da, b lgica se llama e111terior.
Adcm;s de b lgica, un sistema geomtrico presupone orclinari:imcnte la aritmtica. l';ira definir 11n trifogulo, es ncccsano empicar el nmero tres; p.Ha demostrar que la suma
ele sus ngulos ,-.1Ic dos rectos, es necesario admitir la ,;ilidcz
ele los teoremas aritmticos acerca de la adicin. De una
manera general. se ll:imar-. :111tcnorcs a un sistcm;i axiomtico todos los conocimientos a los que ese sistema hace, as,
llam:1do. Se notar guc, si 11na ;l'l:iomtic;1 se presenta como
un mtema pur:t111cnte fomul, los conocimientos de que tic
ne nccesidJd p:ua constituirse son, ellos mismos, nociones
entendidas en la plenitud de su sentido y tesis tom:idas en
su verdad 111:1 !erial.
Este recurso a conocimientos anteriores, sobre todo si no
est expresamente dcclar:1do, repugna al espritu de la axio111{1 tica, cue se impone como ley explicitarlo todo, sin presuponer 11ada. Se puede naturalmente atenuar esto obligndose a enumerar, al principio de una axiomtica, las ciencias

l. Que sean enunciados explcitamente los trminos pri-

11

NACl~llllNTO DE U

Z6

LAS l'RIXtrll.\ S AXIO~TICAS

que se presupone. Pero esta simpl~ ~ormalidad no basta de

nin!!n modo para resolver los d1hc1lcs problemas que surgen"" aqu, y cuy.a consideracin s~r~ dct,e n11i11a11tc p.ua los
dcs:m ollos ulteriores de la axiom.tt1ca. 1 articularmcnte: se
podr, como sugiere en scgu.1da el aH1.1 de pmc1A1 lgica,
hacer remontar 1.1 ax10111at11.:1c16n de la e1cnc1.1 hasta un punto lltimo. de la geometra .1 la aritmtic.1. de la aritmtica a
Ja Jgtca. a modo de . absorber lm conoci111 i~11 t os h.1sta ah
utihzados como antc:norcs -y que por cons1gmentc permanecen exteriores- a Ja axiomtica. } a ehmmar as tocia presuposicin intmti\ ,1? O .l>1en, los conoei11~icn tos clemrntalcs
de lgica y aun ele :mtm~tica. no scn:m ~~cccsa namen.te
uttliz..1dos, a ttulo operatorio. en J,1 construccmn de las ax10mtic;is Jaicas y arit111ticas' Es dificil. sciabb.1 Poncar
"enunciar ~na frase sin poner en ella un nombre de nmero,
o al menos la palahrn ,,arios, o al menos una palalm1 en plural''. ,; El antmtaco o el lgico 1111111cm sus proposiciones y
sus teoremas, cmml<1 el nmero de sus nociones primeras. Lo
que es verdad de las nociones aritmticas rnlc, con ma)Or razn, para las nociones lgicas.
No es siempre facil, por otra parte reconoce:r exactamente
la frontera entre las nociones propi.1s a una ciencia y las que
le son anteriores. Leemos, por ejemplo, 13 en un libro de geometra: "La recta a /Jasa por el punto A." El tcrmmo pasa
mr aparentemente es del vocabulario geomtrico; pero ya que
se puede evitarlo diciendo: "El punto A pertenece a Ja recta
a" y que la pertenencia de un individuo a una clase ( considerndose la lmca como 1111a clase ele puntos ) es un.1 nocin
lgica, el trmino pasa por debe acu ser contado entre los
tm1inos lgicos. Leemos, m3s lejos. las dos frases siguientes:
"Si un punto est dado fuera de un plano, ctcctcra" y: "Si
un punto est dado fuera de una superficie esfrica. etctera."
En dnde clasificar la expresin fuera de? En el primer caso,
se enuncia simplemente que el punto 110 pcrtc11ecc al plano:
es, pues, un trmino lgico. Pero en el segundo, se quiere
decir algo ms: no solamente que no pertenece a la superfi12 11. i'otNCAlt , Scinice ti mithO<h, p. 166.
Los ejemplos que ugucn cstln tomados de PADO.\, L4 logiq~ dduc
lne. Rev. de 1\tilaph. d de /\lordt, nov. 1911, pp. 830-31.
13

AN'l J'l\ IOIUDAO [)[( UN S ISl'l( M,\

27

ce de la esfera. sino, adc111{1s, <ue no est situado en el 11 terior de sta: el 111 imro tr111i110 debe, por tJnto, ser mirado
ac111 i como prop1.1111c11lc geomtrico.
Se pocli.1 c.recr que l:i e1111111eraei6n separadJ de los tnninos
pri111cros <le 1111 \l\ICma era M1 pcrfl11a, ya que estos trm
110~ \011 l \,1ct;1111cnlc los que se cnc11entra11 en la~ proposiciones
pr1111cr:1,. De hecho, en las primeras axiomtic-.1s, no se tomah.1 ~1cmpre c.'lt.1 prccJ11c16n. " 1 ~1 dif1cnltad <uc hay algunas
' eccs en reconocer. en I.1s proposiciones, cu.'tlcs son Jo~ tC:nni
nos propios de la teora, impone, ~e comprende, dar la lista
exacta de ellos.

1
1

1
f
1
1

!
1

S 9. lrrdcf11ibles e 11dcmostrablcs. Sistemas equ1alcrites. Uno

ele los rasgos que car:1ctcri1A1n 111,s ,isiblcmentc l:i puesta en
forma ax1om;\tica ele una teora deductiva. cs. se ha visto,
<1.11e se eomiell7~1 po~ ~c.'S pcja r y cnunci.1r ahi expresa y cxhaushv:uneutc los 111dcf1mblcs y los indemostrables de la teora.
Scmej:wtc frmula rcd;una, ~in emhargo, si no correcciones,
al menos co111cntar10s intcrprctati, os.
En primer lugar, no es lgicamente indispensable que la
totalidad de los tfonmos funcbmcntalcs y de los postulados
sea presentada en hloque desde el principio de la teora. y agotada antes que eo111icnce11 las dcfi11ic1oncs v las demostraciones. Pucsto..quc la tcori:i axiomatizada alcan~.1 1111 cierto grado
de co11~ple1t<~ad ,. tal proccdin.1icnto arriesgari:i entorpecer la
cxpos1c1n, sm mnguna vent:11a lgica. En este caso. a mcnu~o se iu ?,.ga~. preferible proceder por grados succsl\os, y no
mtro<lue1r sn10 a 111cd1da de las ncccsid.1dcs, sea aisladJmcnte,
sea por grupos, l.1s nue\as nociones fund.1mcntalcs. con los
postulados que les cunespondcn : a condicin. bien entendido, de que la cosa sea hecha siempre ele modo explcito. Rc.sta
el que la mencin de los trminos no definidos y de las pro14 S111 JuJJ h bl1 tJmbifo. en c~I difcrcno J de tra~nucnto entre Jos
t11111110> y IJ~ propo\lci.,nn 1111 cfcct o de ese cu now rctudo en L> tcorll
de lo llnnmoi , dd tttc hemos \'3 cnronludo unJ mJn1fC$tJcin en el lii
bito ><culJr Je <unlJr 1,. cld1111<i onc entre los princip1ns. P.\DO.\ obscrn
'2 Clic 1>rops1to <JllC, " >< dupunc dodc hJtc mucho hmipo de Ja >JIJbra
tmuc:i fxut11la1lo, pJrJ dcs1gnJr l2s Plll1""C1011cs no.Jcinostrad:u, no se ha
111\cnltlo 11111 1.ilJb,. p11J los 16 111i110\ 110.cJefin1dos: pues cst 11ltinu e
presin cr ln puco cmplC'Jd,1 que no se hJha cons1dcudo nettuno abre' iarl.1. La pbb11 l<orc111a, a '3 qnc bll una rorrcspond1entc p:113 dc~g
nar 101 t<r111111os tlcfm1d11. se 111cslJ1IJ 3 una ob~nac111 an.llog:i .

1.AS

1'1\IM J;RA~

INllEFINllll .I'.~

AXIO:O.ITICAS

1: IN111 :111os 1 lt.\111,ES

29

28

a la de lo_~
t 11s' debe preceder siempre
. .oncs no demos
\ r1111c1on
..
pos1c1
. . rae s. que
clcri,m ele e\\ os por <e
. s ,. propos1c10nc
.
termino . .
. 11 este sentido relatl\'o es como merccrn
0 dcmostrne1n. ) e
:idos prnneros.
.
.
. .
. prim<'ro y co111ic11:0. las < e 111dcf1111 ser 11am
111 15
As .como bs i:,~ :~ deben tampoco ser cntc11d1~\a~ sino en
ble e 111~(!mos!r<~ . , )O eso se tiende cada \ c7. mas, para 110
un sentido relatl\O) .l.ocicio ii .1 C\'itarbs. Un termino no es
a utri' cqm\

c."po1~c~c
ro Josicin 110 es indc111ostrahlc. smo en el
indehmbk. una Pt 1 cstrncturado ele un:i cicrt.1 manera. )
interior de u~ 51.5 ci.na1 HC el objeto de una definicin o de
pueden consht.1~ 1 r s~e~e \nodifica con\'enientcmcnte las bases
una dcnwstracion.dsi
. cuiire el eicmplo de la geometra
t 3 Cons1 cremo5 51
.
1
de s_1s cm ,
de ninon modo in1pos1blc demostrar en
cuchd1ana. N les
Jas" iralchs en Jugar de demostrar
1 1 '.
1
:
\o ' .aJe
. a< o b<esuma
de Jos angu\os ee un t n.mgn
eJI:\ el postn
por su mecho q~:~ ; toda figur.1 se puede hacer corresponder
dos r~ctos, o q . e de ma mtud cualquiera. o que por todo
una f~ura ~cmci:mtnoulo ~~ puede trazar una recta que corla
punto mtcnor ba un . e- t1'r .. \ orden v se demostrar \a uni
' ,
1
) los asta 111\er "
sus dos :ic ' 1 1 t0 m~11do como 11ost11lado una u otra <e
c1'dad de la para e . . " s l gu~l1uente la eJcce16n d e 1os
'Jt as propos1c10ne .
"

~tas. u mi
, ue se instituirn como fundament_a1es
tcnmnos ~e la tcona q
, b' en h lista de los trmmos
.b Snn\cmcntc un e.un 10

l
es re.
..
,
b.o corresponden te en los post u
r~ncr~~ qd~~c~;~c~~n~~:O ;elaciones entre esos trmi_nos. i~
a os. )
. .
habla de un sistema
Es necesario, pues, v1g1lar, cuan<1o se '. ' l l 'Jabra
dcducti\'o que no se confundan dos acepc1011es (.e a I
1<>

y pro11os1c10nes .<1ue. .
sistema el' conunto de as noe1oncs
. d
t l cu:il orgam11c1on

componen. primiti\'<lS )' den va a~, y a 0

\'do en el pri
lgica que es posible darle. Un sistema, e_ntenc i
sent1cio
mcr sentido, se presta siempre a una multitud de pre
'

an 3lu;la cou lo que se

csoicu 1th1n1 puso en pcrrccta 1."! po1 l t":lr.lctcr rcbtivo, pJr3
hab!J a reconocido respecto <le la~ propo5icioncs. e
1( c:imcntc. la
una nocin, de ser pumcu Se notar sin cmhar;o que t~:;, 11 ~' en 1cJ;1cin
1
rcbcin de 3ntmori1bd de una propos1cilm 0 de 1111
e. cn v:ihdos
. .

t l< S O~ r<1Cll , ,
roo otro es 3rb1tra11. C)l) no s1;n1 1c:i que O< ' 1 6
la de )'.UC-'L
La ida de un 0tdcn ntunl de uoooncs \ 3scrcmncs. <!HC
acorud d1s
~ l[11s11, no h perdido todo '1lor. s1 apuntJ a nn or en r
'
tinsu1do de un 01dcn sobmcntc lgico.
1~

J'"

l
}

ncs axiom:'ttica~; es, para usar una compar;icin de Nico<l, se

mej:inlc a 1m poliedro. \ usceplihle de dcsc:111s:1r sobre v:irias
ba5es difcrcnl e~. Esto~ d1fcrc11lcs s is lcma~. en el segundo sen
ticlo ele la pab hra. se llaman entonce~ ccum/c11lcs. As, todas
las reconstrucciones axio111:1tica5 de la gcometriJ cuclidianJ
son cquiv.1lc11tc:s, pue~to que cont icncn, en el fondo, d mis
1110 eo11j11nto de lrminm y proposic1011es: lo c11e difiere es
sol:1111rntc Ja reparticin de stos en p ri111lt\'O~ }' deri\',u.los.
~f;s gencr.tlmcnte, y t;11nhiln 111;is precisamente: dos siste
mas ele proposiciones ~011 cqm\'alcntcs s1 cualquier propost
cin del 11110 se puede dcmostr:1r con la sola ayuda de las pro
posiciones del otro. y recprocamenle; dos sistemas de trminos
sou equivalcnles, si lodo trmi110 del uno se puede definir con
la sola 3} uda de los trminos del otro, ) rcciproc:unente.

S 10.

Las clefi11iciom:s /JOr /'o~tulaclo.~ . El estatuto Jgi<'o ele

los postulacios es cl.iro: no son afirmados .i ttulo de ' erd;idcs
generatrices de otras \crcl.1dcs, sino simplemente puestos a
ttulo ele hiptesis, tales que permiten deducir un coujunto
dacio de propmicionc.s. o ele las c11:1lcs 11110 M.: propone 111\'CS
tigar que comcencncias implican. Y se sabe que no es en ma
ncra alguna necesario que las proposiciones se.111 \ crda<ler:is ~
conocidas como tales, p.1ra que se pueda razonar correctamen
te sobre ellas, siendo );t \'alidez de 1111 razon:imicnto independiente ele la ,erclad de s11 contcniclo. L:t coudicin ele los trminos primeros p:irecc m:s cmb:ir.llosa. l'orqne, si se pnccle
hacer abstraccin ele la ' erd:id de l:ts proposiciones sobre las
que se opera, se puede asimismo hacer totalmente abstrae
cin del sentido de los trminos? Cmo decir de l-stos algo.
as fuese a ttulo hipottico, si estn p.1ra nosotros totalmente
despojados ele ~enticlo? Y cmo llegar a un sentido, si por
una parte no podemos definirlos. y si por otra parte rehusamos
tener en cuenta s 11 sentido intuitim prc\'io? Porque, si no se
impone uno oh-icbr s11 sentido emprico, prcaxiomtico, se
corre gran riesgo ele referirse luego a l. sin saberlo, en el r:t
zonamicnto, e introducir de este modo ah de una manera
subrepticia elementos implcitos ms o menos ,agos y sin duda
\':triables con cada uno. No hay ms que una respuesta: su
sentido sed fij:i<lo por el uso que se haga de ellos en los pos-

LAS DEl'INICIONM POR l'CISTULADOS

30

31

LAS rRJJll!iRAS AXIOMT ICAS

tul.idos. Jos cuales enuncian qu relaciones l?gieas sostienen

cutre s esas nociones. Este modo de dete_ri~nnar el valor de
un trmino no es propiamente una clcfnuc16n, 110 establece
una cquirnlcncia lgica entre el tnnino ,mu:rn )' una cx_ir_c~i~'lll
conocida. Pero como cumple la func1on de una clcf 1111c1<111,
que es Ja de fij.1r ti sigmficacin, se puede considerarla como
una definicin implcita.
Esta nocin fue introducida por Ccrgonnc. "Si una frase,
observa l, contiene 1111,1 sola pal:ibra rn~ a significacin nos
es dc~conoc1da. el cn:.111ciado ck esta fr:isc podr b,1star para
rc,eJarnos su ,alar. Si. por ejemplo, se dice a alguien que
conoce las palabras !riJngulo y cuadriltero, pero no l1a odo
jams pronunciar la pal.1bra diago1wl. que cada una ele las
dos d1agonalcs ele un cu:tclriJ;tcro lo di\'idc en dos tri;'mgulos,
conccbir, en el acto Jo que es una chagonal y la concebir
tanto 111c1or cuanto es aqu la nica lnea que puede elivid1r
el cuadriltero en tringulo. Estas C$pecics de frases que
d,111 as la inteligencia de una de las p.1Jabras ele que se componen, por medio de 1.1 significacin conocida ele las otras,
podrJn ser llamadas de{ i11ic1cmt'S implicitas, por oposicin
a las dcfmicioncs ordinarias, que se llamaran de( i11iciones
explcitas." Tal proccdnnicnto uo tiene nada de excepcional. As es como el nifio aprende el seuticlo de la mayor
parte de las palabras de su lengua. En bs ciencias fsicas, es
usual que un<I ley, establecida con la ayuda de nociones
provisionales, permita en c:unbio precisar su sentido. Sobre
este hecho se funclab:i el nominalismo cientfico para sostener
que las leyes no son a menudo sino definiciones disfrazadas:
la ley de la cada de los cuerpos define la cada libre, la ley
de las proporciones definidas caracteriza la co111bi11aci11 por
oposicin a la mezcl,1, etctera. Tales definiciones indirectas
son .~omparahlcs a ~cuaciones con una incgnita, cuyo valor
es h1ado por el connnto de la ccu:1ci6n.
Esta determinacin es unrnca cuando, como en el ejemplo
d~do por Ccrgonnc,, un solo valor satisface a la ecuacin.
No ocurre siempre as1. Sobre todo si consideramos un sistema
de ecuaciones con varias incgnitas suceder que varios siste1 ~i~o,,,-,.r., Es~is ruda t/1orie des dfi11itio11s. tSIS, pp.
por f Eimivu, L lo/utio11 dg Id logique, trad. fr., p. 9-t.

22B, citado

mas ele races satisfagan a las ecuaciones o incluso una infinidad, como si se estableciera, por ejen;plo:
'
y = Zx
z = }' + x.
senti~o, tal . sistema <ueela sin embargo, detenn
que s1 se asigna a una de las incgnitas un valor
arbitra.no, los ele las o~as. c~os se encuentran en seguida fijad?s. En lugar ele ser mdmdual, la elctcrminaci6n es cu algun moti? global, }' !~1a un carcter ms abstracto: en
nu~str<;> c1cmplo, y ser;~ s1ClllJ>IC el doble ele x y z su triple.
Mas bien que los trmmos m1s11ios. son, se ve, las relaciones
entre los trmmos las que <.'Stn aqu exactamente determinada~. La caracteriza~in de los trminos primeros por las
relaciones qu~ cm~nc1an ,entre ellos los postulados, nos coloca en una s1tuac_i6n analoga. Un sistema de postulados es
comparabl~ a un s1ste111~ d~ ec~1acioncs con varias incgnitas,
corrcspo.nd1~n~o esta~ mcogrntas a los trminos primeros
ele Ja ~x10111:1tic~ cons1elerada: su valor no es cualquiera pero
~o esta elctenmnaelo sino. i111plicit11, solidaria, equivoccn;iente.
Esta 111.ancra ele. determmar
. .
, el sentido de los trmi n0 s es
un caso de ele f1111c16n 1mphcita, que se nombra definicin
por postr~lados. Se comprende cmo Poincar poda decir
a prop6s1to .el~ .los po~tulados ele la geometra euclidiana'.
que son d.ef.1111cwncs ch.sfrazaelas: el co11ju11to ele Jos postula~~s euchcl1an.os constituye. en efecto, una definicin 111
phc1ta del conunto ele las nociones euclidianas. n

En un

nal~O, Y.

''

17

l..t cquivoCldJd de bs . dd1111c1011cs por postubdos -de b cual se

es, pJra los _sistcmJs ax1om:ihco<. lo contr:rno de un dckcto-~rc~~s ~~Z's.. de. <l11a11da1l q~c se habi.1n rccbnocido antmonncntc en
(1826) 1 . s <.1cul1f1cas :\si Gucossr. hJb:i cpucsro sistcm:lticamcnte
.
os comienzos de fa g<-omctra prO\ccti\J (sm
ralchsn10

dosb.tcoJmnnas, siendo
los trmm!" punto
ooncs s~ Fts:i
e derecha a llq111crda, sin c1uc IJ \crdad de bs pro~1
d<ttnllina~ .~~~ ::~cic ~;~t~ ~':t pu11tos .fcln111i11a11 du11<1 recta, dot plallOI
ltcs f>IJ1101 '

" en
ucta ctermma11 un pl<JJ10
Se .
, . uc 110 t1c11en una r<'Cla ,on111 d.:tcnninctn un punto etctera'
>O~'to's"dtc duahdad ddcpcn<lc de < uc los tlnninos primeros de IJ t~orb que.
/"'"'
Y ef recia (serie

a los
postubdose en
donde
. 1de pun t os ) wntmncn
S.lhsfacicndo
y de he de pi
( igurad s1 se es da rcspcchv.tmenlc el sentido de plano
pua los iunlo
pasJn o por una recta) : por eso todo teorema \.llido
y IJs rcclas ( s > las redas (111e los unen) \'ale 1g11al111cnte para 103 planos
que son su mlerscccin ), y rcdproc:1mcnte.
n

t:!~bric que

~;:;~~ c~t

c~mbiados

11

i ;;:.~

"'"

''.a.t

u_1 ssoo 1s

3Z

LAS rRJMl:JlAS AXIO:l.Il JCAS

OOS

Se Ye mejor ahora que los )ostulados de u11 1 t

. .
.
cona 110
son propos1c1011cs, smccphblcs de ,crdad o falsedad ..
conticucn rnriablcs rclati\',lmc utc indc tcrmiind i~ 's ' .}l <ne
1.1111cntc
.
.
ocii
cuam1o se (l a cst.1s variables
c1crlm
\'alorcs
0
'
.
j
J
U
.
O1TO\
te rmmos, cuam o se . m su ~tituya pt~r constantes. entonces
los pos!ulados llc~~rau a ser propos1c1011cs. ,c.:rdadera~ 0 fol.
sas segun 1a e1CCCll>ll que se 1iaya hecho de c~tas consh t
.
1 1 1
. ' .
. 11 cs.
1)cr? e n t onces
~e sa e .( e a axwmat 1ca para pasar a sns apli~c1oncs. el011 igual titulo ~uc b s cc uacmncs de un mismo
sistema, a 9ue no se P?' na compa~;ulos mejor, los postulados son simples f11!1cw11cs fJro/1os1cio1wlcs: expresin de
la cual no es ucccsa no dar ~ma ?~finicin explcita, puesto
que se e ncuentra, e n suma. 1mphcLt:rn1cntc definida por las
fra ses que preceden.

"La matemtica es una ciencia en donde no se sabe jams

de qu se habla, ni si lo que se dice es Yerdadero": e~ta
ocurrencia bien conocida que sugera a Russell la consideracin de la m atemtica axiomatizada, Yale para toda a:>.iom:tic1 en gene ral. Asimismo, a la axiomtica realmente es
a la que c01wicnc cst<l otra ocurrencia que es de Poincar:
"La matemtica es el arte de dar el mismo nombre a cosas
dife rentes."

S 11.

Dos c;cmplos ele axiomticas. Aunque no concierna a

la geometra r que su autor se haya preocup;i<lo sobre tod?

del problema de la expresin simblica, <lart mos como pn
mer ejemplo de axiomtica la que Pe:11_10 construy para
la teora de los nmeros naturales: en pnmcr lugar, porcur
su brevedad pe nnitir:1 expone rla toda e ntera, luego porque se
encuentra e n ella una ilustracin simple y notable <ld ca
rcter de cquivocidad. Pues no comporta sino ~res trmmo_s
primeros: cero, el nme ro, el sucesor de - }" ~1~co yr~s 1
eioncs prime ras, que transcribimos de la notac1on s1m ica
en el lenguaje usual :

1. cero es un nmero;
2 el sucesor de un nmero es un nmero;
.
varios nmeros cualesquiera no pueden tener el mLSmo
sucesor;

3:

1-:J Elll l'l,Q'i

33

Df. AXIOMTICAS

-l. cero no es el suct$or ele ningn nmero; d

5. si una propiedad pertenece a cero y si, cua!1 o pertenece
a un nmero cu;1lquicr.1, pcrlcncec ta.ml.un a St~ s~ic~
sor. entonce\ pertenece a todos los 1111111eros ( pm1etp10
ck induccin ).
Se ve cmo, con la ayuda de l.ls dos ~ri mcras proposici?
nes, se puede definir e n prnncr luga r _el m1111cro uno. dcsp11cs
el nmero clo~ \' as succs1\';1111cnte. Sohrc estas bases, las no
cioncs y propc;sicioncs clcmcntalcs de la aritmtic:i se pueden
dcfmir o demostrar tod.1S.
Slo c1uc, la interpretacin usu ~I de los t~minos primeros
no es la nica que satisface a este Jlicgo de ;1xiomas, de suerte
que no determina de m.inera un hoca un sist ~m a concreto de
proposiciones Por ejem plo. obscn a Russell. s1le conservamos
a sucesor su sig11ificacin h.tbitual, pero entcuclemos por cero
un 11mero cualquiera, pongamos 100. y por ru111cro cada
uno de los n meros a pJrt ir de 100, los 5 axiomas cucdan \C
rificados, ,. n;ituralmcntc, todos los teoremas que ~e clc<luccn
de ellos. Igualmente s. co11scnmlolc ahora a cero Sil sentido
ordinario, se designara como nmero los solos nmeros pares.
,. por sucesor el stgundo sucesor; o an. si. representando
cero el nmero 1 y significando sucesor mitad. el mmcro
designara cad;i uno de los trminos de b serie l. 1
l / -t,
ctcter:i. Todas cstJs mtc1 prctacioncs y !Js semej.mtcs que
scr: fcil imagmar, suponen un:i estructura formal comn,
que esta axiom.tica pone en e\idcncia. Lo que cll.1 caracteriz.1,
no es, pues, propia y lin1itati,"amc11tc la aritmtica. cs. ms.
generalmente, una cierta cstrnctur:t. que es b de fas progrcsio11cs. L1 serie de los nmeros naturales no es sino una lns
!racin entre otras. f.:.stas no pcnnanccen, por lo dem:s, en
cerrad.is, como podra n sugerirlo los ejemplos que preceden,
en sub-dominios in tenores a la aritmtica: puede instituirse
una progresin tambin entre entidades diversas de los nmeros, t.1lcs como puntos o instantes.
Como segundo ejemplo, bosquejaremos la a.-.:iom:tica que
llilbcrt dio de la geometra euclidiana. 18 El inters de Ilil

n..

u Crn11d/.igc11 da Cco111ctrie, IS99. En las ro1cioncs ultmorcs el aulor

aport algunas pc<<K!Us rnod1hc-acioncs. nosotroi hemos tni:do entre las

l.AS l'RIM ERAS AXIOM"rlCAS

oos P. Jl~~trws DE AXIOMTICAS

bcrt se concentr sobre las proposiciones. No se incoe 6

l 1~1mdm~
' 0 ~1 numero

mue110 por red uc1rda

de los trminos up
primeros, que por 1o cmas e1 mcorporados a los axiomas 5111

1os scp:ira <lamen t<l

, . 10 Perod
enunciar
e e moc1o s1.skmahco.
.'
os
trazos, en e'J, merecen re tencr 1a atenc10n.
En primer lugar, no se content con despejar los axiomas
ele los cuales algunos haban permanecido hast;1 e ntone~
implcitos, r cnum~rarlos: los_reparti, segn las nociones fun.
damcntalcs que utilizan. en > gmpos, y se esforz, para cada
un~ d.c estos gmp~s o para sus combinaciones, en precisar ;.
<lcl11111tar el domn110 <le los teoremas que determinan. Los del
primer grnpo cstahlccc:n un enlace entre los conceptos de
punto, de recta r de plano : son los axiomas caractersticos
de la geometra proyectiva ( 8 axiomas, por ejemplo: dos puntos determinan una recta; sobre una recta hay siempre al
menos dos puntos, y sohrc un plano al menos tres puntos no
en lnea recta). Los del segundo grupo, los axiomas del orden,
fijan el sentido de la palabra entre: son los axiom:is topo16
gicos ( 4 axiomas, por ejemplo : s A, B, C, son puntos de una
recta y si B est entre A y C , est tambifo entre C y A) . El
tercer grupo contiene los 6 axiomas de la congruencia o igualdad geomtrica (por ejemplo: si A y B son dos puntos de
una recta a y A' un punto de una recta cualquiera a', existe
sobre a' y de un lado cualquiera de A' uno y un solo punto B'
tal que el segmento A'B' sea congruente con el segmento
AB ). El cuarto grupo no comporta sino un solo axioma, el
de las paralelas. En fin, un ltimo grupo se refiere a la co11ti11uidad y cuenta con dos axiomas, a los que pertenece el

manos b 3i edicin, 1909. 1\cucllos a quienes IJ obra d e ll1lbcrt no fuera

accesible cn contur3n sus 21 aioma\ rcprodurnlu\ cspcci Jlmmtc en el es
celen te librito de G ODE.\UX, L<'s gomlries (con. A . Colan \ Record<mos
de una \"CZ por todas que el trnnno aiuma J~a dejado hor de. cvOC3r I~
idC2 de C\i dcnciJ y de rc!;la, pJra no retener smo IJ_ de. punc1p10 cs lJbk
cido hipoth c::uncn tc es decir de postulado. La subsht11ca6n del pnmcr tfr
' se ha 'hecho ron 1a pa1J 1ira " mit C~
. """
menos
mino por C$IC \1lti1110
,..,.
que ine1itablc.
.
10 Desde JSSZ r .. scn hab!J lo;rJdo dcfm ir tod os los tt rmmos J J>Jt;,d~
cu:itro tmiinos primih,os (punto, segmento, pldno. ~s sup~/'~'nblc c\ ~;
tiendo de ahi. Pu..w Jubb lue.g o 1cd11e1do ( 1SS9- l 894) ~ 1 AOOd'.
")
"amto )' 11t.111c~
.
(
(!'l04 )
1os red ucun a dos rcspcch\3mcntc: punto)' 1110111111c11' 0 ,.
L.i reduccin es mucho menos dcs.irrollJda en 1h Ln~r. l''!co d~pui~
'
Vut~:< prcscnt.u de la misma gcomctrla, mu "omhca te uc

3)

lla11rndo de J\rcumcdes, el cual viene a enunciar que, aia

dicudo succsiva111e11tc un segmento a si mismo sobre una recta
a partir de m1 punto 1\ , se podr siempre superar un punto
n cualquiera de esta rc<.la.
Adems, 1hlhcrt inaugur un gnero ele investigaciones
cuya 11nporta11ciJ 1h.1 a revcl.me como capital en toda elaboracin axio111:'1tic.1, al i11tcrrog.1rse sistemticamente sobre la
no-contrndiccin de su sistema de axiomas y ~obre la indepcn
ciencia mutua de sus clemc11tos. Para estabkcer la no-contra
diccin, constru}C una interpretacin aritmtica del sistema,
de suerte que toda contrndiccin <111e surgiera en las consc
cuencias de sus axiomas debera repercutir en ella: la cohc
rcncia de la aritmtica, que se supone admitida, garantiZJ
pues Ja de su sistema de axiomas. Por otra parte, Ja mdepcn
ciencia de un axioma se establece por la posibilidad de constrmr un sistema coherente que lo deja a un lado: las primeras
geometras no-<:uclid1anas atcstiguabJn } b independencia
del axioma de J.1s paralelas; igualmente, construyendo una
geometra no-arquimediana, Hilbcrt prueba Ja independencia
de los axiomas de 1:t continuidad.

S 12. Modelos. Isomorfismo. Se

puede llamar concreta, material o intuitiva a l<> una teora en el estadio prcaxiomtico,
es decir, que mantiene an el contacto con los conocimientos
que organiza, y que presenta un contenido que conserva su
sentido y su \crdad empricos. Es el caso de J.i geometra ordinaria, tal como se cnsci1a trad1eionalmcntc en las escuelas.
&tando dada una teora deductiva concreta, es siempre posible, se ha visto, reconstruirla sobre bases clifcrcntcs: as, Jos
diversos autores de tratados elementales de geometra, a la vez
que ofrecen desde hace siglos el mismo cuerpo de doctrina,
han modificado cad:i uno m:\s o menos el ordenamiento cu
clidi:mo. Aunque secundarias hasta donde el contenido de la
teorla se ve como esencial, estas diferen cias de forma adquic
ren una importancia acrecentada en la medida en que se descuida este contenido, y por eso se puede decir que su inters
: o Estos tl nninos no tienen aqu!, duo est, sino un sentido 1cbtivo, que
opone al cu:lctcr m;\s ahstr1cto, m;\s fonn1J, y ni:ls lgico de 13 tcorla
n iom;\tici ro11t'lp<>nd1cntc.

5e

LAS l'IUMEllAS AXIO~I1 ICAS

36

ISOMOU'ISMO

110 ~e 11rn111f1c.~ l pk11a111cntc ~111u cu11 l.1 ~ a\iom:\ticas, tcori:n

ah5tractas )' formales. En este sentido se opondr, a una teora concreta dad.1, la pluralidJd de las a'(io111.'1hca\ que le corresponden. La ax1om.tica de 1lilbcrt, por q cmplo, no es m;s
que una de todas aquclbs a bs que se presta la gcometr.l
euclid1.111a.
Cons1elcremos ahora una sol.1 de estas mlt1plcs axiom5ticas de una teora concreta. Ya cne el sentido ele sus trminos
y, por comign1cntc, de toel.1s sus proposiciones, no est fij,1do
ll-0! los postulados sino ck manera cq11irnc,1, se poclr; siempre,
s1 se encuenlr.m varios sistc111.1s de valores cinc sahslag.111
ig11al111cnte al conj1111lo de relaciones cnuncmd.1\ por los postulados, el.u interprct,icionc:s eoncrct.1~ di\ c1sas, o dicho ele
otro modo, elegir entre 'ari:.1~ rc.1h1..acioncs Estas rcahucioncs
concrct.1s de una axiomhc.1 sou llamadas sus modelos. 21 Se
entiende de ><:r s que la tcor.1 concreta original. cue proporcion los puntos de referencia del escucma lgico trazado
por la axiom;tca, ser uno de estos modcloi., pero no ser el
nico. Una axiomtica se presta, pues, como se comprob
con ocasin de la axiomtica pcaniana, a realiz.1ciones diferentes, pudiendo stas ser tomadas de dominios ele pcmamicnto muy alc:iclos del dominio inicial. As, hay ahora una
pluralidad de interpretaciones o modelos concretos que oponemos a una sola y misma axiomtica.
.
Cuando los modelos no se d1stingucn asl entre ellos, smo
por Ja diversidad de las interprctacmnes concretas que se da
a sus trminos v coinciden exactamente cuando se hace abstraccin de
para instalarse sobre el plano de IJ axiomt ic~ formal, se dice que son isomorfns: llenen en cfc~to igual
estructura lgica. El mtodo axiom:itico tiene prcc1~a111cnte
el inters de rC\elar isomorfismos entre tcori:is concretas aparentemente heterogneas, restablecindolas en la unida~ <le un
sistema abstracto. Entonces, cualquiera ele estas leonas I'?"
dr, si ensanchamos un poco el uso ele cst.1 palabrn, scmr

de modelo a las otrJS, lo mismo qne a ),1 teora abs tracta co

rrcspondientc. :z
l l.1y, pues, tres ni,cles por distinguir, sobre los que puede
liac1:rsc IJ dil'cmficacin ele nnJ lcor.1 clcdncti'a Volvamos
siempre .1! ejemplo de la geo111ctr:1 c11cl1cl1ana En primer
h1g.1r, si se mcxhfica d1\'crsa111entc uno al menos de sus postulados, se obtendr n, :t su l.1do, olr.1s tcori.1s ( gcomc:trbs lobatclu:1skia11a, no-arq11imecl1a11a, etctera ) cne lt: sern. se puede decir, \ 'l.'Ciruts o e111fu11cn l<1<fc1i;: cu 1.:stc sentido se habla de
l.1 pluralicl.1d ele gcomctrias. '1'0111c111os ahora 1111a malquiera
ele estas geometras: como hay \'arias 111:111cras ele hace r su re
construcci611 lgica, se clil'emf1c;1r;. a sn \ 'C-l en '"irias axiomtica\, cnc snfo cqunilc11l<s cnllc ellas En fi n. si escogemos
un.1 ele cst.1 \ .1~in111.'1tcas , podremos gencr.1l111cnte cncontrJrle
111tcrprctac1oncs cl1krc11tcs ele ah nn:i nuc,-.1 cll\crsficae16n.
scgi'm 111oelclos cnc scr.n isummfos. A 1.1 cll\crsiclad de gcomctr.1s se superpone as 1.i de axio111.hc:1s de una misma gco111ctr.1, )' a rsta, la ele modelos de un.1 misma :1:1.iom:tica.
Co11l'i111cndo ignalmcntc la palabr.1 tcor.1, sea a l.1 presenta
cin axio111;\tic.1. sea .1 1111:1 ele sus 111tcrpretaeioncs rnncrctas.
se 1e cne scr. necesario guard.me ele confundir entre el caso
de teoras emparent.1das, el de teoras cqui\ alentes, y el de
teoras isomorfos.

S 1l.

Co11sstc11 ciu c iull!griu. D eclclibilida. Aunque arbitraria en ciertas co11sidcracm11cs, 1:1 elccein de los postulados
que se ponen por base de una axomlllca no es por eso dcj.1do
al ;17~1r : cucc!J sujeto a exigcncia1 internas <focrsJs, m s o
111c11os imperiosas.
La m;s apremiante es, sin <lu<b, )J de coherencia. Si los
tl1,e11os postulados de un sistema no foer.m compJtblcs entre ellos, el sistema llegara a ser contradictorio. Seguramente

stas

21 Esta polJhtJ no debe su;mr ]J idct J e 111\J Jnlmorid.ul "\uclfpi~.

., d e cstJs d J\ crs.i.s 101c:rprc1c,
trori
Se e::spho por 1.i a~11n11JC&on
.. 1 ' ,,..
.. "
d )J
conCTeta pum1h\3, cuc puede con m11d1J prop1cd.1d llJ111>1>C "':Jdc:o ,.e o
a1Uomihc;i que se hl t'onstruido segn dl3. Sm dud d recuerdo e
delo. mccinicos" de los fsicos ingleses h mtcf\c111do t3111l11o. con 3 11>troduron conCTet.t de ot noo6n.

37

..

\ '"

:i.t C uJ11Jo todos un 1noddos M>n ;i.~I 1\011\0r(os entre cl1os, el ~i)tnn:t ;auo
1u.hu:u .\.C ll111u.1 tnonoruor/o E'-Oten h111l.u~n ~1)tc111.n polimorfo.s. 5c' \'C
cu \('l;\11d.1, l_~:utu.ubuncntc, tn.:: )01 d1\ CCM1:. HH)(ldo5 <k un sislc111J no $..&
tor ..Hhl ( \ 1>) n o son to<loi 1io111orfo~. \:1 qu..: IJ no .s1turlC(>11 l l 'lllll'a
1ucn~111cntc l.t po)1h1l1dJd J,. unl o \,11iJJ bifurc.1c-1onc\ Pero se .l~\Cttir.i
111j1

.'

t:inlc qu~ al&onoi \t \ h,:111.u ~lnr"JJn"S pueden tJ 1111ntn , par.i<ljic;nncntc,

C.'01UJ>Ott.1~ n1oddos no nouHJtOS ( S 26 '. En otro\ tl'Tnunos. lJ ~hlflC\n

t' roud1c1n nrc.r1.1r1.1, pero no suiac11t;..-. de 1uono1uorf1.5mo.

38

CX>SSISTU'1CIA E IN1tcll0 .\D

es pcnnitldo. por necesidades tcric.1s, q111tar e\en tualmcntc

es ta obhg.1c16n, o aun pretender expr~.1111cn t c construir un
sutema contrad1etono - as como ocunc que se propone nno
razonar por el absurdo. Pero este c::i~o no deja de ser e~cep
cional, y ord111ar1a111cntc se 1111po11c co1110 comhc1611 .1hsoluta
a 1111.1 axiom:tic.1 ser no-contradictoria o, co1110 se dice t.1111
bin, consistcnte." Un:i propicd.1d de un sbtema contr~clic
torio. en erecto, es que penml.1 deducir no importa <u: se
puede demostrar en l una proposicin en.1h11icr.1 del sistema.
pero tambin su negacin. Semejante 1mlc:tcrminacin retira
al sistcm:i todo inters.
t\hor:i, cmo se sabe que un s1stem:i de postulados es realmente consistente? La intuicin no b.1sta para asegurarnos
de ello. Tener. por otra parte, efectivamente desarrollada una
larga cadena de consecuencias sm encon trar jam:s con tradicc16n :ih, puede, sm duda, aportar una presuncin r aun, en
el caso de que la axiom:tica cubra cntcr:nncntc una teora
concreta dcsarrolbda en todos sentidos desde hace siglos, una
ccrtCZ.1 moral : nadie duda, por ejemplo, de la consistencia
de la ~ritinhca elemental o de la geometra euclidiana. Sin
embargo, y sobre todo en el caso de que falte una pruclu t;il,
scmcJnt e presuncin no aporta una certeza absoluta; nadJ
nos g:uanhu contra un~ sorpresa ni nos asegura que, llegados
a un cierto punto, no nos tropcz.1 remns cnn 1111 :il~mdo. Es
lo que sucedi, por ejemplo, con las. nntinomias .de 1.1 tcorfa
de los conjun tos ( j 27). Aunque naci de una ex1gcnc1a acre
ccntad.1 de rigor lgico, la pr:.ctica de l:i axiomtica aun~cnta
a Sil vez esta exigencia e incita a reemplazar esta especie de
prueba emprica por una \'crdaclcra dcmostraci6~ . Tal d.cmos
tr:iein, es verdad. no ser cfccti\'amentc practicable smo ~)
nivel de b s axiomtic:1s s1mbolizadJS > forma liudas (cap
tulo 111); ah mismo, se ver, no tiene xito smo dentro de
lmites bastante estrechos.
A falta de una demostracin propiamente d!ch.~. qucd:in
dos procedinucntos para establecer la no-contrad1cs1on de 1.ma
tcoria. En primer lugar, la reduc:ci11 a una tcona .anterior.
Se postula ); no-contradiccin de un sistema pr:\ehcamcnte
21

Un an!hsos ni.is hno distingue entre no<ontrad1c<i6n Y

d1lettnci> dovcrs.is nociones de la ro1U1stcnci>, ctcdcra.

coimsl<t>O.O,

39

bien cst:1bkc1<lo, como es )J a11 hntica cl.1ica o )J gcomctrlJ

cucl1dianJ, <lcspu6 se construye, del sistema estudiado, una
111tcrprct:ici611 tal qnc \cng.1 a .1plicarse wbrc el primero, o
sobre una pJrlc de l:stc: b no<onlrJd1cci(111 postubda del
prnncro se trasmi tc as al segundo. l'Jrec1tlJ prueba, cv1dcntc111c11tc, no es sino con<l1c1on.1l. pero s1 l.1 tcora-lc$ligo fue
d c1da con propiccl,J, es pdctic.uncutc s11f1eic11tc. Una \ 'C Z
que l'oine.u c dio unJ 111lerprct<1c1611 euclidiana de la geometr a lob.1tchc\sk1ana, l:1s dudas cesaron, de hecho, sobre la
consistct1cia de esta ltim.1. La geometra cuchd1.111a misma
recibi, de parte <le llilbcrt, una mtcrmtacin a11tmtca,
que se aiiadc a la probab1lid.1d ya considerable ele su consistcnci.1 propia. i\luy a menudo, la antm ti c.1 cl.hica es l.1 cuc se
elige como testigo.
Un segundo procc<l1111iento consiste en d 1r, de la teora en
cucsll61~ una realizaci611 en el mundo de lis cosas. En Jug3r
de hacer voh-cr la tcorb a una tcon.i Jntcnor cura consistencia est mcor asegurada, se desciende al contr.irio hacia lo
concreto, se construye un modelo fsico. Como todo lo que
es real es a fortior posible, IJ cx1strnci3 de este modelo ga
ranti1~1 la conmtcnc1J <le la ax1om;ltic:i que le corresponde.
No es, en el fondo, el xito <le las intcrprctJcioncs empri
eas de la geometra clasica lo que nos hace admitir, :111tcs
de toda otra prueba, la coherencia de esta :cometrla y, por
consiguiente, ele la axio111ti~1 <1uc obtiene de ella el cs<1ne
lcto lgico?
De des proposiciones contradictorias f> y no-p, el principio
de contradiccin cnsciia cuc no pueden ser ,crdJdcras smrnl
tne:uncntc: unJ al menos es fa lsa A este prmcipio se asocia
desde hace mncho tiempo el de tercero cxclu1clo. el cual enuncia que tales proposiciones no pueden ser fJlsas simult.ncamcntc: una al menos es \'<:tdJ<lcra. L3 conjnnc16n de estos
dos principios da lo que se puede l!Jmu el principio de alter
natha: de <los proposieionC$ semejantes una ~ \'CrdJdcra, la
otra falsa. A la consistencia ele un mtcma. fundada sobre el
principio de contradiccin, rcsponclc asl su intcgndacl. fun
dada sobre el principio de tercero c.xchudo. Un sistema de
postub<los se llJma completo cuando, de dos propo~icioncs
contradictorias fonnuladas correctamente en los tm1111os del

-10

sistema, una de J:is dos ni menos puede siempre ser demostrada. Si t.11 sistcm.1 es :idcm:'is consistente. se \"C entonces que
de todo par form ado en el interior del sistem.1, por una proposicin cualq11icr.1 y ~11 negacin, se puede ~icmpre demostrar una. y una sob. 01cho de otr.1 mancr.1, rn presencia de
una proposicin cuJl<uicr.1 del sistema. se puede siempre demostrarla o rcfut.ul.1. decidir en consecuenciJ ele su \"Crdad o
falsedad en relacin con el mtema de postnl.1dos. De tJl sistema se dice que es c11tcgorico.
Abajo de esta formJ fuer te de catcgonc1d.1d, <)lle no se alC'3117.a sino en un pc<uci10 mimcro de sistemas, existe una
forma de c;1tcgoricidad nds dbil: aquella en donde se puede
siempre, para una c11.1lc1mera de las cxm:s1oncs del sistema,
si no dcmostrarl.i (o refutarla), decidir al menos si es o no
ckmostr.1 bk {o refutable) . Tal sistema entonces es calificado
de dccidzblc. " Esta cualidad misma. no pertenece sino a un
mimcro bJstJntc limitado de sistemas, rclat i,-.1mentc simples.
La no<atcgoncidad ~. con ma yor razn, la 110-dccidibilidad
son sin duda nnpcrfccc1ones, pero no foltas lgicas, como es
el c:iso de Ja no<onsistcncia; y por eso Ja exigencia de integridad es, de ordinario, vista como mucho menos apremiante
que )J de consistcnC1a.

S H. Indcpe11dc11cic1. Economa. Se exige a _menudo tam_bin

que Jos di\"crsos postulados de un nmmo sistema sean 111dependumtcs los unos de los otros, es decir, tales que ~ma modificacin aportada a uno de ellos 110 corn 1crt.1 el sistema ~n
contradictori o Par:i ascgur:irse de IJ mdcpcndcnc1a de 1111 axioma, se le pone a prucb:i moclific;ndolo sin tocar ~ los otros
y sacando las conscc11c11cias del nucrn mtcma : s1este pcrma
nccc consistente, se establece la mdcpcndcnc1:1 <~~l postulado.
Si sucede al contr:irio que surra una cont~ad1~cwn, Y s1 ad~
in.s, como es el caso m:s usuJI. IJ mod1f1tac1<>1~ , aportad.1 .1!
postulado consisti en rcc111pla1..ulo por su 11cga_c1on. entonces
el rcsult.1do obtenido 110 es puramente 11~gat11 <~, porque ~
cadcua de proposiciones que se hJ cstablcczdo :m da d~I _J>O
1
tulaclo primitivo una clemostrac16n por el absurdo. Se 'e e
= DifcrcnciJcioncs ulteriores hJn hcd10 aplrcccr.que algunos s1>lcms pueden ser a la vez completos y sin cu1bJrgo, 111dccod1bks

41
l.11.0 <1uc une una pruebJ de indcpc11dc11ciJ y una dcmostrao n por el alm mlo: el fr:1 ca~o de l.1 nna revierte el -xito
de la <Ji ra. 1\ s, cnsayamlo \a11.n11c11te dc111ostr.1r por el absurdo
el postulaclo ele l;1s p.1r.1lclas fue como se llq;. ~111 <ncrcrlo,
a constrnr IJs prn ncr.1) gcomctri.1~ 110-c.:11cl1cl1.111.1s y a prob.u
as, por IJ comi~t u1ci.1 de C\ las i'1lti111.1~, la mdcpcndcncia del
postul.ido. lg11.1hnc11tc, pero cst;1 \ 'C7. de manera deliberada,
procedi l l1lbcrt, se hJ ,zsto. para cstJblcccr la i11dcpcndcncia
del postulJclo ll.1m.1do de Arcnmccles
La indcpcmlc11e1.1 de los postnbdos de 1111 mismo sistema
110 es lgicamente i11dispcmJble p.11a rn \'Jlidc-L. Solamente,
s1 esta co11dic111 no ~e sastisfocc, ha} un.1 sn pcra bundancia
de propoSitlOllCS primer.IS, )" se j11zg;1 onlinJfl,llllClllc preferible, en un clcsigmo de cco110111i.1, reducir sn nmero al
mni1110. Decir que clos postul.ulos 110 son i11dcpcnd1cntcs,
es decir que el uno puede ser demostrado, sea directamente
sea al mc110\ por el absnrclo, a pJrtir del otro: c11 este caso.
sed conforme .11 csplritu del mtodo clcdncti\o producir es ta
dcmostr,lCIn y hacer pJsar la prO>OSICIn ClllzC Jos teoremas.
Estas considcrac1011cs de cco110111:1. que tienen un car.ictcr
ms esttico. j11cg.111 110 obstante un gr.111 papel en la co11struccin ele l:1s ax1u111hcas El 1dc.1l de ~st.1s, como el de
toda teora clcdncli\'a en general. no es en efecto reducir lo
ms posible el nmero de los trminos primeros y ele las
propoiicioncs primeras' !\luchas csfucn.os se han gastado
en este se111tdo. Sm embJ rgo, l.1 s1111phcid.ld ganada en un
punto elche pagarse J menudo con 1111.1 complicacin acrcccntad.1 sobre otros, } r:11.011cs estticas o d1d.lchcas dict.1rfo
entonces Ja eleccin. Es dificil cl1smin11r snn ult.ne.uucnte
el nmero de los trminos prnncros, el de los axiomas y la
1011111tud de stos: l.t p-0brcz,1 de l.1 lengua ele base tiene por
cfc;to gcncralmcn tc ;1J.irg.1r el discurso. Adcm.\s, la ms grJn
de simplic1clad ntrimcca de un sistcm.1 xxlr. con\"crtir en
ms i11oomocla su uttliz.icin concrctJ si, en d dominio considcrJdo, 11ing11n.1 cnt id.1d corresponde }:i, de modo directo,
a los tC:munos primeros del sis tcmJ - a menos que inversamente, el mo de fa axiom.,tica no aclimate ahi poco a poco la
noci11. J\m indcpcndicutcmcntc de toda mtcrprctacin ex-

i2

LAS rKIMf:RAS AXIOMTICA~

tnuscca. razones de comodidad de cxpos1ciu pueden invit.ir

a ciertos sacrificios del ideal de simplicidad mxima.

S J). S~tC!mas debilitados o saturados: En lug:.ir <le moc~ifica r,

en un sistema de postulado~ eomp.1tiblcs e mckpcndientcs.
uno de ellos, se puede tamhin ensayar retirarlo ~implem e nte
sin tocar Jos otros. Se debilita asi el sistema, puesto que ~~
Je quitan ciertas dcterm inacioncs; po_r eso ah se lo ensancha
abriendo J: puerta a e1t:rtas pos1b11tcbdcs <1ue el postulado
recicn cxtrJido tena precisamente por efecto excluir. En otros
trminos, el mtcma se encuentra ;is empobrecido en comprehensin y enriquecido en extensin. Si, por ejemplo, al
mantener intactos los otros postulados cuchd1anm. ~e niega
la unicidad <le la p.ualcla, se obtiene la geomctrla lobatchc\'S
kiana que diferente de la de Euclides, tiene no obstante el
mismo gr~do de particularidad Pero si. al contrario. se deja
completamente indeterminado el nmero de las paralelas posibles, es decir, si, en lugar de reemplazar el postulado acerca
de las paralelas, se contenta uno con suprimirlo, cavando en
cierta fonna un vado en el sistema, entonces se obtienen los
prmcipios ele una geometra ms g~neral, de las que a.parecen
como especificaciones las de Euclides y Lobatehcvsk1.
Se puede intentar Ja operaci1.1 inversa : cnsayan.elo reforz.ir
y limitar un sistema dado, aliad1ndolc uno o ,anos post~la
dos, independientes ele los primeros. No obsta~1te, se tropic1.1
uno ordinariamente muy pronto con un ohstaculo: llega un
momento en que Ja adicin de todo postulado md.cpend1c~tc.
cualquiera que sea. hace al sistema co~1tradictono. El s1stc
ma es entonces saturado. Tal es, por c1cmplo el caso, ele l:t
geometra euclidiana - a condicin, claro est, de qu~ no se
cuenten en ella como postulados adicionales los que, sm. csta.r
en primer Jugar expresamente formulados, no. estaban unph
eitamcnte menos admitidos en las dc111ostrac1ones.

111. LAS AXIO~IATICAS

FOR~IALIZAOAS

S 16. Si111bolizaci611. El fin que uno se propone cuando se

coloca bajo fom1a axiomtica una tcoria deducti\'3, es des
prenderla de las significaciones concretas e intuitivas sobre
las <Jue en primer lugar fue construiela, a fin de hacer ap.1
rcecr claramente el esquema lgico abstracto. Ahora bien,
scgn esta consideracin, las primeras axiomticas sufren aun
muchas imperfecciones, como se ve respecto de la ele 1Iilbert.
Se nos pide 11111cho olvidar el sentido concreto ele los trminos
propios de la teora, considerar los puntos, las rectas y los
pl:tnos simplemente como "cosas" que satisfacen a los axiomas; pero como estos trminos son conservados, se favorece
as, en lugar de contr.iriarla, nncstTa inclinacin espontnea
hacia una cierta intcrpretacion concreta dctcrminad.i. Aun se
la hace c.1si imcncihlc cnJndo uo teme uno entregarse al uso
de ilustrar el texto con figuras geomtricas. Se nos expone
entonces a cometer una de las faltas de las que se quera pre
ci~amcntc prcscrvamo~: mantener, en tomo a significaciones
expresamente determinadas por los postulados, una zon:i ms
o menos borrosa de signif1cacionc~ previas implcitas, n las que
arriesgamos referimos, sin advertirlo, en la sucesin de las
demostraciones. Y, en todo caso, es detenido uno en camino
en la tcntati1":1 ele desprender de todo contenido intuitivo Ja
armadura lgic;1 de la teora.
As, bien pronto se hace sentir la neccsidJd de snbstituir
las palabras que designaban las nociones primeras de la teora,
aun con el peso de su sig111fic.1ein intuith~. por smbolos
desprovistos de sentido pre,io, y susceptibles en consecuencia de recibir exacta y cxclusi1amcntc el que les confieren los
axiomas. En lugar ele escribir que un punto est situado sobre

1 OR~l ,\Ll/.\CIS

LAS A.XlO~ITICAS FtlR~I Al.17.AD.\S

una recta, se ~ksign.1r., por ejemplo._ b relacin de ine11lcncia

por la letra I, los pu~1tos por ).is prnncras_ ktr.is mayiiscula~,
las rectas por las m1111isculas, y se anotar.\ snnplcmcutc: F (A,
a ) . Se ve ya con este cicmp\o que la simhoh1A
1cin 110 se
detiene en las solas nociones propi.is de la tcm i.1 - cu nuestro
ejemplo en las sob \ nociones gcomtnc:is-. sino que utihza
t:11nb1n el sill\bolimio de la lg1r.i de las relacione<;. Tc6ricamc11tc, eso 110 era sin duda in<l i~pemab\c. y.1 lllle las teoras
anteriores a una teora d.1d.i. ;1q11 la aritmtic;1 y l.1 lgica
intervienen ahl a ttulo opcr.1torio, por t.mto, con Mi verdad
lll~~erial r Sil sentido \IS\\,11. Sin cm hargo, parccer.1 muy parJ
dJICO, en el momento mismo en que se crea 11 11 simholmno
para una tcorJ que no lo pmce an, dcsemd.n nhhz.u
al mismo tiempo el de teoras que poseen ya uno, <omo es el
caso, desde h.1cc mucho tiempo. de la aritmtica y, desde hace
poco, el de la lgica. Se sabe en efecto que. desde J.1 mitad
del siglo x1x. l.1 lgica se ha rcnO\ ado complctamc nk ) cmancha<lo, bajo el nnpulso <le matcm,ticos que la han iniciado.
segn el ccmplo de su ciencia, en b 'a del snnbolismo
?\licntras que Boolc y sus d1scipulos se as1gnabJ11 como fin
construir un clculo lgico sobre el modelo del dlculo algc
braico, b escuela italiana, con Pca110, se aplicaba a constrnir
un al<>oritmo lgico cspccialmcntc adaptado ;1 las necesidades
de
expresin ma temtica. Naturalmente, cuando c~~J se
gunda conientc 'icne a encontrar la <1uc ap~nt:i a J.1 a.X1~11.1a
tizacin de las matemhc:is. resul ta .de a\~1 una ~"~mahCJ
totalmente presentada bajo la forma s1mh6hc.1. ,Y :m sm duda,
es como desde fine-~ del siglo x1x, l'cano hab1.1 expuesto su
aritmtica.
.
.
Una segunda razn, de otro modo impcr_iosa, iba a prcc1
itar esta simboli1A1ci611 _tot~~ a saber, la cx_igcnc1a de fo::~
pl' '6n Aunque simhoh zac1011 )' formah.tac16n sc:in dos 1
1z:ic1
.
t . de hecho
distintos y tericamente separables, se cncucn ran. .d bl '.
estrechamente asociadas: pues la segunda es con:~n~~ca~i
mente facilitada por la primera, de suerte que la 1

irresistiblemente.
haber satisfecho a l.ts
S 17. Fom1ali::aci611. Apcn~s se cred a exigencia nuc\'a,
ltimas exigencias de Ja lgica, cuan o un

J;i

m.ls sul1I, surge r rcc111icrc 1111 csfuer~o wplc111e11tario. De. la

geomctr.1 c111plnc.1 a l.1gcomc.:tra rac1011al, de la pre~e11t:1~16n
euclidiana a l.1 prcsc:11t.1c16n axwmatica, de las ax10111ahc:is
\11l <>.1rcs a las .lXiom:i ti c.1~ )mhol11~1dJs, J c.ul.1 p;iso se cree
ha~ r exp11h.1do por fin J.1 mtuicin en proHcho ele la lgica.
l lcmos llcg.1elo ahora al t ~rmmo. y n11 e~tr.1 ultima et.1pJ es
,crclJckr.;111cntc la l ti111.1? llcnios conscgimlo dcsc.1rtar todo
factor mtuitl\ o ) subjetffo en l.1 aprcc1.1ci6n de la validez
de una tcoria dcducti,a7
La tcorla nm presenta proposiciones primeras que cn1111
ci.m, en lengn.ijc si111\X1lico. relaciones lgicas cutre trminos
primeros: puesto que no l.u propone sino a titulo de liipte
sis. las ;1dnutnnos como t.1lcs, bajo rcsc.:n.1 de su co111patibilidad. Pero. a p.utir de ah, no rce1bire111os un trmino 11\IC\O
si no es 1ld111ielo ron l.1 ay11d.1 de los trmino~ pmncros, 110
accpt.1rc111os nna proposidc11 m1c:l'a si no l' S dcmostr.1dJ con
la ayml.1 de las propo\ic1uncs pmncr;l\. Ninguna inccrti<lnm
b~~ por t.m~o. .ingunJ imp11g11.1Cin pl!s1blc sobre IJ aclop
c1on de un tcnrnno nuc\o o de una proposic16n 1111c,a - con
una coml1c1(rn sm cmh.ugu. <pie l.1s rcgl.1~ de l.i ddmici(m ,
el.e l.1 dc111oslrac1n sean cll.1> u1ism.1\ .1ch111ticl.i~ en w111i1i1
sm IJ menor :nnbigilc~l.1~1, 11uc la dcontolog.1 del trabajo
d~ducll\ o, es clce1r, la log1ca, sea a l.1 \'Cz perfectamen te prcc1~a > p~rfcc t :nncnk 111111crsal. regulando tocios Jos clctJJlcs
e nnpomcnd~>sc a t0<los los cspntus. Si 110, si en este dominio
pueden s.11g1r desacuerdos. s1 ocurre qne se discute sobre el
l'~l?r lgico ele tal procedimiento de demostracin 0 de c)cf1.
111c16n, entonces la 1111s111a axion1.ltiea. cdif1ein lgico irrcprodiable p.ua uno, podr sc:r juzgada por otro lgicamente defectuosa .
Ahora b~en, esto es sin duda Jo <tue ocurre, )' hJJo un.1
fonna pa1hcubrn1c_nte ;igud.1 en el momen to mis1110 en <ue
se comc11z.1b.1 a ax1omatiL.1r. 1~1 "crisis" de los fundamentos
27), qu~ se ma111fcsl1'i con ocasin <le la teora e~ t
de los con t d' 1
~n onan.1
N
11111 os, 111l 10 profnnclamcntc a Jos matem:ticos
o po: un.1 de esas querellas sobre una cucsti6n paticul:ir.
como as conoce toda cic11cia en desarrollo, \' <uc ~e .
~~~ lu~f por un ;1cucrd o a~ qu~ un sabio co 1111 pctcn~~a~~
e re iusarsc sm mala cone1cnc1a, sino por una di\'crgcnc1a

es

-!6

L U A.'(IOXITJCAS FORM ALI7..ADAS

FOMMALl7.,\ CIS

aparentemente fundamentJI sobre cuestiones de principio y

que parece atc.stiguar diferencias irreductibles en las cstrucuras de los csp 1itus. Tal d efinici n, que uno cncucnt:a perfecta mente clara, es juzgada por otro desprovista de sentido
tal demos.traci n, constrin gente para .stc, carece d e fuerz.~
para aqud; tal principio de lgica, c1uc segn algunos se
11npo1~e absolutamente . . todo pensamiento, segn otros no
va le smo para un domm10 bastante restringido.
Cmo acogerse a ello, en semejante caso, para limitar al
menos, el desacuerdo precisndolo, y rnhcr a encontrar un
terreno de armona? H ay un solo m edio: hacer ahom para
las reglas de lgica segn las cucJles se razona, lo que se haba
hecho proccdcntcmcntc p<na los postulados sobre los cucJles
se razona : enuncia rlos expresamente, y en totalidad. Despus,
ado1_>tar respecto d e ellos la nmma actitud aisl.1da que se
hab1a tomado ante los postulados: establecerlos hipottica
mente, no afirmarlos categricamente. As como se admiten
uno al lado de otro, al nivel de las axiom;ticas abstractas,
di\crsos sistemas de postulados incompatibles entre ellos
(euclidiano, lobatchcnkiano, etc tera ). sin preguntarse cul
es verdadero y aceptndolos como igualmente vlidos, asimismo se podr acoger, al nvcl de las axiomticas formalizadas,
diversos sistemas de reglas lgicas y, en consecuencia, diversas
maneras de desarrollar una misma axiomtica. Como d ice
Camap: en lgica, no hay moral; 110 se trata ele decretar prescripciones o prohib iciones, sino de llegar a conHnconcs; cada
uno es libre de construir a su m odo sn lgica , a condicin
de que la enuncie claramente y que la siga luego rigur~sa
mente (princip io de tolerancia de la sintaxis) . La corrccc16n
lgica en el desarrollo de una teora axiomatizada deja entonces d e tener un sentido absoluto. pero llegando a ser 1cla tiva
a tal o cual con11111to de principios regulahl'os, se presta a una
apreciacin objetiva. \ntc una axomtica, podemos cncon
tramos e n Ja situacin de dos compaeros que 110 se pusieran
de acuerdo sobre las reglas de un juego; s1 no toman la pre
ca ucin ele enunciarlas cada uno, e.so les impide jugar juntos
una partida: pero si se las comunican y si conviencn, por
ejemplo, en alternar los dos reglamentos, pueden entonces
jugar partidas sucesivas sin tener que acusarse mutuamente

47

ele trampa. l:I Jo111inio ele 1alidcz se establece, e n cierta

nwncra, en nn nhcl mas elevado. As como, cuJnclo se pJsaba
ele l.1 teora concre ta a IJ tcori,1 axiomat11.ada, IJ 1c relJel ele
una propmicim del sistema rcsultabJ hipottica, suspendida
de Ja libre posicin ele tal sistema de postulaelos, asi abora la
1aliclcz formal ele l.1 axiom.tica rctroccelc 1111 gr.1elo y llega a ser
a su 1cz hipottica, siendo funcin ele la clccc1n que se Juw
ele las normas J>gieas.
La presentacin lgica d e las teoras deductil'as tom as,
hacia 1920, un uuevo giro, al empcii arsc en la va ele la formalizacin. P;1ra s11straer la rn hdcz del sistema a toda apreci.1cin subjetiva, se impone en aelclJntc rn11nciar, de una manera
precisa y cletallacla c1uc no cleje ms lugar a una casuistica,
las reglas de dcf111ic1n )" <lemostrJci6n que prcsielcn Sil COilS
tmcci6n. Acp1cllos mismo> que n o creen en la omnipotencia
de la lgica y cuc defienden los derechos de l.i intuicin,
clcb icrou, tambin ellos, ceder al mo11micnto para poder justificarse a los ojos de s11s a dversa rios, y se ha 1isto as, cosa
no poco paradjica, enuncia r las " regl.is fornu lcs de la lgica
mtuicionista" y constituine un "formalismo intuic1onista".
~

18. D el rcJ:o11amic11to al c.ilrulo. Se concibe que sera

pr;cticamcntc imposible s.1tisfaccr exigencias t,m estnctas si
uno contnu.ua exprcs:.Udosc en el lenguaje usual. con s11 imprecisin y Mis innumerables m cgulardadcs. Por esto, ele hecho, la formah1~1ein supone a la simbolizacin. Una axiom tica formaliz.1cla se presenta, as pues, como un conjunto
ele signos, los unos propios ele 1.1 tcona, los otros anteriores,
prol'istos de un cmmciaelo ele las rcgl.1s que se aplicarn en
el manejo de estos signos. A menudo estas rcgb s se reparten
en dos grupos: rcgbs de ~stmctnr.1. q11" r oncicmen .1 1:t fnrm,1cin de las expresiones (y entre las que se pueden colocar
bs rcglJs para !.is dcfinicioucs ) , y rcglJs ele dceluccin, que
conciernen a sus transfon11ac1oncs ( util izad.is para 1.1s clcmostrJcioncs ) . L.1s primeras deben permitir reconocer siempre,
sin disputa posible, si una expresin (proposicional o no)
est bien formada y pcrtcncce as al sistema, las segundas, si
una dcdnce1n est hicn llC\ ada \' si, en consecuencia, s11
concl nsin es un teorema del sistcn1.1. Tales reglas, desde lue-

iS

LAS .\XIO~r.lnc.\S roRMAIS/.AD.\S

go, dejan co111plctamcnte a un lado las interpretaciones C\'Cll

tualcs de tnnmos o de formulas, incluso los de la lgica.
Consideran solamente l.1 cstructur.1 form:al de l.1s cxprcsionc~,
la sucesin de los pec1uei1os dibujo~ <JllC se Icen ele 7.<(nierd,1
a derecha, lnea Iras l11e,1, sobre la laoj.1. !:ion propiamente
prescripciones para un cilculo. Son comparJ!Jlcs. ~i se quiere.
a las reglas del 1ucgo de :11c<lre1,, que nos cusc1i.111 cmo se:
debe inicialmc:nle disponer las p ieza~. clesm6s cn;lcs so11 lo~
diversos despl :11a111ic11to~ pem11tidos p.1ra cacl.1 pie7.a. U11.1
demostracin no har ms llamado a nuestro sc11ti1111c11to
espontneo <le la e\iclcneia de ciertos cncacle11amic11tos lgi
cos: se ocupar de transformar, por grados snccsn os y sin sal
lar una etapa, una o varias frmul.1s anlerionnenle escri ta~
como axiomas o teoremas, me11c1011.111do, para cada una de
estas tramfon11acioncs elementales, el 11lmcro de l.1 regb que
); autoriza, hasta que cu fm se llegue, li11eJ tras lnc.1, a la
frmula buscada. l'or un cambio brusco de ac titud que se
podra comparar al que afcct.1 a la co11c1cncia ante una figur.1
ambigua, el pensanucnto, en lug.ir de atravesar lm smbolos
par:i apuntar, por su intermediario, a las cmas simbohlJuas,
se detiene ahora en los smbolos mismos, remitiendo para
111:\s tarde su interpretacin C\'cntual y retirndoles, por el
momento, su funcin de smbolos, a fin de tomarlos como
objetos ltimos.
Las exigencias ele rigor haban hecho descartar como sos
pcchosa la mtuicin sensible, particularmc.nte la rcpr.escnt?
cin ele f1ouras en el espacio, p;ua no fiarse smo de la cv1denc1a
de los cn~dcnamientos lgicos. Ahora, las incertidumbres ele
la intuicin intelectual conducen a repudiarla a sn 'ez y a
reemplazar el razonamiento pcns:ido o, inclmo hablado, por
un clculo sobre signos, expuestos sobre m1:1 ho1.1 a11te l.1
mirada. Solamrntc \01\'iendo as a l.1 intuicin \'isual, no
recaemos en el ni\'cl primero. Se ha hecho, en primer lugar,
un progreso en el scnt~do de lo .~stracto y de lo gen~ral, por
la pos1bihdJd ele una mtcrprctac1011 ulterior <le los sun bolos,
o mejor, <le una multitud ele intcrpretacionc<i diversas. !'ero
se ha hecho tambin un progreso considerable respecto a .1:i
seguridad y objetividad. Si los signos so~1 en ~1mcr~1 ~e~tnn
giclo, si su figura no se presta a co11fus1611, s1 por ultnno se

DJ::I, llA7.0NAM 1J;1''1 O AL CLCULO

lJCI'n eoherentc
y sin
instituye cxprc~;1111cntc un.1 lcg1s
.
. . csc.1
.
>'l tori is para su manejo, cnt<mccs ni11gu11J tmpugnacion sen.1
~; co1;cch;hlc ya. como ta111poco en un pu:go lne11 clctcr111111.1
do: tal agrupa111icnlo de ~1gnos es o no prol11l11Clo, tal _tra!l1s:
form1ci11 de 1111:1 f mllll.I e~ o no prol11h1da. Como csc11 ic
. 'i1 . "Un ra 7.on:1111iento escrito 110 puc:de cqlllvocar, puc~
C J\,n
1.:-s .
1 .. '~ \ 1' los erro
en su diseiio ap:1 rcccrJ11 figur.1s cxc1111< .1s. ~ ci 1 .
.
res "s11ta11 a lo~ ojos" co1110 u11a falt a ele c.1kulo c11. 1111.1
oper. 1 ~ 1 6 11 :mt111ltica, 1111 1110\'i111ic11to i11corrccto c:11 d p1cg~>
de aiedrcz, 1111 b.1rb:1ris1110 o 11.11 solcc1s11~0 en 11~:1 lcngu;i CI? j1
r:un.llca cst hicn clctcrmmada. J\s1, el c.1]~1110 form:i ,
~mno lo anhelaba ya Leibniz, rcc111pl.1za \'c11ta1osamcnte :il
razonamiento.

S 19. La lllc/d11111tcm1ctiee1. C01.1.este c:unbo de punto de \ist:1

<JUC hace pasa r, al 111c11os pro\'ls10nalr11cnte, Jos i:a.raetcrcs del
rango de mecho al ele .hn, aparecen 1111C\':tS pos1b1~1Cladcs csp~
eulativas. El pcm:11111cnlo se encuentra ahora . en prcse11.c1.1
de otro sistema de objetos, sometidos a combm:mc <liso
ciarse segn le) e~ lnc11 cletcrminacbs. y que p.1dc~ca 1 as1 trans
founae10Jl(:S que 110 ~011, si11 rccorcl.tr al m atcm afl~o, l.!s cuc
ste tiene el h.hito de estudiar sobre f1gur.1s o, 111e1or aun, en
Jos problemas de combinatoria. Los s1g11ns. con l.1s leyes que
regulJn su empleo "dcfinc11 1111:1 suerte de espacio abstracto
con ta11t 1s dimensiones como grados 11.w de libertad en la
opcrac161~ concreta e mprcvisiblc de l.1 c'o111bi1~ac611". 2. Asl
surge la ick;i de 1111a c1c11e1.1 nuC\"J que tcncln.1 por ob1cto,
no> los seres matcm.iticos de los q.uc habbbJn las fm11~la~.
smo l.ts f>n11 11la~ 1111sm.1s, abstracc1611 hecha de su sc111ldo:
constnud.1s con ocasin de los seres matemticos. se separan
de stos por co111plcto, p.ira :1p.1rcccr cll.1s t.1111 bi.n como ~ere\
ele una natural c1~1 original, dignas de un estudio apropiado.
L.1 11wtc111iatcrntice1 scr:1, en rcbein ;i l.i expresin nrntem
tic.1, lo que ]. m~tc::m:llca usual es en rcl.1ci11 a ~m objetos.
IJ1lbcrt es an cuicn, a 1.11tir de 1917, dio el impulso a este
nuC\'O orden de investigaciones, que comcn1~1ron :i desarrollar
se en Coti11ga bajo su d1rccci11, de suerte que su nombre

2~

J. Cwrn.1i\s,

20

lbidcm, p. 93.

Mt/1cx1< a.\i11111o1tiquc el fon11al:S111c, p. 9-1 .

{
;o

LAS AlOO~:,\l le AS fOlt \1.\1.J/, \ D."

)1

se encuentra ntnn 3mcnlc :m1ci.1do t.111lo a b segunda f.i1e 1 reconoced co1110 suyo. l'rohlcmas que couccml.111 al infinito
de l.1 :1\lom:ltica como a l.1 p11111er.1
,1ch1.1l se com 1utc11 Jhor.1 en problcm:n <ne eo11c1crncn a 1111
l\o es un juego gr.1t111to. L;1 111ct.1111.1tc111fea se .rnc?ntraha,
11urncro Imito de opcrat1011cs de dknlo, clcctn.1d.11 o clcr
en cierta forma, en el p1111to ck encuentro de 1anas. l111cas de
tn.1bks. dcsca 11~:111do cu un 111111cro fllnto de signos d.idos en
imcstigacioncs. En pmncr lug.11. en l.1 c~)lltl11c11c1a de d os
l.1 n1ltuc1 n t\ lienlras qnc, por otra parte, el l6g1w n1 ,s altt10
comentes que conoccm~ ~ " 1111J <pie h.1lJ1,1 tcmdo s.11 ungen
110 pncde :1<ogcr smo con f.11or el pro><'u ito de co1111ltnir 1111.1
en 1J rcfk~ in sobre el ap:11Jto lg1co ch: ti geomct na ) 111e,
'teora de 1.1 clc111ostr,1ciu11" 111c sc.1 cll.1 1111snu dcmostratil'.I.
al aplicarse pJr.1 pcrfccoo11.1rlo. halJ1.1 dc\Clllboc.1do , en la
l'or lo dcm.\\, lqos de 1p1c 1.1 n1ct.nn.1tc111.iltc:1 n11cn1ar,1
axiom:ltica; otr.1 que. tcud1a a rcf?r111ar l.1 lo;Ka 1mp1r.1ndosc
.ulnlr:iri<nnente nne1os prol>kma;, ell.1 es Li <uc, ;11 co11lr.11io.
en tos mtodos del :itgcbrJ ~ hah1J lo;rado cons~1tuirl:t como
cr.1 m 11uid.1 por ciert os prohk111a1 qu e l ltlhut h.1b.1 cncon
un c.11c11lo. l'or una mflucno.11ccp1oca. la :rnom.1tica se tr.tns
Ir.ido desde l.1s primcrJs in1cs1tg.1c1011es ). con ( 1 todos los
for111aba. pues. en 1111 cikulo, 1111c11tras que b lg1c;1. por su
:1xiom.t1cos. en cspcc1.1l el cstablcu1111c11to de la co111p.111b1li
lado, se .mo111atizJb.1. l'or olr.1 parte, el giro qnc habmn to111J
el.id e 111dc:pcndcncia 1lc lo~ ax10111.11 de un shtcma Esto.>
do t.1s d1~c11s1oncs sol>rc el prohlcm.1 c.1p1tal del f11ml.1111cnto
>1ohk111a1. y lm qnc lm acommia11 ( 111tcgmlJd. dccid1IJ1lt
de l.1s mJtc11jhcJs (S 2i' ) sugcriJ recurrir al fonnahrn10,
d.111, s.1t111ac1 n, ctctcr.1) no son prop1J1ncnte problcmJs 111.1
pero ahord.111do los problemas bajo 1111 sesgo que fuera ;1ccp '. tc111:tKos. ) .1 que dcsc.1m.1n 110 sohrc los ob1ctos 111.1tcm.tiC'Os
table por los athcr~.mos 11usmo1 de los mctodos 1~ura111c11te
11m111os. s1110 sobre las propos1cio11cs qnc h.1bb11 de estos
fonn.1lcs . 7..ermclo hah.1 mlcntado )'J re)oh cr bs cl1f1cultadcs
01>1ctos. Como son ncncb lc1 a tod.1 i111 t1ti;acio11 axiom:i
poniendo por obra lo <uc se podra ll.1mar: rctr.ospcct11'.1
tk.1. 110 podi.1 dc.1r de h.1ccrsc sentir l.t ncccs1d.1d de dC\ arlo1
mente. \J ax10111.itica inge1111.1. El res11\tJdo mJI 11s1blc hab1.1 J cllo1 mismos al 1111el 1k IJ c1c11c1:1 > trJtJtlos de 111Jncr.1
sido 1cJfimur en su aclttu<l a lo\ m.1tcm.iticos cmp1mtas o
11g111ma y 111ctdiC".1. Tal ~ prccis:11m:11tc el dCi1g1110 de 1.1
i11tmcio111st.1s, C\1)3 doctrina, con Bro1l\\cr ~ su cscucl.1. se
111ct.1111.1tcm.'ttica Co11salcrc111os. por ejemplo. el prol>lcm.1
dcsarrolbba y se :1hanzah:1. Ahora b1rn. lJ co1111dcr.1c1n de
de l.1 nocontr:1dicc1611, el cual. con el de 1.i dccitltbilid.1d, h.1
los signos escritos sobre un.1 ho1a es yJ, .en nn sentido, 1~n
ocupJdo el 111<1yor ln:Jr el\ t'S t,1s cspcenl.tetoncs Recordem os
retomo a la cl'i<lc11c1:1 111h11t11 a S1 se p11d1cr,1 cstud1.u. segu n
romo se lo rcsoh ia cu 1.1) primeras :rtiorn,iltcas: rcafacion
mtodos ticntifieos cstnctos, l.1s dcmostr.1cioncs 1111pug1ud.1s,
rn nn.1 tum.1 concrci.1 cu1.1 1cr<l;1d fucr.1 atcst1g11.1dJ por l.1
li.ic1enclo .1bstraceib11 de 1.1s entidades ~ de l.1s optr.1ciones 1xpc11cuct.1 - prueba que no dqa de se r empim:-.1 ) qnc no es
m.1tcm5tic.1s J las rnalcs rem iten -de !Js ruc algu11.1s cs t.n
siempre po,iblc admi1mtr.1r: rc<hicci<in .1 una tcori.1 ahstr.JCta
dcsprOI islas <le sentido a los 01os del mtn1o omstJ. especial 1111 .1 uornutradteoon er.1 post111.1d.1- lo cue 110 h.1c.1 sino
mente cuando h.1ccn intcn cnir 1.1 idc.1de 1111 mfmito actual-. apl:t1.1 r 1.1 d1firnlt<1d. l'lro que 'e tr.1mpo:1g.1 Li c11C'\tio11. )
para 110 com1dcrar sino sus t01111.Ji11JC'o11cs concrct.1s 'ol>rc el 111c cu 111;.11 de interrogarse sobre 1.1 co11tmhCC1()11 o ~.1 cmn
plJno del s1111holts1110, se tr:msfornwi~ w1111_>kla1~'.cntc el p:1t1h1hdad de 1:t1 1clc.1s, se interrogue nno sobr~ 1.1 pos1b1hd.1d
aspecto del problema, )' en forma qnc diera sJ hsf.1ccio11 ;1 los 11 nnpm 1h1li<l.1d de com trnir, a p.uhr de 1.is fo11n111.is simbo
<los partidos opuestos. CJmb1amlo de ohjcto, tr.111sportJ11do hc;1s que rnunc1.m los :l\1om.1s ele 1111.1 tcoriJ y su1ctndo~c
el estud!o del dommio ele los seres 111,1tem:ticos .11 de los
.1 1111 sistema bk n dcfurnlo ele regl.1s, expresiones de tal o cu.11
signos que los representahan. considerando, en lugar de 11oc10 l for111.1 - pm qcmplo, l1:1ccr surgir 1111 p.1r de expresiones
nc~ que algunos 111zga11 eonfnsas o l':IC.1s, siml>olo, ofrccido3
proposteion:1lo 1uc di ficr.111 rnl.nncntc en cito. que 1111:1 rcpro
a 1J nmad.1, se instala uno, sin renunciar J 11ingun,1 exigen du1.c.1 a l.1 otr.1 hanndol.1 preceder del signo de l.1 11ci;;1ci n
c1J de ngor fornul, sobre 11n terreno que el mtuicionista ~i se pucdc demostrar cstJ posibihtbd o cst.1 imposibilidacl,

52

DF-\IOSTRACIOSES DI: NO C..0:>'1 llADICCIS

se habr. demostrado, por eso mis1110, incluso IJ contr;idiccin

o la 11o-contrJd1cci11 de la tcon:1.

S 20. L 1111 itc a lclS cm os/racioucs de

110

co11tra1cc111.

Es

ncces.1r1.1. s111 c111bJrgo, un.1 comhc1n. cu.1lcsq111cra qu e sean

la co111plc j1dad y l:i inscgurkhd de la tcon.1 m.1tcm.it1ca cstu
cliad;1 } de J.1s frmulas simbh c.1~ en donde ~e cx prc:sa, J.1 dc111ostracin mctamatcmtic-a que descansa sobre cst.1 teora
debed ella nusma, bajo pena de crculo \'\C1o;o o de peticin
de principio, no hacer sino de cnc.1dc11:un icntos deductivos
mur simples ) no d1~cutidos. a m.mcr.1 de lograr irrcs1st1blc
mente 1.1 adhesin de un espritu atento. !\si como IJ considc
racin tic signos remite a Ja rcprcscntJc1611 visual, as Ja dcmostrac1n sobre estos sign os llama a !J e\1denci.1 i11tclcch1JI
(aunque no fuera smo p.ira comprender el sentido de las
reglas, juzgJr si son correcta mente apl icad.1s. etctera) . Pero,
as sea rac10nJ\ o sensible, scmcj.rn te rd orn o a l:i intuicin
no es legtimo ms que cuando no se " m.s all. del Jinute ele
las mi urcrones elementales y u.1dic sospecha.
l'or 111;is rcd11c1clo que scJ entonces el m.irgen a )J aprc
ciac1n snbjctil'a para 1uzgar de b ,-,1hdez de una teora, un
formali~1no intran~igcntc no se consiclcrar; an plenamente
satisfcclio. No podra uno ;mcgl.irsclas para cuc Jos proced
m1cntos de la ckmostracin mctmn.1tcm(ihca se encuentren
de algu na 111a11cra integrados en la tcorb misma de Ja cual
demuestra la no-<:ontrad1cc1m, de manera que Ja segundad
as demostrada de la teora rcc.1iga sobre estos proccdnnien
tos? Se esper llegar ah gracias al ingemoso proccdnn icnto
llamado la "aritmeti7_:ic16n de Ja smta:m ", debido a C dcl,
)' c ne x:rmite fonn ular Ja sint Jx1s lgic.1 de J.1 antmtica
en el interior mismo de la aritrnctica. Consiste en cstJblccer
unJ correspondencia entre los smbolos, por curo medio se
expresa b sintaxis ele la aritmtica, )' ciertos si111bolos propios
de b :mtmtic:i mism:i, de m:rncra que toda expresin ele la
lengua sintctica se pued.1 traducir unl'Ocamcnte en un:i ex
presin :mttntica. S1, adcm.ls, se ha llegado a cstahkecr esta
corrcsponclcneia de tal maner.1 <111c toda proposicin que tra
d~zea de este modo ~ma proposicin smt.ctica en lenguaje
antmhco, sea ella mrsma demostrable en Ja aritmtica, en

53

tonecs se lrabr. expresado 1.1 sintal S de la aritmltica en el

interior de IJ :mimtica.
Se puede, ahora, dc111ostrar en cstJ lcngna smt.cticJ J.1
no contradiccin de lJ arrtm tica7 Uno de los primeros rclul
tados a los que fu e conducido Codc! por l.1 <1phcaci6n de su
procc(l1111ic11to, fue 1ust:1111c11tc proh.1r b 1111posib1lid.1d dc
una dc111ostraci11 tal. En cfc:cto, cstahkci<i, en dos tcorcmas
fam osos de mcta111.1tcm.\tica ( 1931 ) , primcr.1111enh.:, que una
aritmtita 110-co11trad1ctoria 110 pod.1 comtituir un sistema
compkto, y co111port.1 11eccs;1r1a111c11te cnunc1aclos inclceidihlcs;
c11 scgumlo lug.u, que la :ifmn:1ci611 ele J.1 uo-contr:icl1ccin
del sistema figura pree1sa111c11te entre estos enunciados inde
rnhblcs.
Este resultado apJrentemcnte 11cg.1ll\ o, obten ido por mtodos fo r111.1lcs estric tos, ) corrohor:1dos luego por resultados
anlogm sobre problemas conexos. ttenc un gran ak-.111cc. Es
m.ls <Jll C uu simple cp1sodio en 1;1 historia de !J metamatc111.tica. f:~ tJ rc:inmbb.1, ba10 un.1 formJ nllC \~I, el viejo ideal
de una clemostraciu absoluta. al proponerse (OllStituir un
forrnafo1110 que fucr.1 su1ecptihlc dc :1cab.usc \'Ohindosc a
cerrar, ele alguna manera, sobre l nusmo Actu.1lme11tc se ha
puesto un trmino a esta cspcr.1nza. An en l.1 cicnci:1 fomrnl
por excelencia, la 111Jtcm.t1ca J xio111.1tm1cl;1, es nc(csJrio re
~igna rsc a la separacin, que sc pensaba haber borrado, entre
\ crdacl y clcmostrabihclad. Ll prnner.1 nocin desborda a Ja
segundJ Porque, como unJ de las nd s elementales teoras
m atcn~.tie;i~ ~omportJ ya, no so.IJmente proposiciont-s al presente 111clcc1d1clJs, smo propos1c1oncs c~cnci.1!111e11tc mdecidiblcs), .Ycomo por otra parte, el prmcipio ele tercero excluido,
cnunc1aclo contrad1ctori o no-p son 1gnalmentc i11dcmo1trn
bles); )' como por otra parte, el principio de tercero excluido
cuya \ alidez mantienen precisamente los fonnahstas contr~
sus acl\'cr~:irins i~1t111eio11i\t:1s, :iscg~m1 <11e ele dos proposicio11.cs contr;1cl1ctonas una es neccs:m:nncutc 1erdadcr.1, rncluso
si no podemos saber cu.11: es ucccs.u io conclmr ciertamente
que hay, en el interior de una m:1tcm;tica axiomati;<..1d.1. algo
vcnl:iclc!o no demostrable.. Ya 1_>arJ una lcngu:i formal tan
rcstrmg1da como es la antmt1ca1 su 110-contracliccin no

!.AS AXIO~ITIC.\S l'OR~l.\LfLADAS

podr ser demostrada sino por una apdac111 a 111ed1os que le

sc:m t:\trai1os.

S 21. La aYiomati;:ac111

de '" /g1rc1. l'roblcn~a~ y dihcult.1dcs an.logos a lo> <1uc conoc1a la 111ctamate111.1t1e;1 se encontraban al ummo tiempo. en el tcm:no de la 11g1c:i, cst:rndo
Jos dos rdenes de in1 esttgac1011cs por lo dc111.'i~, al presente
ntunamcntc asoc1.1dos. Cuando la a:\io111:ittc.1 cst.1b:t an en
sus cu1111Cn7.0S, la condicin de l.1 lgica podil ap.ircecr, cu
razn de Sil sit11ac111 i111c1.1l. tomo pril'llcg1Jtb . Una teora
ax10111.1tiz:ida retiraba .1 los ttnn inos ) .1 los postul.1dos sobre
Jos que \e ed1f1CJb.1 Sil significacin y su 1crd.1d usuales, pero
haciJ un llamado. p.1r.1 esta cd1fic.1c1un, a tcoriJ s :rntcorcs.
Cll) a 1crdad y sentido cstab-Jn presupuestos. Y en el punto de
>JrtidJ de t"Stas teoras prc1 Js, Jntcnorcs .1 todas las otr.is.
se cncontrJb:i ).1 lg1cJ. De tstJ se podi.1 sin duda afimlJI que
ella 111is111a se J \10111a1tzabJ. puesto que se presentaba en adcIJnte, desde Frtgc y particularmente en la grande sntesis de
Russell y \\' liitcl1ead. co1110 un sbttma deducti1 o en donde
est.1ban 'cxprcs.11ncnt~ dcspcpdos trminos primeros y pro
pos1e1011cs primer;is. Slo que an no hab1a .1h. s1 se puede
decir, sino una a:\iomtica concreta : los tmunos conservan
ah m.s o menos su acepcin usuJI. simplemente precisada
por las rcl.1eioncs que wnnciJb:rn los postulados. y 6 tos eran
verdadero:; a:1.iomas. a la 1ez proposiciones primeras 1 e1idencias 111tdectUJlcs. El sistemJ tena un sentido pleno ~ unJ
verdad absolutJ. que se proPJgahJn, mcd1Jnte IJs dcfmicioncs
v las demostraciones, a los trminos de11vados ,. a los teo;emas. l'roponilndosc fundar Ja arihntic:i y, por' su intcm1e
dio el ed1heio entero de las nutem:ticas. sobre la lgica, el
"logieismo" de Frege y de Russcll tenda, pues, una cosa
muy distmta que proseguir s1111plc111cnte el movimiento de
retroceso hacia los principios: pensaba llevarlo .1 su tnmno.
:ilcanwr JJ roca, el fundamento l1Jtimo. Los trmmo; prime
ros de l.1 axiom:tiea peaniana pcrmaucdan rclati1:11ncnic m
determinados, comportando una pluralidad de intcrprct:icioncs; las proposiciones primeras sufran de l.1 misma indeter
mmaein y, siendo funciones proposic1onalcs m:s bien que
proposiciones, no constituan, ni pocli.an constituir el objeto

de una afirmacin catcg{111c.1. Dd micndo es tos t1111111c.;,

csencialmcntc \'a nJblcs ha~t a ah, con la :11 ud.1 de constantes
lgicas, concehidJs como otra~ !Jutas ('Sc;1cias intemporales,
demostrando estos postnlados, li.1st.1 .1)11 cxtrailos a lo \ Crdadcro y a lo f.1lso, con IJ :1) ud.1 de los 111111c1pios lgicos, con
ccbidos como otros t.mtm ax1u111:1\ que ~e impom:n absoluta
mente :11 prnsa1111c11to. Rmscll prdcucli.1 dotJr a los printipios
de la~ 111 :1tcmhca~ y, por lo tJnto, a tod.1s )Js deducciones
subs1gn1cnt cs, de 1111 se11t1clo a b~olutu } de una 1crdad abso
111t.1. 1~1 matemtica clCJJ b.1 de se r esta eicnciJ "en donde no
~e sabe 1.1111.s de qu se habl.1, 111 s1 lo que se dice t'S l'erd.l
clero'', 11Jh.1 a ser catcgricotlcducll\~I a IJ manera de )J
l1gic:1, ele la que sacab-J todJ sn substancia.
Pero el crepsculo de las Cl'1ckne1as no iba a tardir cn
alca111.1r a su 1e7~ a IJ lgica. YJ el smgimiento. con oc:mn
ele la teora de los conjuntos, de :111111101111.is de !Js que se
ad\ert:1 que el origen deba ser bmc:ado en su 1111cl, despus
el desacuerdo profundo que se liabi:i ma111fcstado. c:n su cfeusim, sobre la \':1lidcz de tal o cual de sus pnncipios, haban
eo111c111.aclo a co111no1cr l.1 1deJ de una kg1slacin lgica
.1bsoluta. 111ca y 11ni1ers.1l. L1 011cntacin 1111c1-a que algunos
lgicos li.1cia 1920, comic111~111 a dar .1 sus trab:i jos. 1b:i ahor.1
a dcsagrci;ar la lgica desde el intc11or. l'as.1 con ella lo que.
algunos decenios antes, hJbia pas;1do con la gcomctrJ. As
como sta haba dejado de ser 1'111ica, por l.1 aparicin de las
geomctriJs nocuclid1a1m , despus de se r 111t nitn :1. por la puts
ta en fonna axiomtica. asimismo l:i l;1ca se pluraliza y se
:u:iomJhZJ. Er.1 inent.1blc que IJ lgica. com-crtid.1 en dcd11cti1a, se transform:ir-J t.nnbin cn el srntido de um ax1om:itic-J
abstrJet.1. 1 ~1s razones que 11\i tab.111 a dcpr de lado, en el
descnrnll'llncnto de un s1stcn;a, el sentido int11i ti10 de los
trn11nos, por miedo a que paSJr.1 inach crtido en los razonamcntos ulteriores, 1-al.111 par-J l.1 lgica tanto como par.1
tod:1 otra d1sc1plina dcdueti1 .1: en los trminos de la tcori.1
era necesario no \'Cr nada 111:s que el soporte de las rc!Jciones
cn11nei:idas en los postul.idos. Las proposiciones de la lgica.
1aeadas asi de sn sentido propiamente lgico -como las de
la geomctrJ lo cstab:111 de su sentido prop1amcntc geomtrico- se comiertcn, pues, en fonn:i.s puras: simples tauto

56

J, AS AX10)11 JC.\ S lOIL\IAJ.l l ADAS

logias, como lo entender \ \'1ttgcnstcin, es decir, cnunciaclos

que no dicen es trictamente nad.1 sobre lo n:al, p::ro q ue,
por cst:i ratn, pcrmaucccn ' ;liclos cual<111icrn <(UC )ca el contemclo concreto que se vierta cu ellos. Y cst.1 intc.: rprctaci11
forma l de J.1 logica fo rnrccc la ap.iricin de lgicas no cl.sicas,
a s como por una accin recurrente, C:st.1s \'tcnrn a rcforz.1rlJ.
1'01quc )t los mncip10s no son cst.1blccidos smo hipottic:1mcntc, n:ida prohbe yJ es tablecer otros, 1no<l1f1c:ir ste, suprimir ayuc.:1 : se p;1sa de la lgica a las lgicas, <ue uno
wnstrui r. .1 rnluntad. Y a su vez, es ta plurnlitl:1d de 16gicas
retira su pr\ 1kg10 a lJ lgica cJ:1sica, <1ue no es ms que un
sistema entre otros )', como ellos. simpk :m11itcctur.1 formal
cu~ a \"ahdez uo depende sino ele su coherencia mtc rna.
Slo que, J.1 analoga con el caso de !J geomctr.1 cesa en
este p unto csenc1al, porque la lgica no dispone> de cicncias
antcnorcs de b s que se pucclJ hacer uso par.1 coust rui rlJ como
axiomtic:i fom1:il. Y:i, :i mcd1da que se remo nt:ib:i la escala
<le las e1cnc1.1s, crcCJ IJ dificult:icl de no presupo ner nada, en
el tr:ibaj o de ax1omahzacin, que perteneciera a la ciencia
en cues tin; por ejemplo, cn el ni,cl <le )J ari tmtica. la pluralidad nu mn ca. Con la lgica, la d ificultad llega a ser una
impos1hlidJcl absoluta: hace faltJ ncccsanJ mcntc una lgica
para regular las operaciones del axiom.tico. Se puede seguramente ,cJ:1r por ajust.u la lgica que se axiomati1,a sobre
aquella llliSma de J,1 cuc se sirve par.1 axiom.1ti1.arl.1, por obrar
de manera que, dicho de otro modo, la lc'ig1c-.i opcrn toria
\'l:nga a aphc.irsc sobre la lgica axw111ati z.i<l.1 colllo uno de
sus modelos posibles. Sin embargo sub\istcn cuestiones cmbauzosas. En pn mer lug.1r, se cst.i seguro de poder procu
rar una corrcspo11dc11cia completa entre ).is do~? Ya los prime ros :irtficcs de la lgica simblica no ha b.111 dejado de
obscrYar que, ciertas reglas de la deduccin for mal 110 podran
ser cl l~s mismas incl uidas en el formalismo: por cemplo, la
ltccnc1.1 de reemplJzar, en una frmula del c.lcnlo, Ja5 \',u iablc\ por constantes imf idnalcs, licencia sin la cual la 6rmula
<uc-cbra sin uso, sera ella misma necesariamente presupuesta
en el uso de toda fnnul.1 simblica que pretendiera expresarla. De s_ucrtc que sera ncces;1rio d1st111gnir d ;u amcntc
-entre los axiomas )' las reglas, entre los enunciados que com

'

AXIOMAT l.\CIS DI( J.A J,cJCA

57

ponen el c.kulo, y los enunciados cuc rcgul~n el cil_eu lo

dominando ~-stos l timos, de :1l;11 nJ 11ia ncrJ, al calculo 1111S111 0
y pen na11eeic11dolc extc:riorcs. ScmejJntc d1sti11eio11 "'. nat u
r.1!111 en te a 1111ponersc en to<l.1 tentatl\"J para axwma ll 1~1r la
16gica. Lo cual significa qu e es 1111pos1blc llcv:ir .l!asta 1111
trmi110 fiual la obra de ;mm11.1t11.1c1611, Ja reduccwn de lo
intuitirn por su rc.~ orci< n w l.1 lc'.1g1c:.1: s1e111prc subsiste algo
;111tuior, un intuiti\'o pre\ io. l'ucs si l.H proposiciont-s dd
dlculo lgico pueden, e inclmo deben, ~e r \'istas como ~ura
111cntc formales, al co ntrJ no las propos1c1011cs sobre el caku
lo 110 pueden , dlas, ser '"1ci,1d;1s de su sig1 ~ i f1c.~~cin y dcl~n
11cecsana111cntc ser cntenchd.JS en su srnhdo 111t111t1vo. 1 or
otra p.irte, la multiphcacin de las lgicas 110 si111plif1c:i las
cosJs. Con un:i lgica conmlc rada co1110 tin1ca y absoluta,
J.1 corrcspondcucia entre m forma axio11u t1a da y su ttSO opera tono, aunque siguiera siendo p.irci:il. se l-Stablcd.i al menos
como de cll.1 mism:i. No puede ) .1 suceder as con lgicas
construidas c1d libitu m : su mul t iphc1tlJd y Sil <lffcrsidad les
prohiben referirse por igual :i nu estra l6g1~1 operatoria, de la
que se tcJ1Clda trabajo admiti r que fuese parcci<lamente malea ble.

S 22.

1..A 111etc1lgicc1. De este modo l.t ax10111atizacin de .la

16gica eonstri1c a tsta al dcs<lobl:1111icnto. No slo :i ese desdobl.unicnto propio de tncb axmmtica. que pcm1itc hacer
de ella una lectura abstract.1 o llll:J lectura concreta, sino
aclc1116s, al que exige la :mtcrioridad de J.1 acti\'idacl constructiva por referencia a toda constr11cc1611 for111.1L T oda axio
mtica fo1111al se encuentra en efecto bo1deJd,1, ele cada !.lelo,
por un do111i11io intuihrn: dch.1jo, por l.1s in tc rprct:icioncs
eo ucretas que se pueda <br de clb. los modelos, ele los que
uno le h:1 sen ido gc11cralmcntc de lecho; 1111iba, por las cien
ci:is c uc le son anteriores. y <JUC i11 tcr\'ic11c11, en su cd1ficacin,
con Sil \'Crd:id catcg<iricJ y su sig11il icaci611 intuiti" Ahora
bien, la situacin de l.1 lgica en un 1:xtrcmo de b escala de
las ciencias 110 le permite apoyarse en una ciencia previamente
constituida. Si se quiere, sin emb.ugo, expresar el saber impl
eitame11te 11tih1~1clo en el trJba jo de axiomatiz.acin de la
lgica, no se podr hacerlo en el interior ele la lgica, sino en

58

LA.~ AXIO~ITICAS f OltM.\LIZAIJAS

unJ disciplin;i nue\'a que tendra por objeto las frmu\Js de

la lgica axiomatizad.1 )' 1 :1 ~ regl.i \ de su manco. L1 111etalg.1ca juega asl, en relacin co_i1 1.1 lgica, el mi.si.no p.1pd que
la mctam;1temtic:i en rclac1011 con la 111atc111atica. Seri.1 cx.1gera<lo, sin <lu<lJ, decir que 11.lCl . de 1.1 a\"io111a tiz:1c111 de )J
lgic.1: en un sentido lodos los log1cus hab1au hecho ~a. en
ala{111 grado, mctalog1ca, pero lo h.1ca11 s111 saberlo. La axio
m~hzac1(m oblig a tomar conc1c11u.1 de cll,1, y a distinguirla
e.xprcsamcntc de 1.1 lgica a b <1ue cstj \ ineula<la como a su
objeto. Al clculo formal. lcugu.1 objcth-a. \icne as a supcrponcr~e una mctalcng11:1, que comprende particulanncntc las
reglas de smtax1s del clculo fonnal, ~ las reglas semntica~
para su mtcrprctJcin concreta.
Naturalmente, nada impide ahora tomar a su \cz )J lll('.t.1lcngua como objeto ele cst.udio, formular su sintaxis; despus
organi1.ir sta en una tcoria dcduct1,a. que se podra axioma
tizar, smboli1-tr, forn1ali!.;1r. Slo que. se usar.i, por ello mismo una nuc\ a mct.1kngua o, si se prefiere, se crc:ir: un obcto
par; una nuc,a 111ctal()g1ca. Y se puede ;1s, al menos en t~o
ra, continuar i11dcfinicla111<:11tc estos cscalo11an11c11tos, sc:n.1lando la pal:ibra "ind~ finidam~ntc" la i111~os~biliclad de traza r
un lmite a la rcgtesion f1.mnah~1d~r~ y chmmar, en el )~unto
de partida ele la claborac1n aiaomahca, todo rastro de mtu1ci611.

IV. EL ~ 1 11TODO J\XIOl\IATICO EN LJ\ C IE~CIA

~ 23. \'cmtu;as del mtodo axiom~ico. En sus com.icnros, la
fom111laci611 ax10111atiea de una tcona dcduch\'a podia >Jreccr
de: mtcrs lin11tado. Entre los matcm~t ieos mismos, muchos
110 ,c1.111 en c:ll.1, c,1si. m;~ que uu procedimiento elegante de
cxpos1ciu, de 1111 rcfin.mucnlo basta1.1t~ superfluo., 1~nJ suerte
de juc:go 111telcctual apto para satmacer a ~pmtus exceshamcnlc escrupulosos cu cuanto al ngor log1co, pcm al
marge n del trabajo c1c11tfico \ CrdJ<lcramentc produc,tivo.
Por su c.1r.ictcr dcl1bcrad.unentc form:1l, no se prolnb1a la
axiomtica, en efecto, enri<ueccr con ninguna substa~1ei:i
nnc\'a el contenido de nuestro conoci111iento? Y su utih<lacl
como mtodo perma neca dudosa, no S<?lamcntc l>.lra l.1s apl
c:1c1oncs prct ic~1 s. sino ;m11 en el intcuor ele la c1enc1a pura.
L1 ltbton.1 de la ciencia, sin <.: mhargo, muestra ele manera
superabundan te <ne a menudo las imt-stigJcio11es imcialmentc
m:h tlcsintcrcs.1das son l.1s que se rc\'cl.111 ftu:ilmcnte, como
las ms fecundas. Despus de todo. un espritu escptico no
habriJ producido, con 1.1nta apam nc1a objeciones muy .sc111qJ11tcs cuando los griegos. poniendo en forma <led u~t~\-a
u11 cuerpo tlc \'e rdadcs cmpne.1s, constituyeron la 1~1atcmahe;
como ciencia r.1cional, iniciando as a la humamdJd en IJ
era citntfica?
l'arJ l.1 rdk~in, !:is ,enlajas del mtodo axiom tico son
manifiestas. Es, en primer lugar, un prcciow instrumento ~e
abstraccin ' a11.'1lisis El paso de una teora concreta a la 11115111a teora .,10111atiuda. despus fonnahza<la, renuc\a, .pro
long.ndolo, el trabajo <le abstraccim que conduce, por..ccmplo. del nt'nncro concreto, 111011.tn ele man.za nas.o de g~11anos,
al nmero aritmtico, dcsput-s de la antmhe;i al algcbra,

60

EL M TODO AXIO~IflCO t:.N l.A Cll.SCI \

con el reemplazo de trminos indi\'iduJlcs por ,:u iablcs de las

que slo las relaciones estn de tern1111,1cl.1s, en f111, del ;lgcbra
clsica al lgebra moderna, en do11dc 110 sol.11nc11te los objetos, sino aun l.1s opcr:icio11cs cflctuad.1s ~oh1c estos objetos
llegan a ser a su \'C7. c:o11cret;1111cnlc inclclcrn1111aclos, 110 estando fijados sino por .1lgun.1s propicd.1dcs fundamcntJlcs muy
:ibstract:is. Por otra p.1rtc. ante el trat.urncnto :ixiorn:it ico, b~
nociones fundJmc11t.1lcs de 1111.1 tcor,1 q11e<lJ11 a 111cn11clo a111
confusas, tienen comprchcnsioncs a la \'ez dt111a~iado ricas e
imuficicnte111cntc cxpliC1tJd.1s: nacla nos g.1ra11t11A1 entonces
que estos di\-crsos elementos seguiran siendo siempre compatibles, nacl.1 nos prcca\'e contra el peligro de resbalar ineonscicntcmcnte, en nuestros rno11amicntos, del uno al otro.
Obligando a a1sl.1r ciertas propiedades cxprcs.1111ente enunciadas en los axiomas, y a no utilizar sino a ellas o las que
se hap deducido <le ellas, el mtodo axiomtico prosigue
el anlis1s de las nociones primeras.
Un progreso en la abstracci6n '' siempre a l.1 par con un
progreso en la generalidad: dejando caer algunas de !Js determinaciones disocb das por el an.lis1s, l.1 rcduccim ele la
comprchcn~in Jc,:111t.1 las rcstricc1oncs y ;1scgura un ensanchamiento de la extensin. Ccncrali7A
1r, chce Russcll, es transfonnar un:i constan te en una \'ariahlc: tal es precisamente el
trabajo del axiomtico cuando sustiht)C la recta, la congruencia . _. por x, y . . _, cue sJtJsfaccn a las rc:l:iciones <JllC enuncian los postulados. As, c11:111do clt:scartamos Ja~ significaciones mtuitivas, siempre espccialc:s, no solamc11tc nos \'olvc
mos capaces de pcns:u <le una manera ms dcscm h.1r:1zada J.1
tcoriJ 111ic1al. ~e forja de un golpe un instrnmc:nto intelectual
pluri\'alcnte, utili7,ablc para todJs las teoras 1~omorf.1s a l.1
primera. As como u11.1 hmc1n proposicional es, como se ha
dicho, 1111 molde de proposiciones, as una teora nximn:itizacla
llega a ser una su.:rte de "fu ncin terica", 1111 molde de teoras concretas. El defecto de univoetdacl, lcos de pcrjud1c:u
a las dcfinic1oncs por postulados, constituye al contrario su
inters. La indeterminacin de una estructura formal no es
indigencia, desde el momento cu que no es uua cual<uiera,
sino regulada por condiciones muy precisas. L:i pluralidad
de los posibles, en Jos limites cxact:1mentc tr:iZ<1dos, representa

1
1

l
1

"L'ffAJ AS

ore, ~1:1000 A.XIO~TICO

61

:il contrario una ricuc1.1 virtual. J\~ se obtiene, con la axio111~ tica, un.1 1111portante economia de pcmamic:nto: se renen
\:Jrias teoras en una sol.1, se picm.i lo 111l1lt1plc c:n lo uno.
Pero se gan.1 1nucho tambin p.1r:i el saber mismo. l'rimeramcntc en sn orga1frr.1cin de rn11ju11to Co1110 la ana toma
comparada, g111acb por el prmc1p10 de 1.1 1dc11ticl.1d de pi.in,
discierne h.110 su pintoresca ,ar1cd.id los 1;.111os homlogos.
as tamlnn l.1 axiom.tica. dcsc11lmc11do las a11alog.1s formales, rc,eb com:spo11clc11c1as 111sos pccl1acl.1s entre cli\ersos dominios de 1111.1 lllJSllJa cicnca, y ,Jlll. p.1rc11tescos entre c1c.:11c:ias
que parcr1.111 cxtraii.1s. 1\I clc~t:.ica r la cstmcturcl 1mtJria11k
con11'111 a tcorbs apJrc11tc111cnte hctcrognc.1s, pcmutc clomi11arlas por el pcn~amicnto y abrawr con la mirad.1 en una
visin m:\s si11ttic:1, vas tos paisajes mtckctualcs <ne 110 se
conocJn an sn10 en fragmentos. En lo rn.11, los espritus
atentos m.is al acrecentamiento cuanhtahrn de los co11oc1
111 icntos ene ;1 sn organizacin armoniosa cnco11trar;11 t ,1111bifo. lin.1l111cnte, su provecho. l'nes esta org.1nizaci n hace
sensibles las lagunas. que la analogia imita a llenar. Cad.1
teora sac.1 pr0\ccl10 <le J.1s <uc se le conocen .iclualmcntc
como c111parcntac!Js. Se transfieren a<u, en <louclc nada intuitivo las sugera, los rcsult.1clos adquiridos en otra parte. El ngor del mtodo <le exposicin co11d11cc, asi, ;1 fin <le cuentas,
a su fecundidad p.ira el dcscubri111icnto.
A ~tas \ Cl~t~ jas c~c ofrecen ) en cu,1lq11icr grado, l.1s primeras a~10111.1hcas, ncncn naturalmente a combinarse en l:is
n:xiomticas f?m1af.1das, las ele todo c-.lculo sim hlico: segundad, ob1ct1l'1<lad. El car,1cter ciego y cuasimcdnico <le sus
procesos n~ es su menor inters: pci:inite hacerlos cjccut.1r
por un.1 mac111ma, y n:scr\';1r as el cspintu para J.1s oper.1ciones
de 111\c.:I supcnor. Por ).1 simbof.:1ci111 y l.1 formalizacin de
las leonas y por medio de los isomorfismo\ as re1 ciados, l.1s
grandes calcul:ldoras :1111cricanas cst.n llcg.111do a ser, si no
''~rdadcras "mqu111Js de pensar", al menos .111xiliares eicntf1cos cuyas aptitudes superan muy ampliamente, la cjernc1611
de las opcrac1oncs o problcm:1s puramente nu mricos. Y entre
los problemas no numricos <ue son ap~as para rcsohcr figuran precisamente los problem<IS de dcC1S1611 ace rca de !.is axiomticas formalizadas. Estos usos son am nuevos y sus clcsarro-

62

l:L '1.ll'; rooo AXIO:>.I11 CCJ F.N L \ CI [.'iCL\

,\."\.IOM.\TIL\CIX DE LAS l\L\ll:!l!TIC.\S

llo~ imprevis1blcs. pero se concibe que, ya sin la a .

111aq111nJS r para el espritu reducido a SUS )
}Uda de
1
so ~ recursos l
. . .
bol
s1111 1z.ac.1011 y a formalizac1611 Jlc,an )J i... t
.
'.
t

.
JU) raec1 6n axioma ica. si se pue<1e decir, a la segunda potencia
~ 2-t. La cJ.ucmwtr;:a_cin de las matemtica~. '-'
d1f ICI
' .1 me
ven.i

<1ir c:>.:ic t :1111entc 1.1 parte que corrcspon<lc al mt d

. :
tico rn el rnclo de la 111atcmtic;i c.ontcmpornc~. ~txiobrna

que de 1111,1 ta11sahd.1d claramente oricntacia 1 das e.n

,
d 1
' s111 e u J. sena
11c:ccs.1r111 .1 111e1111 o 1ablar de acciones rc.:c:urr . t 0

g:1cbs. 1M, teora de los grupos. por cicmi>lo den) es conr u

.d d
e a qnc se 11a
po<l1 o cc:1r que es 1a m,1tc111.tKa despo1 3da ele sii s l 1 :
<l d
f
.,
'
11 >S ane1a
~ ~e ue1 .1 a su pura onua, nac10 antes cue ella \ se dcsarro
llo.
en primer lugar.
de .manera in<lcpend1c11tc: 11135 el es pm
tu
.
.
en que se 1mma es tan conforme ;11 de la axiomtica } l o~
prnblc111.1s a menudo tan \'ecinm. qnc: los dos rdenes de in\ ~'S t 1g~~u,m c~ se encuentran hu> :isociados de modo rnm nt m10 .. nsta m ~ ntc po_rque 110 c.'S una m1enein aislada ,.
lo<:.1111.:id.1, ~urgida acc1dcnt.1lmente. r porque se apo\a e~
l._1, tc 1Hlc11c 1a~ 1111~mas que carac t e111~111 :il es pri tu mtcrn:ttco ~mopco y <ne no han hecho ~i n o exaspcram ck'1idc hace
11~1 siglo, por eso el mtodo ax10111tic:o no puede disociarse
h1c11 Los rasgos que acusa son ya f.cilmcntc reconocibles
e_n el_pensamiento matemtico cl:sico: ab~ tracc1n y gencral11~1c'.cm ~rec1e11tcs, reclino de la mtuc111 por !J lgica. su
bordmac11111 del contenido a J;i estructura. cst.1hlcc11nicnto
de corrcspo11dcnc:1as 11nihcador:1s. ctctcr.1 '."o por ello es
meno~ cierto que 1llbcrt, al haber "cnsc1iado a los m:ikn
ticos ;i pensar a'l:i:m1t1ca111c11tc", ha~ :1 modificado profundamente c:I "estilo matcrn.itico", ah n11smo en donde el m
todo ax10111:it1ro no es empicado s1stc111:itic.1mc11tc."
:1 Cf. C':. l1:nT. l.A structurc d~s 11ou1dlu ll<<r.N.S p/.,.iqucs. p. ! 6'l
. ..l'odJ gton\CttlJ C'ohercntc e~ IJ 1c,prcsentl<"lOn de 1111 c..icrto grupo~ ahor:J
h1cn, todd '''-'o n1ct 1?J 1cooq tJ111b\,~n iOhrc un ),.stc111. de. :J.\io 111JS. 3\ puti
tod;a 3.:\ioru~ ti('<I t.'5 t.1n1bin, dl~s<lc un C'1~rto punto Je \1\ tl. )J n prC'S::Utl

n n de un tic..rl o gt npo, c-s d ;n:po dt: opcrJC'lunc. ) que. \ .JO <l.:f1nid.H por
lo' :l\1om: \ ) tpc act l1.tn c;obn: 1<~ oh1t.:tot de lo' <pu. trJtJn c~tQ) 21t1ouw ..
Cf dd uu.., tno :autor. La_,iomotJquC' f!t la tltt Ottt- J,.s groupcs. Cougtk
lntcrn. de l'lul Sclcnttfi<uc. l 9 H. ' l. "
:s C/. J. D1LUDO!>". D.1\ID 1loLB1 ar. en Li L"'"'"IS. u s grands
mur<t11ll de la pcnsic nidthi,,.at.ique. p :9i . C. Cull 1u n-, us nirAtiom
du sf)lc mathlmatique, Rn. de ,\ lltoph . 19li. pp ;;;.! S-1.

63

t::stc lo es cad:i vez mjs To<l.1s las teoras matemticas,

desde la :iritmtic:i y Ja tcorb ele los conjuntos has ta el clcn
Jo de prohabilidJdcs, han sido a.\iom:itiuelas hor. y :i menudo
ele mltiples mancr:is En Franci:i, el gran tratado que se public progrcshamcntc bajo el seudni mo gcnnco ele N . Bonrbaki se propuso exponer segn este mtodo el conjunto de
)Js matcm.ticas. Se comprende bien, en el caso de una teora
an bastante pr6x11na a sus orgenes concretos, como es la de
b s prob:1h1hcla<les. cmo la ax1omatizac16n dcscmb:uaz:1 a Ja
ciencia de los problemas concermcntc; a J:i esencia de las cnti
cladcs ele que trata, problcm.1s de los cu:ilcs hace poco una
ciencia racional no crea poder liberarse. l..1 parte m.\s traba
josa de un trat:ido ele las probablid.1dcs era a menudo la intro
duccin, en donde el au tor se juzgabJ obligado a precisar Jo
que erJ esta noc10n con la cu:il prctcncliJ hacer la c1cncra. Se
cncontrabJ entonces cogido en este chlcnlJ : o bien remitirnos
a la intuicin habbndo ele c:1rtJs, d.1dos, ccnta\'os, bol.is; o
bien dar una dcfimcin abstrac t.1 de l.1 que poda clisnnu
lar bien, pero no suprimir la circul.1ridad : la probabilidad,
relacin del nlmero de casos f:11orables al de casos posibles,
11 condicin de que stos sc1111 igualmet11e /JTobables. Esta
d1f1cultad notoria ilustra a 111:1rav11la lo que tiene de incmoda
y de transitoria la fase de ];1 deduccin concreta. en donde se
debe y no se puede justificar los principios. Las cosas eran
claras en la fase emprica e incluctivJ; dejndonos guiar por
nuestro sentimiento intu1ti\o de las probabilidJdcs, vemos
bien, por ejemplo. que no hay r:izn par:1 que resulte ms bien
c-Jra que cruz. y llega1110\ luego a establecer las dos leyes, que
IJ expcncncia \ crif1car, de las probabilidades totales y de las
probabilidades compuestas. Y eso \'Ohcr:i a ser claro en la fase
axiomtica, la de la deduccin abstr~ct:i : las dos lc)CS sern
establecidas ahora como principios, los cuales dar.in de la
prob:iuilidad una dcfinic1n 1111plic1ta: la probabilidad es simplemente la cosa" que es tal <uc se vcnftcan en ella Jos dos
principios.
Esta purificacin conccpt ual i11ic1:il 110 es an sino el menor
beneficio del mtodo. El an.lhs1s axiomtico, se ha visto, destaca las estructuras de las teoras particulares ya constituidas
} rC\cl.a as las an;ilogas form:ilcs entre teoras a menudo muy

EL 111faooo AXIOXlTICO , .

''' '-"

CIENCIA

alejadas por su contenido y por esta razn e

hasta ah inclcpcnchcntcs. E~ el caso' p~r . ' )l;e pe rmanecen
1
1 la tcoria
ele la medida v el clculo ele 11 r~b~bilid~~l~~ P ele
dese
' t
-r en
'
gua mcn te se
. ub rcn es t ruc
uras topolgicas
con 11111tc1s
I 1 '
.
ee e cmentos
q ue ya no son puntos, s1110
funciones o i11ch1sci 1
ese1ic"1.11mcn
te e1scontmuos

' et cmcntos
como los nniros
t . d 1
.
~
en eros L1
cona e os espacios abstractos, 0 topologa general 1 b. J
a 1\1. Frcchct, es as uno <le los ms bellos f~titos cle'1' <;t <IJ
:f
T ,
.
me oc o
axioma ico. cor~as matcma.t1cas cst:n igualmente puestas
en corrcspondcnc1a con tconas cxtramatemticas v . t'
lam1c
I'og1cas:

p.u 1cu'.
n te c_on t con~s
el clculo ele probabilidades
con
c1ert?s_lg1cas plumalentcs, la topologa con ciertos clculos
cl_e log1ca 1~1odal. Aclarada con una nueva luz por un isomorfism?, ?1:'hguas teoras pueden recibir desarrollos inesperados.
L1 s,muhtu_cl de funciones conduce tambin a crear, p:ua una
tcona, no;1on~s abstractas que nada podan sugerir mientras
se las tema su1etas .s_u mtcrprctacin primitiva, y nacen as
nuevos seres matcmahcos.
No solamente l_as tcor?s p~r_ticularcs_ son las que se aprovechan del tra~a~mcnto ax1omat1co. L1 fisonoma del conjunto
de las matematicas se encuentra tr:.msfonnacla. En razn de
pa~entescos insosp_echatlos que de pronto se revelan ah, el
umverso matemtico se redistribuve. El orden tradicional :,
que_ reparta las tli~eiplinas matem'.ticas segm los objetos ~s
tu,d1ados ( antmtica, lgebra, anlisis infinitesimal, gcometna ~ ,_ pa~ece hoy ta~ superficial como el ele las antiguas
clas1ficac1oncs zool~1cas, cuc agrupan a los anmales segn
sus semcanzas exteriores (acuticos, terrestres, areos) en lugar de fundarse sobre la similitud ele las estructuras. Ahora
se coordinan teoras cuc tratan de objetos muy diferentes.
pero dotados de propiedades formales anlogas: la teora de
los nmeros primos est prxima a la de las curvas algebraica.s, la geometra euclidiana a las ecuaciones integrales simtncas. Y la subo1dinacin se funda sobre la jerarqua ele las
estructuras, yendo de las ms simples y ele las ms generales

2, ~1 fm de ~stc p5rr_2fo csti dircct.11nentc inspirado por N. llouuA<i .

Lmclnlt'clurt des matl1emallq11u, en 1.r. L1oss.\IS, op. cit, p. H-H; J.
DtEUDOSN~, L'aA_io111atique ddru les math1natqucs ruodtrnt1. Cou;r.fs intcr11
de Pln1. d~t Sciences, 19-f?, 111, p. iS, CnEVALLEY, art. cit, pp. 383-4.

AXIOMAT17.ACIN Df. LAS lllATEMllCAS

65

a las ms complejas y a las ms especiales. En primer lugar,

algum1s estructuras maestras <le un carcter m:s amplio: cstmctur:1s algebraicas, estructuras ele orden, estructuras topolgicas Despus estructuras ya m:ls complejas y difcrcneiaclas,
en donde se comb111:m org11icamcntc dos o m;is ele estas cstructur.is maestras: por ejemplo, el lgebra topolgica. Despus solamc11tc tcorJS m;'is especiales, rn donde los elementos
conue11la11 a tomar una nclividualidacl ms m.ucada : e:n este
nivel es en donde se rnclvc a enc:o11trar la mayor parte de
las teoras de la matemtica cl:'1sica. Slo que, en lugar di:
permanecer inclcpcnclicntes y casi aisladas, aparccc11 aliora como determinadas por entrecruzamientos diversos de algun:is
teoras ms generales. Por ejemplo, el conjunto de los nmeros
reales puede ser considerado como nn cuerpo, o como un
conj1111to ordenado, o como un espacio topolgico, etctera,
ele suerte que las propictla<lcs de los nmeros rc:ilcs son, por
una parte, las que se puede leer en los teoremas cuc les son
aplicables de cada una de las teoras correspondientes, y por
otra parte, las que resultan ele fa validez simultnea de estas
diversas teoras o de varias de entre ellas.

S 25.

l 1L'(omati;:aci611 en las otras ciencias. El tratamiento

axiomtico no fue solamente aplicado a las matemticas,
se desbord por ambos lados.
No nos sorprenderemos de cuc un mtodo que se propone
suplantar fa intuicin por la lgica haya encontrado su terreno
de eleccin en !J lgica misma. Esta ciencia hace de ella
hoy un empico regular y sistemtico. 1\I contrario, Sil uso
disminuye a medida que se clcsc1cndc la escala de las ciencias.
que ~e pas.1 de la mccnic-.1 a las otras partes ele la fisca, y
de ah a l.1s otras ciencias de la natnralez.1. En efecto, casi no
ha excedido aln el dominio de ) fsica. Los cnSJ}OS que se
han intentado cu las ciencias ulteriores, como \Vooclgcr lo
hizo en biologa, siguen siendo espordicos, y tienen sobre
todo un inters de curiosidad. No cuc alguna ciencia repugne
por naturaleza Sil empico. Pero ste, para ser fructuoso no
debe venir sino a su hora, y cuando la ciencia interesada lleg
a un cierto grado de madurez. Hay como una ley del tlcscn
volvmiento de las ciencias, que las hace pasar, en un orden

66

EL M l-rooo AXIO~ITICO l'.N LA CIEl'>CIA

irre.\'crsibl~ y cada una :t su \'CZ scgs~ el rango <111e ocupa en

1 ~ crarq111;i'. por cu:it~o. ct;ipas su~c5l\'~\.: de5cripti\'a, inducl~\':I. dcduct~,:i. :1x1omahc:i. Una a:-.10111.11lc:1 permanece dem;issado \':lna ss 110 se const!llY~ ~ohre_ 1111.1 teora_dcducti\'a pre\'ia,
la cual 110 tiene \'alor c1c11t1f1co si 110 01g.1n11.;1 un \'.1sto c011
junto de leyes adquirid.is inducti\'amcutc. a co11tin11aci11 de
una larga cxplor.1c1on de los fenmenos. L1 fsica inducti\a
en los si;los xvu y xvm, abri en el siglo x1 x l.1 cr:i ele l:is
grande~ teoras dcduct\ as,. y ha llcg.1do hoy al mnto e11 donde
el tratamiento axiomtico le resulta aplicable dc111asi;idn a111
pliamcntc.
.
iNo s1c111prc sm >Jrtcs mas antiguas son las que se l1an
bcnd1ci:tdo m.s de este trat.1 n11cnto. Ciertos r.1,gos de la~
tcor.1' nue\',lS - 1.ts cuales, claro cst.i, se :tpoy:m cu todo s.t
her adquirido :mlcriormcntc. aun c11audo lo corrij.111- l;is pre
dcst1uJ ba11 a ello. y no solJmcnte el hecho de que uac1cron
en la est.1eion misma en cuc floreca la axiom.ltca. Primeramente, su cadcter ;iltamcnte abstracto y formal. < ne resulta
inc\ itablcmcntc, entre otras r.1zoncs, de que han dejado de
existir en la csc;il.1 de nuestrJ intuic10n. Una fsica de lo
in111cuso y 11n.1 foica de lo h1f11110 desconciertan nuestro po
der ele rcprcscntac1n concreta. L1 c11n-at11r<l <le! espacio
tiempo. el sf>i11 del electrn, no ticncn ya smo un \',1Jor muy
db1lmcntc anal6g1co; aun esta lcana ;ilusin a l.1 imagen
se des\ anccc tot.1ltncnte con el simbolis1110 matem:1tico, nico
que da a h1s teoras su expresin cxact.1. Adems, ciertas par
ticularidades cscnc1alcs a la nueva fosca f:11 orcccn o aun im
ponen el uso del mtodo ax1ontico. Como C\plica J. L.
Dcstouches. "una fsica en la cual todas las medidas simul
tncas no son posibles 110 pncde ser una fsica de las propic
dadcs intrinsccas y debe limitarse a una fisica de relaciones". 10
Una fsica tal es ncccs:tnamcntc cstmctural. l'idc expres;1
mente la s11bord111acin de los tr111111os a las relaciones, tan
caracterstico del ordenamiento axiom: tico.
Si no se ha extendido mncho el mo de exponer axiom:lti
camente el contenido ele la fsica clsica, no es que la cosa
presente dificultades especiales, al menos para 1.1s partes ya

' t:s!Di sur 14 forme gJ11er.c drt tli:>rir (>l)';qucs, p.

AXIOM.\1'17.ACI:-I J N <111\AS ell!Ne lAS

sistc111:1t i1.adas. L.1 axio111:itic:i es el perfeccionamiento de l:i

teora dcducti\",I, lo CUJI <111icrc decir tambin que_ tod_a pucst.a
en forma dcdncl\''1 inicia p en la \'.t de b ax1ou1;1t1ca. El
h;\bito de duplicar el lenguaje vcrb.11 111edi.111te el simhohs1110 111atem;lt1co h.i acost11111b1ado a l o~ ficos <lcsdc hace
largo 1tc111po a d1st111g11ir, uo tanto cnltc teoras con 1111;gc11c\
y tcor.1s .1hstractas. <mnu cutre dos mpcctos, uno concreto,
otro si111blico, de 1111.1 111isnia t<.:or:l: no s1cmlo apenas la~
im.gcncs, segn l.1 cu111p;1r.1ci6n de l'oinc.u, sino \'CStiduras
so111clld.1s al camcho de l.1 111oda, 1111u1tr.1s que la \"Cn.!Jdc~a
tcorJ, ).1 <1ue perm.111ccc, es el sistema de: ccuaclOnl\, es cl~c1~.
de rd.1c1011cs. lg11.ilmc11te no ha n dejad.o de obser\"ar las _su111
ltudes formales entre cc11;1c10ncs o sistemas ele cc11ac1oucs
qnc pertenecen a captulm de fisica concrcl:m_icn tc dsfcm~
tes, y <ue rigen, por ccmplo, los unos ;i los fcn?.nenos me.ca
nico~. los otros ;i los fenmenos ckctro-mag11ct1cos: los 1so
morfomos les son pues, f:11111liarcs. !'ero ~a en l.1 org.111izacin
conceptual que supone el cst.1blccimicnlo de IC) cs. el trabajo
de ;1hshaccin prepara y apeb :t las axiomticas ulteriores.
Si l:i fisica es un:l ciencia de lo concreto en el srntido ele que
desc.111s:l sobre lo mil, al menos los truunos entre IM cu.1lc\
cstahkccn esas rdaconcs que enuncian l:ts lc~ cs son complc
tamcnle otra cosa que objetos concretos. L.1 masJ, la fucr1A1,
el potencial, l.1 rcsistcucia, son entidades abstractas; sugeridas
scgnr:1111 ~ntc, como su nom bre lo recuerda, por im~gcnc~. pero
CU) o sentido propiamente cientfico es fijado n:ca mcnte
por l.1s rc:bc1oncs que sostienen entre ellas y con olr:!s de
igual natnralC'7a. " 1~1s nucionc~ int11ill\';'IS h.m scr\'Hlo. en el
origen, para cst:ihlcccr las le) cs. pero 11n.1 'cz ccmstruida l.1
red de las lqcs, la pcnpctti\a se h.1 inn:rttdo: es el con
junto de principios de b 111cc.inica cl.sica, de la tcn n o-din ~
nuca, de IJ ptica, cuc da, de las nociones fond.uncntalcs
de e.ida nnJ de estas tcorJs, 1111.1 "definicin disfra 1.1d:i".
!'ara dcsc.11tar <lcfiniti\.1111cntc estas ssgnificacioncs itttuitivils
achcntic1as e iruportunas, para exponer en su pnrcz.1 intelcc
tual el sistema de IJ~ rcl.tcioncs, ningn mtodo podra ser
ms eficaz que el mtodo axiomtico.
11

l 02.

67

C(

126-llS.

J.

Uu.MO,

l'/1yriq11c ti 11.\iomatiquc,

fl'.

de ,\.Jdtaph., l?i9. l'P

68

S 26.

t:L

r.i(;;rooo

AXIOMTICO EN LA ClL'ICJ.\

Lmites del 1.11todo axiomtico. Las ventajas de este

mtodo no deben, sm embargo, disimular los lmites. No ohi

demos, en pmner lugar, que no representa sino una de las
fas~ de la c1enc1a y que aun el lgico y el matematico no se
dcsmte.rcsan en , modo alguno de.: IJ ,erdad material de sus
propo~1c10nes. El aritmtico puede bien fingir descuidarla:
no dc1a, sm embargo, de acoger, desligado de situarlos en un
nivel inferior, muchos " teoremas cmpiricos", que son verdade~as ,lc}eS mductivas. Pcr~ ah mismo donde se procede
axiomahcamcntc, no se podna llernr adelante el mtodo hasta
el t~n.nino a donde apunta. ste se propone perseguir a la
mtmc1n para subshtmrla, no ) a por el razon.tmicnto, sino por
1111 clculo, por 1111 manco regulado y pn\'ado de smbolos.
En realidad, el furm ahsmo no puede func1on.H sin alimcn
larsc, de una y otra parte, ele la i11t11ic1on.
En primer lugar de la intuicin concreta que lo sostiene.
No es sino cu los libros donde 11n,1 ax1om:tic:t comienza con
los al>.iOmJs: en el espritu del al>.iomhco, tcnnina ah. Presupone la deduccin material que pone en forma. r l'Sta a
su vez ha exigido un largo trabajo inductl\ o previo para reun ir
los materiales que organi1A'l. Sobre estas bases, el vcrdJdcro
trabajo del axiomtico, es descubrir los axiomas . no dt:du
cir, en efecto, las consecuencias ele prinetpios cl.lllos, sino
al contrario, dado un conjunto de proposic1oncs, encontrar
un sistema mnimo de prmcipios de donde se puedan de
<lucir. Al anlisis inductivo que, de los hechos se remonta
a las leyes, sucede el ;mjlj~is axiomtico que, prosiguiendo
la obra de sistcmatiz:tcin deductiva. se remonta de las lC}cs
a los axiomas. Una vez traducidos stos a smbolos con sus
reglas de funcionamiento, el formalista podr olvi~ar las sig
nificaciones intuitivas iniciales. f.stas no han recucndo menos
el clisciio de su construccin y solas. aim ahora, hJccn comprender las lneas maestras y. Jos con tomos,_ y ascgu:an ~u
unidad: unidad oranic-.1, no sunplc yuxtapos1c1n acc1dental
de axiomas. El dcf~cto de una presentacin axiomti~a abrup
ta, cuando afecta espritus no preparados, .est prcc1sa~entc
en esta impresin irresistible de arb1traneda~ )' \"3emda~.
Una a.~omtica no ofrece casi inters para qmen no h3 asi

LMITES DtL M TODO AXIO~l-rlCO

69

milado antcrio1111cntc el conjunto de conocimientos concretos que ordena al cscucmatiz:ulos. No se comtruye una axiomtica por simple 1u~go, y los instrumentos mtclcctuales son
hechos, tambin ellos, p.ua ser utilizados. i\In el terico puro
que deja a otrm el mo del mstrumcnto, no cstj menos constrcfi1do, por su parte, a la consideracin de un modelo: a
saber, el modelo simbblico mismo.
Se tr;1za otro lnutc al uso del mtodo axiomtico por un
teorema paradjico de Skokm. A tocio sistema que excede
un cierto 1111 el bast.mlc elemental y cnc comporta un modelo
en un dommio cualquiera, es posible asign.ulc t.1111bin un
modelo en el domm io de los nlmcros naturales. AhorJ bien,
el conjunto de los nmeros natur.11~ constituye un infmito
enumerable, tuc es la m:s dbil potencJ de los conjuntos
infnutos. 32 Resulta, pues. de este teorema que el trntJmiento
a~iomotieo hace desvanecer, en cierta mJnera, tocbs b s poten
eias superiores. El continuo. por ejemplo, no puede ser ronce
i>ldo axionticamcntc en su espccificidJcl cstructur.11, yJ que
tod.1 ax1om.itica cue se d comportad un modelo enumera
ble. lksultados obtcmdos ultcnormcntc por Von Ncumann,
Jos cuales muestran que 1.1 potencia de un conjunto t.'S re!Jt iva
a ]: ax1omatiCJ 11t1liz;1da, \ Jn en el mismo sentido. Era una
ventaja del m~todo axiom.tico reunir, por Ja identidad de su
otmctura, una plur.1hdad de sistemas isomorfos. Si, ahora,
los sistemas cuc rene pueden no ser isomorfos, es que deja
csmpJr ciertas p:ttticulJridadcs de bs estructuras y cuc no
b.1sta ra para diferenciar stas. Parn distinguirlas sed necesario
1111 recurso a l.t mtuicin.
Si b 111t111cin concreta la bordea por abajo, la axiomtica
pcnuanccc igualmente en contacto. por arriba, con una intuicin intelectual a la que ella puede sin duda repeler siempre
JJ Recurdcrno'\ que Jos conunlos se d1cc-n tcocr l:i 1l$Jl\~ pot~ucid cw.n
do se puede <'\Llblc<C't entre 5lU elementos una rorrcspondrncu1 hiul\i\oc:a
(es dror, que ;a todu dc1ncnlo <ld uno cont:!lpondc lino )' un solo ck-tncotc>
del otro. ,. re:dproc.uncntc) . que, p:ar.i ron1untos f1n1tos, tener I~ nlsnt.1
potcncii se reduce J ta1ct el nusmo 11Uu1C'ro de clcncntos; que, PJ.'~ los
conjuntos infinitos, b mis dbil potcnCll es J del n1um<rJbl< (b sucesin
indcfinidJ de los nmero. n>lurolcs); que la polcnc dd co11ti11110 (por
ejemplo, la de los punlos de unl linu, o dd con111nto de los nlimcroo reales) es suptrior a la dd enumcr.ibk; en fon, que "' puede s1cmpn: construir
un conjunto cuy potcnciJ supere la de ton conjunlo cualquicra.

iO

EL M.'TODO AXIO:>I TICO EN U

CIL'iCL\

ms lejos, pero no suprimir de ningn modo. La intuici

se refugia de la tc_ora cu la mctatcor:t, luego de sta, rcduci~
a_SU \'CZ a llll SlStcma fo_rmaJ, en la l~Ctame tatcora y as
sm fm: ~1cmp~e el rnanqo del simbolismo exige un sobre
rnclo del cspmtu. Los teoremas de Cdc\ han hecho man.
fiesta la cosa a los formalistas mismos. Pues juegan aqu un
papel que se ha podido comp:irar al de las relaciones de incc~
tidurnbrc de l lcisenbcrg en fsica cufotica: as como la intc:r
venci6n de la actividad expcrnncntal en el contendo de la
observacin no se puede ago tar mdcfinidarnentc, as ocurre
con la intcncnein ck la aet1\ idad 111cntal en las axiorniticas
simbolizadas y fom1aliladas. Que se regocije o que se aflija
uno de ellos, no es posible eliminar el sujeto. De ah la re2c
cin del intuicionismo: "No aceptamos que el camino de 1.1
ciencia lleva a la eliminacin del cspintu." .. An con sistemas
bastante rudimenta rios pira que no funci onen en ellos an
las prohib1do11cs de C<Jdel, es daro que la apcrccpein de una
com:sponelencia analgica cutre la interpretacin objetiva ~
1.t interpretacin sintctica de las mismas frmu!Js requiere.
exactamente corno la inteligencia ele un retrucano. una ini
ciativa espiritual, y que, m~~ gcncmlmentc, una cierta cons
telaein ele signos, negro sobre blanco, no llegar a ser, por
ejemplo, una demostracin de no-contradJCci~ sino pa~a un
espritu que sepa leerla eo1110 tal. F.I be11chc10 del metodo
axiomtico no es excluir la intuicin, sino contcnerb y haccrl:i
ret roceder hacia el estrecho terreno en eloncle es irreernpla
:z.ablc. Tiene \entaja substituir el rg.1110 por el in~trumento,
luego, el instrumento por la mquml'. para, dcsp~l'S, dotar _la
mquina de ap~rato~ de :mt?rcgulacion: por. mas perfecc10nada que se b mJJgme, su snnplc flln~10n~m1ento .-:~ra no
hablar ele su constrnccin ni de su 111thzac1611 -ex1g1ra ~1cm
pre 1111 control humano, no dispens:ir jams de algu~a~ mtcr
vcnciones exteriores, as fuesen, cada vez, ms nunim'.15 Y
cspaeiad;is. Enteramente como una m.quna,_ un mccamsmo
intelectual no sera verdaderamente seguro s1 no se pudier~
tener la certeza absoluta que no tiene defectos, q~c no es~
expuesto a avcria, ni a enloquecimiento, que en mnguna cir
.. A. llLTTt.'<C. en f

Cosnrn. PhiWso:h~ =llim4Uq~. 19 39, P 1;.

Lhtrrl.S DEL

Mhooo

,\,XIO~ I'rJCO

il

cunstancia surgini una ambigedad cualquiera ~obre el modo

de aplicar las reglas, ~ que jam:i~ nos encontremos l.anzados a
una alternah\'a i11dcfm1da de afm11ac1oncs y ncgac1011es, que
r(tncrdcn las antmomJs eJntorian:is. Sin duda es 111.\s justo
pedir a J;i 111tu1cin y al formalismo co11trol;1rse 111ut11.11ncntc:
;JrJnhz:rndo el formalismo contra los ~.rrorcs ele una i~lm
e1n intemperante, pero con la conel1c1on de ser l n11smo
sometido a l.i \ig1lanc1a de una int111c111 reducida.
Por lo dem;is, nadie ha impugmelo seriamente el p.1pcl que
comen-a b mtmcin en el elescubrin11cnto. Cualquiera que sea
1.1 fceund1cbd ele un mtodo, su oficio es sobre la consolida
c16n y, si se quiere, el prolong.unicnto. pero sobre un terreno
pre\ 1amcutc fi1:1do. r:; pone en orden lo adquindo y, al hacer
esto, llcnJ las bgun:is y explot:i los trnzos, pero no i11augur.1
naelJ cscnciJlmcntc nuevo. Los descubrimientos re\ olueio
narios son la obra del genio que trastorna los mtodos. En
contrar, probar: lo 11110 no le es menos indi~pemablc que lo
otro a la ciencia, que reqmcre el espritu de a\cnhtr:i tanto
como el espritu de rigor. Deselc este punto de vista an.
intt11ei6n y formalismo se completan, seg1'm la diversidad
de los cspiritm y las oscibc1oncs de la l11stona. Un autor poco
sospechoso de tibieza para la axiomtica con\'icnc expresa.
mente en esto: "En los periodos de expansin, cuando se in
troduccn 11oe1oncs nuevas, a menudo es muy elifcil dcl11111tar
c.~acta me11 tc las condiciones de su empico, } para decirlo ele
una \C2, no se pucelc hacerlo razonablemente sino 1111.1 \'et:
adquirida 1111a muy larg.1 pr:ctica de c~t;1s nociones, lo qu<.>
necesita 1111 periodo de desbrozamicnto m:is o menos amplio.
durante el cu:tl dominan 13 incertidumbre y IJ contro1cma
Pasada la edad heroica de los exploradores, IJ gener:1cin si
guicutc puede entonces codificar su obra, aligcrnrl.1 de lo
superfluo, asentar sus bases, en una palabra, l'oher a poner el
cdif1c10 en orden- en este momento reina de nue\o sin eli\i
~n el mtodo axiomtico. hasta )J prxima rernlucin c1nc
aportad alguna idea nueva.""

".J. D1~ocosst, L'a:c:Omatiquo d<:>11 l<S 111~thlmutiq1U moJ.irrw, co1n 1"1.Kio at:icb. pp. i7-48.

V. ALCANCE FILOSOFICO DE LJ\ 1\..''10 MATICA

S 27. Filosofa de las 111ate11~tic~. La co1~s t i tucin y el dcsen

volvimiento del mtodo ;mom.ihco no mtcrcsan solamente
:11 trabajo cientfico, se proyectan tambin sobre problemas
filosficos cuyo alc:111ce se v;i ensanchando: filosofi:i de las
matcmfcas, filosofa de la ciencia, f1losof1:1 del conoci111icnto.
En primer lugar, b axiomtica abre una de las vas posibles
pJra rcsohcr el problema que ha dominado, desde principios
de nuestro siglo, a toda la filosofa matemtica, el del funda
mento mismo de esta ciencia. Este problema, que casi no haba
preocupado, hasta ah, a los matemticos, se impuso brusca
mente a ellos por b cnsis de la teora de los conjuntos. Ela
horada por G. Cantor durante el ltimo cuarto del siglo x1x,
la teor.1 de los conjuntos, dcspul-s de mucha~ resistencias,
haba terminado por aparecer, alrededor de 1900, como la
base de todo el cd1fic10 maten tico: la aritmtica de los
nmeros finitos, con l:i cual se aeab.1b:1 de reconstruir las otras
p:irtcs de las matem:tic.is. se podi.1 en efecto constnnr a su
vez como un caso especial, particulanncntc simple e intuiti
vo, de l.1 teora de los conjuntos, el de los conjuntos enumera
bles. Ahora bien, justo en este momento es cuando surgen,
en el interior de la teora, "antinomias" o " paradojas", es
decir, ~res de teoremas contradictorios. El conjunto de todos
los conjuntos-< uenoSeconhenen-c llos-mismos-como-el cmen
tos, se contiene l mismo como elemento? Uno se convcn
ccr fcihncnte de que un:i respuesta afirmativa y una rcspucs
ta negativa a esta misma cuestin son igualmente 111stificablcs.
Scmej;mtes embrollos presentan aqu una gravcd;id excepcional: para una teora que ha dejado de apoyarse sobre nociones
y verdades intuifas y que ya no tienen, pues, otra garanta

de su \'alidez que b coherenc.1 fom1.1l. l.1 menor ftsur.1 b

11
par. comprometerlo todo; su 16gc:i llene la obhg.1ci6n 3 ~0'
lula de ser mfahblc.
Dcsdc e~ principio, las.im~t igacio!1cs. p.ir:i 1111:1 solncl>n se
lu n cmpc11ado en tres dirccc1oncs l'.l cmpirmno" de Dore]
Y ~bcsgue, luego yrolong.1do y rcforz;1do por el int 11 icioni~
!llO de llrn111~('r, 1111ru ta b~ d1 fic11lt.11lcs .1! 111 a nto ucgo Jd
111strn111 cnto logteo; ~te no 11os ofrece y.1 g:1r.111tia desde <ne
s~l11'.1os de los <lom nuo~ ~11 domlc l.o liemos p1ohado J.1rg:nnen
te, ) por eso rn C.\lcns1on al <1011111110 de lo tr:imf1111to es en
gaiios.1 La i1.1t111ci611 es la c11c juzga, c11 lti111.1 imtancia, ik
la \'~hdcz 1111s111~ de las regl.lS log1ras; de suerte 11uc si se le
d.t 11c!11pre. pnomt1d sobre el chscurso, a no se cxpoudr. uno
a a11t11101111as. Se .les. enta en efecto, pao, J qu precio' 51
gu1cndo estos pnnc1p1os. se encuentra 11110 progrcsh ~mcnte
llc\~do a co11<le11.1r partes conwlcrablcs, no sol.1111cnte <le (.1
tcoua de los co111untos, smo ele 111.s ele una tcorl:t matcmt ica antigua y com:igr:ida. Much os j111.;;in t.11cs s;icrif1eios exccsi' os, )' el remedio ckmasiado enrgico S1 se quiere comer\ .tr la totalidad de bs matcmihcas cl.1sicas con lo c<.cnci.il,
adc111:h de la teora c:mtoriana. y per111 .111ecer al mismo ticm
po fiel a la inspiracin de esta 1lt1111 a, se cnsJpr. entonces,
c:omo lo hizo Russcll, la va del "logimo". Por una parte,
se m~n tcnd r el propsito de construir !as niatcmJ ticas .1 partir de b s sobs nociones y leyes de la 16gica Pero, ya que estas
han tond11c:iclo a Jntmo1111as que se trata de prohibir. se re
forz.1r!1 por otra parte las reglas de la lgicJ ele m.rncra tal
1uc .1 no pcrmit.m tcnninJr ah. Dcs&r.1e1adJmentc, es difj.
cil conciliar las dos cos:is, porque. para d.u a l.is rcgl.is de
lgica el grado exacto de se,crid.1cl que com1c11e parJ c~cluir
IJs :111tinom1.1s ~ slo a ellJs, se \ 'C: uno eo11strei1ido a cst~bk
cer cie rtos axionJs cuyo ca rcter ex tr.1kig1co apcn.lS es d1scu
tibie.
Resta un tercer camino, por el e11JI Zcnnclo., cnsapd
s.1lir del embrollo: la reconstruccin axiomtica. Es ta solucin
difiere de la preecclcnte en que, si bien exige siempre axiomas
1ii l..a a:u on1.1t1ua 6n

de los rouiuntos scrS o11cuouuc11tc 1cton1ad.1 ) de-'

ro Fr:1cnkd, Von Ncn1n.1nu,

3Hlllllld3 pcr di\'CISOS autores, cspcc1~l1urntc

lltlll>)>

n LOSOFA llC U S M.HJ.MTICAS

75

1111c 110 tolcrw l.1 prod11ce1611 de a11ti1101111JS, > no les impone

1111c sc.111 tomadas del solo ma terial lgico Sin em h.u go, las
roudcioncs pJr.1 el cst.1hlcci111i~11to <le 1111.1 ax10111~tiCJ semej.1ntc ~011 mur ch\'crs.1s dt: IJs w11d1cioncs p.1r.1 J;1s axiom.ticas
de l'c.1110 > de 1J1lbert En s tas, se ib.1 sol.uncntc de l.1s co n1cc11c11c1.1s a lo~ principios. se p.irt.1 1lc teo ra s bien prob.1das
roi no l.1 .irit111tie;1 }' b ;comclrJ d :mt'ilS. W}:I eonsis tcnci.1
11.1dic pondra sen:11nc11tc en cl11d.1, y desde d momento en
:111!.' los principios cur.: se les as1gn.1b.1 les c>l.iba11 cxact;1111e11tc adapt:1dos, no h.1bb nad.1 ms <111e pcd 1Cks; no era indispcn
1.1hlc que fuesen c\ickntcs y cicrtm por ellos 1111s111os, se estaba
1c;11ro de J11tcma110 que no c111pei1al1.111 en co11trad1ccioncs.
.\ qui :11 contr.1110, la cxistc11c1.1 de a11 ti110111ias muestra que se
1r.1h.1ja en nn.1 1011a de mscguridad t\1111 cuando los axiomas
1ea11 cscogido1 a 111J11cra de cnt.u l.11 antino1111Js conocidas
qu C) lo que g.uanhz.a <111e no h.1r~n surgir en otra part~
otr.1s J11llog.1s? Ya no b.1st.1, pues, prod11cir un sistema de axio111.1s t.11 que J?Cnnita ckm?s lr.ir c~ac t.; 111en t e l.1 parte aceptable de IJ leona ele los eon1111tos. es 11cccsano 1111c los axiomas
insp1Ce11 ellos 111i:mos m .1J co~ 1 fi:111 z.1 absoluta : ;i l.1 pnoridad
l6g1c:i dcbe11 mm 1.1 c\ldcnc1a p11colo1c.1, ser fu11d.1111entos
. .
"
lanto co mo pnnci11os. Ahor.1 111cn, uno de los axiomas de
7.crmclo cs t.1b.1 lejos de satisf.iccr est:1 eond1ei611; o, ms cxaelamcnk. l.i eucs titn de sahcr s1 l.1 satisb c..1 d1\'iclia :1 los malcm:lico> en dos campm Evidc11tc par.1 los unos, el axioma
lla111.1do "de l.1 sclecc111" 110 era pa r.1 otros smo una fclrmul.1 huccJ, un cnsa111 hl.tje de pJIJbr.1s grJ111;1t1calmc11tc corree
to, pero vado de sentido. Y las prnpos1c1011cs cqui,-.1Jcntcs que
se hubiera podido pensa r p.1r.1 s11hstitu1rlo. como la rclabva
J IJ p~s1b1,h~l.1d .del "buen ord.cn", pacleda11 del nmmo defecto.
la ~"0111.itica mgcnu.1, eonf1ad.1 en el scntnniento de c\idcnCIJ mtclcctual p.n.1 ustifica r l.1 sclccc1611 ele los axiom;is, se
cncontrnbJ bloqueada en 1111 c.illcn s111 salida.
.Uno de los pn11cip.1lcs objetivos de IJ mc t:1matc111.\tica de
lhl bert cs. el de .hacer s.ilir d e ah, supliendo por el r:12:0nam1.c1.'to l.1 111t111c1011 dcsf.1llcc1en tc. La fonnal1 ~1ci6 11 ele !J axionutic:~ debe, en cfce~o, pcm11tir est.1blcecr por vl.1 demostrat.l\a, s111 tenc.r n~ccs1d~d de apcfa~ al scntnnicnto subjetivo
<le la ev1elcne1a, si 1111 sistema de ax10111as es o no consistente.


n1.osor DE LAS .>.IA 10 1.\ 11c.u

Si tal demostracin puede ser d:idJ fa,orablcmcnte por una

a-'OGm:ihc:i de b tco1 ia de Jos ronjuntos, el problcm:i del fundlmcnto esta resuelto. IXbcr u estarlo. 1nclmo a los oos de
un 111 tu1ciomstJ - para quien l.i no<ontr.1d1 ce16n es rondio n
n~ru p~ro no suf1ocntc de la e~istenci.1 rnJtcm.l ttc:i- con
t:il que la dono~ tracion satisfJg:i l.i nigcncu de corut1ucei611
en un nmero fini to de ct3pJs, lo que es, segn l, el \ CrdJ .
dero entcn o Por eso 1lilbcrt, prcoc11p.11lo por no renovar con
tro\cmas o tfrilcs. lubb impuesto a los l"OCCdnnicntos de
dcmostmcin condiciones muy se' era<. 1~,, cspcran1.1s que
los "fonna Jist:1s" h.tb.m puesto en este m.:tndo han sido, se
rccucrd:t, parciahncntc fmstradJs. Los tcorcm.1' de C',Qdcl. p:u
tieub rmcn te, mostraron que la no<nntr.1d1ccin de los s1stc
mas en cuestin no pod a ser probad.1 por unJ fonnalizacin
que pcnn::rnccicra dentro de estos sistem.ls. La paradoja de
Sl:olcm, por su J.1do. opone a lJ :u1om.1t17..1Cn de la tcoriJ
de los conjuntos u11.1 dificultad esencial. }:1 que resulta de
c!IJ que el trJ IJmien to a ~iomttCo hJtt des' :incccr ah b
distincin de l.1s di,crs;is potcncLtS. fat.1 i1ltim;i rcstr1con, a
pcsJr de ello, no concierne direct:m1c11 te sino a 1J tcoriJ de
los conjuntos. Por otra pJ rte, el cud10 den tro del rnal Hilbctt
se lt.1biJ enccriado rnluntJnJrncntc, permit a ser un poco en
sanchado, sm tuspasar por ello los linutcs que se .1sigru al
intu1c1onismo, ele suerte que las prohibiciones de Cclcl .~e
encuentran atenuadas. ~:n estas condicion~ Crntzrn. en 19>1,
lleg a dcmostrJr b no-contradicci6n ele J.i teora de los nli
meros, no apelando sino a un solo pnnCtp10 c~tmor a .la teor.i y most rJndo que este princ1p10 no cxcc di.1 los medios que
se conceden al int111c1onismo Resultado unportJnte. ) J que la
no-rontradieon de much.1s teoriJs se apoyaba sobre la de
la aritmtica, hastJ ah simplemente postulad.1
Aunque el fom1ahsmo axiom:tico no h.1 resuci to dcfinitha
men te el p roblema del fundamento de 1.is 111Jtcm. t1c.is, res~~
que. tJnto para l mismo como p.1rJ l.n re.1ecioncs que su.soto.
lo ha hecho 3\'3nz.u eonsiderJblcrn entc l'or ot1.1 pa1tc., lu
hecho di~minuir grJndemenle la prcs1611 $obre J:is doctnna_
s
que le eran iniCJalmente opuestas. l ~1s difcrcnc1.1s entre logt
cismo y axiomJtismo casi se h.m des\'anccido hoy, al punto
de que las dos tcndeneus se integran en algunos autores como

7i

Qmnc. L3 niul tiplicidid de las lgic:is, trJtad.1s en adelante

scg111 lm mtodos de 1J :rnom tic:i fornultz.u.b. no pcnnitc
p C':IS1 d.1r l sos nociones de base un srn t1do absoluto; y la
cun tuin de ' abcr 1llmde lcnnm.J IJ lgic:t ) ,1,;nde romie!l7..1 ii
!Js 111.11l111.hc:is perdi una bucn.i p.u tc de rn sent ido. Las
di\ crrnl.11k~ de principio de siglo se ru umcn ho> en un:1 gran
altcm:lti\ J, scgii n que se eonced.1 la lmor idad a la l;ic-J o a la
111t111ci11. Au n los dos partidos se hJn aproximado su ficie nte
mente parJ poder ahorJ comprenderse ) tr.1bJJ.U en comn.
Al tr.1nsportar los problcnlJs al plano de IJs constrncciones
s~mbhc:1s, el. for.mJl ismo hilbcrh:mo lo,~hl.1 uu lcnguJ je acce
siblc al int111c1omstJ, nucntras que c'tc ultnno cntrti decidida
mente, en seguinucnto de llC} ting ( 1930) , en )J \1.1 de Li
.lxiom.ltiC':I formal. Se puede rcchJL1r el form.1hsmo axiom:
hco, pero )J :t\ 1mnaliz.aci6n y la fonnJl11.1cion h.in llcg.1do a
ser ho). como decfa ya Ca' illes, umfomR"i obligJtorios . ..

S 28 Fr/oso/l.i d! ~et o mcict. A1i11 an tes de cine el problcmJ

del fund.uncuto se impusiera a b Jtcnon de los 1113tcm. ticm
l.1 a~iom.itic:i. nJcidJ de unJ rcflex1on sobre el mctodo de I ~
gemetras, liJbia inmediJ t.nucntc .u ro1:1do una ,1, ,1 lu z sobre
la p.1ra doJJ tic esta cicneia, 1111e su si hiJcion pone en el gozne
de lo mtd 1g1blc }' lo sensible. 1\unq11c lo\ tcorcmJs de IJ aut
mt1ca y de ti lgica se aplican a lo rc:1I, no p.11cc.1 11nposiblc
mirar cst.1s e1enc1as como puramente r.1C1on.1lcs. por m.ls ci
b1l que sc:1el llamldo que hJcc11 a l.1 i11t111cdm ~ensiblc. Aunq_~c lJs leyes de IJ lisic:i se expresan en kn;uaje matemtico.
si ne si~11do apJrcnkmcntc pl.1usiblc h.1<cr dcri' ar de la ex
pcr1enc1:1. toda su substJnciJ. no eonsidcr.\ndosc el simbolismo
111at~m:\t1eo smo como un \ CShdo cmodo De :1111 L1dtStincin
cl.lsic:i ent re dos grupos de ciene1Js, racionales , npcrimcnt:t
les: l.1s unas, que, segn lJ expresin de C oblot. no tienen
ncccs1d.1d parJ ser ' erdJderas. de que sus objetos sc.1

)' las ot_r~ se podrLt deci r, <U) OS objetos no tienen n~~~d~~j

p.m existi r, de ser 111tchg1blcs. Pero ,de qu l.1do situar, cnton
" Op. cir p. t &2 M:n~mrn1u1 q11' <l lo11nJl111n<1 es mhmd
1
nuntc poi loi ~1tid.:1.11os ''() tn-1tcn1l15nto d~k~t
guJ
n1(n t.1(l()n del 'idCJh,.mo hurgues 11 t- 1 . .100~ c1uc \'en en () un~ lh~
que nt.a opcnit'lo de ordrn fdosfi:;, ;ihea pfcntc, llll rrnb.lcgo. no parece
0ticnul del hilM~l '"'tcuhco, <'Oano es cl~1.t0ctcnn1nl1dod '11n_:1 o~cnt~c1u
mpcc o e 1ntua< 1onunio.

i8
ces, fa ;comelra? L.1 inten-cnein mnnificst.a de la intuicin
~~acial proh.i~b reducir su contenido a un sistema de proposiciones anahttcas; sus venl.idcs, por otra p.111l', se imponan
tJn bien al csprit u que no se pod.1 apenas rcfcritbs a l.ts
simples contingcncm~ de b cxpc11cncia La 1clca bnhJ 11.1 de
la "sintcsis a />riori", ndco de toda la filosofa critica, fue,
se sabe, direct.1111cnlc im1m.1d.1 por cst.1 d1ficultJd Ahora
bien, l.1 'iom.ltirn i1ll'ita l rtsohcrla de muy d1~t111to modo.
Si la geomch.1 c!js1ca pareca a la \CZ pura e 111tuitiva, es que
fonnaba un mixt(}, 1e11nicnclo en una cienci.1 :tpatentemcnte
tinica <los cl1sciplinas cl1stmtas, que cst11 ahora claramente cl1sociaclJs: un'1 geomctrb pur.1, rcpresc11tacl.1 por ~J teora axiomtica, en clonclc el sentido mtuitivo ele los tmunos
y de las proposic1o ne~ est:i clcl1bcr.1d.11ncnte descartado,)' cuya
\erd.1d se mide segn la sola coherencia l<igica. sin apclac1n
a 1.1 experiencia;) un.1 geometra aplicada. intuitiva, en donde
la forn11 dcmostr.th\'.1 no es sino un accesorio y cuyos teoremas son, en rcalicLtd. lC)cS fsicas . La segunda sirvi par.1
constituir b pruncra, pero esta ha llegado a ser ahorJ independiente, se m;mticnc en pie por sus sobs fucr1.:i~ y. s1 se rcf1ere e'cntu.ilmcntc a IJ otra. lo hace solamente conw a uno
ele sus "modelos" posibles. Ambas pueden, es vcrd.1d. ser c.xpucstas s11nult;11c:1111cntc en un mismo discurso, ele ;tli 1.t confusin; pero este i1111co lenguaje se pr~ta a <los kchm1s diferentes A la cuestin: cmo puede Ja rJ1.6n, sin el .auxilio
de Ja experiencia, ]tacemos conoctr l.1s prop1ccbdcs de lo real?,
se responder. en ;1clcbntc como lo IJJcc Einstein en el comien
zo de su opsculo sobre La georndria )' fo exxrienctl: ''La
pcrecta cl.mcl.1cl sobre este punto me parece hJbcr sido pucst~
al alcmce ele cad.1 uno, grJerns a la corriente que los matemticos nombran Ja 11xio111tica. El progreso rc:1hz.ido por ti axiom.tic:i consiste en 11111 cbr;i y neta separJcin de lo intuitivo
y de lo lgico ~eg111 la axio111.tic;1, slo los hechos lgicos y
formales consttn}cn el objeto de b eicnci.1 matemtica, mas
no el elemento intuitl\'O cuc puede rcknrsc a ellos."
Slo que es nccesano eu iclarsc de interpretar corrcct:11ncntc
este dcsdoblamicuto ele la geometra cn.mdo, en lugar de con
sidcrarfa sola, se la repone en el mtema de las cirnci.is. Se
debe entender que el carcter ambiguo ele 1.1 gcomctrfa clsica

i9
rcsultab.1 de su situacin intcr111ccl1a, y que los dos trozos en
los cuales el mtodo axiom;tico Jc1b.1 de <.~cindirla deben
reunirse snnplcmcntc. 11110 al grupo ele las ciencias racionale_s
o dcd11cli\as, otro al de l.1s cic11c1as cxpcmncnt.1lcs o mductl
1-.1s, y que a~ se cncucntr.1 rcfomH~:t la v1qa di,cotoma que
wlocaba por un lado l.ts c1c11c1as lugicomatcmahcas, por el
otrn b s cicnuas fsicas. n.1turalcs y morales, est.111do prcc1s.ido
ahor.i el l11g;1r c:x.1cto en donde elche hJccrsc el corte? Seme
1a11tc interpretacin concucrd.1 con b c:onccpcin dualista ele
(J cicucia que profcs.1 hoy el cmpinsmo lgico. f:ste establece
entre dos especies de ciencias una scparJcn ms rJdic:il an,
que no se haba hecho h.1sta aqu; Coloc1 por un lado l~s
cicnci.is fonnalcs - lgica y matcmahca- <ne cons1der3 ba10
la form a clcp11rnd:1 (ne les d.i la prcscnt.1c1n axiomtica: en
tcramcnte ''acas de toda significacin exterior, no n~ ensei1an cstrict.1111cnk n;1da sobre lo real : sus enunciados, pura
mente analticos, concicmcu sol.nncnk a l.1s transfon11.1c1oncs
del cliscurso. Y por otr.1 p.utc, tod.1s las ciencias de lo tcal.
para h1 expresin de J.is euaks nhhz;nnos, es \'Crdad, el lc~
g11a1c lgico-111.1tc111tico, pero 111c podran, en pr111c1p10, pn
1arsc ele l sin pctdcr nada de su contenido, siendo proporcio11Jdo ste enteramente por la experiencia.
Si se invocan, sin embargo, l.1s cnsciian1.~s de l.1 axiomtica
pata apoo ele esta tesis. se ol\'idar.1 un hecho cscncJI. Lejos
de cnccrr.1rsc en el dominio geomtrico inicial, la axiomtica
se ha cxtcmhdo, en efecto, r:ipid.unentc por los dos lados:
hacia la aritmtica y l:i lgica, hacia la mccmca y la fsica.
1loy intcrcs.1 cll.1 al conjunto de las c1cnci.1s. Por cons1g11icntc,
no es en el mtcriot ele 1.1 so!J gcomctr.1 en donde pas;1 el
corte entre lo racional y lo cxpcrnnental. lo lgico y lo mtui
ti\'O: el dcsdobl.11111cnto ax10111hco funcion.1 en tocias las
c1cnc1as o, en todo caso, en todJ\ l.Js que c~tn suficientemente av~nzadJs para prest.me a l.i orgamzacin dcducti\'a.
l'ng.isc la 111ccinic;1 o la ptic;1 hajo la fonna de una axiomtica sunbolizada: d lector lu dcj.1do de estar en presencia
ele un.i ciencia de lo rc.11, se encucntr.1 clclJntc ele 11n sistema
formal, vaco ele todo contcmdo cmpiriro, en donde "no se __
sabe ya de qu se hJbl.1, ui s1 lo cuc se dice es vcrd;1clero". ;~,~ [." ;
Oc modo inverso, si frente a 11na axiomtica abstract:1 sabe'~"','~".,;
, )

WE..\h,,.CJ

~q
...

- ".
(\

80

ALCA.'(CE FILOSFICO DE LA AXIOMT ICA

asignar a los axiomas una interpretacin vlida en un cictto

dominio de lo real, de pronto todo se ilumina: los smbolos
t~~11~11 ~n sentido concreto, las (61111ulas un~ vc.rdad cmpiric:i.
N1 s1qmcra <.'S necesario para eso que la aphcac1611 caiga en lo
que se nombra habitu.1Jmcntc el mundo fico: tambin un:i
traduccin :uitmhca o lgica e1ccuta pcrcctamcnte la tarea.
Pues la nocin usual del nmero, por e1cmp\o, abstracta cuando ~e b compara al 111011ln ele bolas de billar, viene a ser
una interpretacin concreta en relacin con la x que figura
en los axiomas, e igualmente respecto de las nociones lgicas
de negacin, implicacin, pertc11cncia a una cl:lsc, etctera.
En estas condiciones, el dcscloblamicnto axiomtico no fon
ciona transversalmente al nivel de la geometra. Divide longitudinalmente tocia 1:1 escala de las ciencias, desde la lgica
hasta bs ciencias morales. Li sola dikrcncia, y no es sino de
grado, es que las primeras toman ms (:cilmente fa forma
axiomtica, de suerte que se reconoce en ello mejor la posibi-''
lidad de una lectura abstracta. Pero. que ellas nusmas se pres:
ten, como lo ha revelado la axiomtica, a una doble lectura,
eso muestra bien que no se distinguen esencialmente de las
ciencias empricas, y que son ya, a su manera, cicnc1:1s de lo
real. No hay ciencias abstractas y ciencias concretas, eiencins
racionales y ciencias cmpircas. Ha), primeramente, entre las
ciencias, grados diversos de abstraccin y racionalicl.:icl, que.
permiten ordenarlas en serie. Hay, cmcguid.1, para cada. una
de ellas, posibilidad de una doble lectura: abs trncta, rac1on:1l
y fom1al, o concreta, emprica y material. Se yucde, por convencin de lenguaje, emplear la palabra l6g1cd o la palabra
matemtict1 para designar la lectura abstrJcta de una teora
axiomati7.ada cualquiera. Pero cntonc~s, el sc.ntido. de esta~
palabras sufre l tambin el dcsdoblamicpto :ix10111hco y ~era
necesario guardarse del equh oco que :1111cnaz:1. Cualquiera
que sea el domin~o -aritmtc::i, ,P!ica, .etctera- sobre el
cual se luya edificado una axionu t1ca, esta ser una pura
construccin lgica, en el sentido ele que rcsultar:1 v;icla y puramente formal; pero puede tambin, en otro sentido, reprc
sentar una teora lgica, tanto como unJ teora ari tmtica u
ptica, ~g{m Ja interprc~acin que se d de s1~s smbolos, y .
si el con11111to de sus axiomas se puede traducir en propos1

-L()SQfL\ DF. LA CID'(CIA

81

ciones de l6gic:1. lgualmei~t~, la palabra matein~tica toma, e~

adcl.mtc, un sentido ambiguo, como se puede \ Cr en el t~t
de Eiustcin cit.iclo m:s arriba. Puede, porqu~ la ma!em hca
es la que dio el ejemplo, <lcsign:ir una tco.n~ rc<luc1da a .su
forma :ib>trnct.1 : se com1crk entonces en smonm~o de lgica
necesario cn t~ndcr;
el1tcndida en su nimcra :1ccpci11.Asi<les R
Jo, por ejemplo, en las ocurrencias e ussc11 y _l'ome:irc
.
(S 10) . Pero este sentido rclati\amc.-nte nuevo ~ :111adc, sm
bormlo, al sentido ms tradicional, segn el cu~) se . llar~a
con este nombre a un grupo pl rticular ~e c1cnc1~s, las q e
tratan de Jos nlmcros, de bs figuras, ctcctcra. Lqos de o.po
ncrsc, nmh.mtc caracteres antitt ico~,. toda~ las dcn~s cien
cias tomadas en bloque, las matcmahcas a~1 cnten~1~as son
vccmas ele Ja lgica por nn lado, y de las c1enei~s ISlcaS por
otro, pcrm.mcc1endo las fronteras un poco mdcc1sas: pues los
conjuntos del matem:hco se par~ccn mucho a las ,clases .d~I
JgJCo, la cinemtica hJce. b u1116n c1.1trc geometn~ y. dina
mica, y 5e titubea sob1c s1 la prolJ.1b1hdad debe a tnb~1.~se al
111 atcmihco, al lgico o a) foico . A p~ar de la amb1p.1cdac1
que subsiste en el lcngua1c, In chsoc1ac1n se hace as!, en el
pensamiento, entre los do~ elementos que. ~1mancc1:m. cm
broll.1dos en J: nocin cls1ea de l.1 matcmatic:i, caractemadJ
a la \'cz por su ob1cto y por su mtodo, ciencia de la cantidad
y ciencia dcmostrali\a.
.
.
. .
.
La vieja distincin entre c1enc1a racional y c1cnc1a emp(nca,
lugar connin de la epislemolog1.1 desde J.1 poca de Bacon,
merece s111 duda ser conservada. pero a condicin de que se
deje de confundir en cll.1 dos ~cepci~ncs que. no coinciden
sino parci;1hncnte y que la axiomtica pcmute desprender
claramente un.1 de otra. O bien se 1.1 entiende como una clar.1
dicotom;1, y entonces no di1idc las ciencias en dos clases, ms
bien marca una dualidad interior a cacl.1 cicnci:i. O bien se
quiere as distribuir las diversas ciencias, pern en este c;1so la
separacin es indecisa y relativa, como Ja ele una asamblc:t
de hombres que se re[>31ticra en grJn<lcs y pcquciios. L.1 oposicin entre ciencias fom1aks y ciencias de lo re;1] no es justificable sino en la medida en que, superponiendo estas dos
distinciones, uno llama formales las que, habiendo alcanzado
las primeras un alto gr:tdo de abstraccin, se prestan por ex-

82

83

ALC.\ XCE FILOSFICO DI! l.A AXIOM,b ICA

cclcncia a un tratamiento axiomtico, y ciencias de lo real las

9ue, menos a\'anzadas, pueden d ifcilmente desligarse de las
mterprctac1oncs concretas. Al liaccr esto, uno carJctcriz.a mc1~os dos ~spccics de ciencias cue dos tipos iclc:ilcs que se realizan dcs1;ualmcnte en las di\'ersas ciencias o. mejor an, dos
polos del pensamiento cientfico.

S 29. Filoso{ i<l del co11ocimic11to. La oposicin entre la razn

Y.la expericnci;1 110 es sino una de las mltiples frmulas que,
sm concordar en todos los puntos, expresan de modo di\'erso
pero cou un parentesco C\ idcntc lo que \Vl1cwcll llanub:i
"la anttesis fundamental de b filosofa"; las ideas v los he
chos, el pensamiento y las cosas, el conocimiento ) ~I ser, lo
inteligible y lo sensible, lo abstracto y lo concreto, lo cons
trudo y lo dado, lo concebido y lo pcmb1clo, lo cz priori y
lo a posteriori, etctera. Al nnt.u a mtcrro&arse sobre las re
lacioncs de lo lgico y lo intuiti,o, fos im cstigacioncs axiomticas aportan as su contribucin a un problema que, a
tra\'s de la geometra y del sistcm:i entero de las ciencias,
rene un tema mayor de la reflexin filo~fica . El mtodo
axiomtico no es slo un proccdunicnto tcnico de los mate
mticos; se puede encontrar en l una ilustr.1ci11, particular
mente sugcst\a, de la manera como procede el pensar en el
conocimiento. Aplicndolc las nociones de b.s que l mismo
hace uso, se dira que nos aporta. ele las opcr~cioncs cognosciti\'-:JS, un modelo concreto, sobre el cual se puede ensayar
una lcctma :ibstracta. ir
Se , e ah, en primer lugar, que no debe darse ningn sen
t ido ;ibsolnto a los dos tnninos de la antt~is, cuyo lmite
se desplaza sin cesar. Ll cosa, ciertamente, no es nueva. y en
todo el frente de las ciencias no se ha dcj;ido de advertir este
mo\'imil:nto del espritu que lo hace tratar en seguida sus propias creaciones como un dato, que debe superarse en una abs
traccin superior. Lo concreto, dccia Langcvin, es lo abstrae
to hecho fanuliar por el uso; y hO)' los J\'cncs matemticos
objetan al "empirismo" de un Borcl que lo transfinito, ahora

twn

aT Cf F. Cossu11, Lts mdlhi matiqun <I la ria1111,

rur ta m.i//iO<
cnomallqut. En lo <JUC ~'""' nos inspiramos libre, pc10 muy mpl~mcntc,

en csb uctlcnlc obra .

que cst.n h;ibih1Jdos a mancjJrlo, ha llegado a ser para ellos

un.1 nocin n1 tmhva, tan nJtnral que llegan hasta llamarla
"inn.1ta"... !'ero l.1 axiomtica po11c la idea cu una lu.1. directa.
Co11 cll.1, el e;1so ele la geomctr.1 cl.ls1c.1 roul!J pJrtic ubr
111c11tc mstruchrn. l'Jra 1111 ax10111: t1co, rcsbJla hacia el lado
de lo int111ti rn, 1111cntras que, por rcl.1ci<m a los conoci1111cntos
unpricos c111c IJ m:parab:m, ;1parccia seguramente a los griegos, como aparece an hoy a los 11!i1os a q111cncs se cn~cfi.a,
como 1111.1 d1fe1l crcac111 de l:i razo11 . Accreo1 de ella, la lm
tori.1 nos h.1cc conocer dos 11111l<lcio11cs, cuy.1 a11aloga fue bien
subr.t) ad.1por F. Gonsctl1. Dos \'eccs el espritu ha franqueado
un "11111hrJI de abstr.icctn", superando el dato mediante un
Jeto irrccmplJ.r,;iblc de imc1.1t\'J intelectual : es necesario
aprcnclcr a leer la recta gco111tric.1 en el lulo tc11cl1do, como
ms tarde, a leer la recta axiond tic-a en l.1 recta geomtrica.
Por eso 110 es ele ningun modo par:id61ico \'Cr en Euclides,
como se hace algunas ,cccs. a un \'crdJdero a'.IC1orntieo. Igualmente, todas las nociones de la fsica cl.sica, tales como Ja
masa, el potencial, 1J entropa, se apopn sobre un dato sen
sible que csqucmatiz.1 n pero sir\'cn a su \ C'.t ele sostn intu
h\'o p.1ra una axiom.tica abstracta.
Los dos trminos de la antitcsis no se pueden, pues, pensar sino en su relacin. El par tiene un sentido slo con su
tensin caractcristica entre dos polos opuestos. Lo concreto
no se dcfme sino como una \'Cccin. De la gcomctria de
llilbcrt se puede remontar a l.1 de Euclides, de sta a la gco
mctria ele los orientales, de esta 1ilti111a a otras formas m~s
pnmitil':is. Se
as en direccin de lo concreto no alcanzndose janjs 1111 concreto puro, pri\'ado de toda 'conccptua
hZ.1ci~. como el que el empirismo finge desplegar delante
del. cspmt~. No li.1y 111.s fenmeno primero c111c el de la sensacin paSl\a: las cnsclianLJs de l.1 crtica ele lai ciencias roncucr<l.iu aqu con las ele la psicologa. Abierto as por Jo bajo
el conocnnicnto cst. abierto igualmente por lo alto. Alo
abstracto n? es ,lt11110 sino provisio n~lmentc. Y jams es p;.1.
sado solo, pmJs presentado al cspiutu como en un cuadro.

'

>1 1'. L.-.c1.\ls, Lo 11olions de co~uxulc ti d'otomt p ~-. J D

p. 0: /\. Dt.N )OY L'inn6te
' ' -.),
IEV
f.'" O"'"t .que , ., t . et,
du tr .,,.

<n Li.. 1..iosN us, Op. ci1. p. ISS,

""11111,
DOl<si

84

ALCA..."<CE

1tos6nco

DE LA A.XtoM.hlCA

No aparece sino realizado en un modelo, as fuese solamente

el modelo simblico. . No~otros no conocemos fom1a pura
como tampoco contcmdo mforme. Puede haber ah un \l:tclo
de pensamiento, no podra haber pensamiento vado. Para
pensar efcctiYamente la 1111da, es necesario representarla mediante algo: una cruz, la cifra cero, la mencin "nada". P:tra
pensar una estructura abstracta, es necesario <l;ulc, sobre el
papel, una forma concreta. El pensamiento trasciende al sistema de signos, debe rnlar sobre l para captarlo como tal,
pero sin l, a falta de un contacto directo con las cosas, so
pierde en Jo indctcnninado.
Esta tensin bipolar, que es condicin de todo conocimien
to, aparece con una nitidez particubr en el pensamiento axiomtico. Las nociones un tanto Yagas de la teora del conocimiento -concepto e intuicin, forma y contenido- se preci
san ah en la correlacin que establece entre la estructura
abstract:t y la realizacin concreta, entre el esquema y el modelo. Se capta ah al vivo el movimiento de lanzadera que
lleva al espritu del uno al o~ro, ilum~nndolos mutu~mcnte
al ponerlos en corrcspondenc1a. Lo~ !~1cos, lo recordabamos
ms arriba estn frecuentemente d1v1d1dos sobre el valor res
pectivo de'tas teoras abstractas y de las teoras con imgenes.
Es \lerdad que los genios son diversos, que tal sobresale en
leer en lo concreto lo abstracto, tal otro en interpretar lo
abstracto por lo concreto. Pero, as como. una difcrcn~ia _de
temperatura es ~ecesaria para ~l~e funcione una macm~~
trmica, as conviene que el cspmtu, p~ra ~omprender, d1s
ponga de una desn\'clacin que _le pcrnuta rncular entre dos
planos elevarse del hecho a la idea y \'Olver a dcscc~1der ele
Ja ided al hecho. Extraer la regla, ilustrarla con un c1cmplo.:
con este doble movimiento, en que se .resume todo conoc1
miento la axiomtica nos aporta prccasamcnte uno de los
ejempl~s sobre los cuales se puede percibir mejor la _rcgl?..
Se ve a cules actitudes filosficas se opone Ja ax~oma.taca,
a cules favorece. Repugna a un clogm:1tismo ele la smtCSIS, :ti
sueo de un punto de partida absoluto que .ascgurar[a ~ Ja
deduccin una seguridad definitiva. A la total.1dacl, ~e la c1c11
cia es a la que ella extiende a~1ora la fonn~ lupotchc<;>-Oeduc
tiva. Como el mtodo cxpcnmental habaa desacreditado la

t'ILOSOfA DllL CO!'iOCll\llENTO

8)

esperanza. cartesiana <l~ u11:1 fsi~a demostrativa, hoy ~1 logi

cismo, la idea de un:i c1c11c1a racional que no presupusiera ya
nada, se l'C dcsmcntida por la regresin axiom;tica que, por
lejos que lleve, encuentra siempre debut~ de s algo '.'anterior" no asimilado. !'ero as como los axiomas no se unpo
nen por una evidencia intrnseca, as tampoco resultan ya
de decretos arbitrarios. El conl'enc1011alismo no parece defcn
cliblc sino para quien desprende artifacialmcnte la axiomtica
de sus bases y sus prolongaciones intu i til'a~, sin las cuaks, cm
pero, viene a ser un juego ftil, sin rclacio11cs con la ciencia.
La filosofo del conocimiento que sugiere la axiomtica, es
un racion:ilismo que no osa uno llamar emprico, pues de tal
modo cstfo las dos palabras habitualmente opuestas, que al
menos se lo puede calificar ele inductivo o experimental. El
rechazo de todo cJ priori, apodctico o decisorio se duplica con
una igual repulsa de las dos r:mus de Ja alternativa entre las
cuales el empirismo, en su versin contempornea, pretende
encerrar al conocimiento: fcnomenismo y nominalismo. Ni
el espritu contempla un dato en cuya elaboracin no hubiera
tomado parte alguna, ni se agota en el plano de los signos y
del dleulo formal. Y nada manifiesta mejor su activdad que
el establecimiento o la aperccpcin de una correspondencia
analgica entre el esquema simblico y el modelo concreto.

INDICE DE NO~IBRES
t\RQUM>'DIC.~,

35, 37, 41

ErNSTf.IN, 78, 81
ENRIQUES, F., 30
EucunEs,

BACON, 81
BARNAYS, 7..
Bo1J,.ANO, 20

Hoou:, +t
Boiu:r., 74, SZ
HouRBAKt, N., 63, 6-l
BROUWER, 50, 74
BnuNscuvrcc, 8

c.,

CANTOR,
73
CARNAi', ..6
CAVAILLEs, 20, 49,

C1.AIRAUT,

77
19, 20

CouN, A, 3311.
CouRNO'I', 12

ClllWALLEY,

FRALNKEL,

720, 38, i2, 83

74

FRECllU, l\I.,
FREGE, 54

CE:-i'l"/.EN, 76
CERCONNE, 30,

))
12, 77
Gonuux, 3311.
GtiDF.l., 52, 53, 70, 76
GoNsETH, F., 19n., 82, 83
GOTlNCA, 49
COBLOT,

c., 62, 6-l

HEISENllrutC,

A., 83
Dmoucrms, 66

Dt:NJOY,

D1EuDONN~,

64

J., 62, 64, 71, 83

iO

HERN, 16
HEYTJNC, 77
HILBERT, Dil\'d,

3311., 34-H,

43, 49, 51, 60, 62, 75, 76

83

88

:SDICI: DI:. NO.\UllU:S

Jun:-r, C., 62

16, 32, 33, Si, 5),

lluSSl::LL,
(i(), 74,

81

SACCllU.J,

L.\.'(CEYIN,

P., 82, 83

L.Wllt..\IONT, 5
LE LIO:SNAIS, 83
UBl'.SQUF., 74
U.lBNl7~ 711., 1), 17. 8211.,
LoBATCIU:\'SKI, 37, 42

NEUMANN,

18

Sc1101tNJ1AUER. 20
SKOJ:L\I, 69, 76
Sn:WART, D., 21

l. Los ocn:cros

49

JI. LAS

u l.l..\10, J., 67

\f.
VEBLEN,

pASCA~ 8, )6, 20, 2811.

26, 27, 3311., 43n.

PADOA,

24. 2), 3-fn.

PEA.'io, 21, 24, 32, 3-ln., +I, 7)
Pmu, 11
PoL"CA. 11., 11, 21, Z6n., 31,
32, 39, 67, 81

l'IUMEIU.S AXIOMTIC.\S .

\VEl.ERSTR.\SS, 4
82
\Vuni,:nE.\D, 5-t
\\frnCENSTl::IN,
\\fOODCER, 6)

56

7.i:uino, )0, 74, 7S

Z3

EL .U C.\.'(CI: J'ILOSt'JCO DE LA AXIOMTICA .

73

lndic~

87

AXIO.\ITICAS t'Olt.J\IALl'L\DAS.

3411.

\VUEWELL,

M{:10l>O AXIOM.\1100 t:N LA CJE.'(CIA.

)\'. EJ.

\'on, 69, 74

DEL APARATO EUCLIDL\SO.

-H
)9

111 . LAS

N1coo, 29

PASC11,

SU?\IARIO

de nombres.

En I lmprcnb U11ic11b na bJio b

d11crnn de Rubtn Booifn Nuno se
lcrmin b imprClin de e.le lobro
d dlJ 29 de dococmbre de 196). l.>
edicin c~lu\'O I cnidJdo del traductor
de llulx-r to ll..ihs Se hicieron 2,000
cjcmplrn.