LAREALIDADDELOMATEMTICO.

JavierZubiri
Hemosvistoquelamatemticaestcompuestadejuiciosquerecaensobrealgoqueesreal
porpostulacin.Yentoncessurgeunainevitablecuestin:queselpostularmismodeloreal
matemtico?Antesdecaquelapostulacinespostulacinderealidad;ahoranospreguntamosen
quconsisteestapostulacinmisma.Deellopendequetipoderealidadtengalomatemtico.
Dichonegativamente,larealidaddelomatemticonoesporejemplocomoladeestapiedra,
porqueesapiedraesalgorealenyporsimisma.Encambio,unespacionoesrealenypors
mismoperonoporesodejadeserreal.Esquecomolohemosvistodetenidamente,noeslomismo
realidadycontenido.Enlaactualizacindiferencialdeloreal,elmomentodeformalidaddela
realidad campal es formalmente distinto del momento de contenido, pero sin embargo aquella
formalidad essiemprerealidadFsica;unamismaformalidadderealidadpuedealojardistintos
contenidosnoslosimultneamentesino,tambinsucesivamente.As,sicambiaelcolordeesta
piedraelcontenidodeestaaprehensinhavariado,perosumomentoderealidadsehaconservado
numricamenteidntico.DeaququesenosdescubraqueenestascondicioneslarealidadFsica
esunmomentoquenotienenforzosamentetalcontenidodeterminado.Larealidadcampalesen
efecto,segnvimos,eldesuyoautonomizado.Noesunpilagoenelqueestuvieransumergidas
lascosas,sinoqueespuraysimplementeelmomentocampalpropiodelaformalidadderealidad
decadacosareal,yacabamosdeverquesegnestemomentocadacosarealesmsqueloqueella
esporrazndesucontenido.Estemomentodelmseslarealidad.Larealidadesportanto
unmomentofsicoynomeramenteconceptivo.Precisamenteporsermsesporloquepuedeno
tenertalcontenidodeterminado,estoespuedetenerotro.Enestascondiciones:j1elmsqueda
actualizadoenlosconceptos,enlassimplesaprehensiones,y2estosconceptosquedanentonces
realizadoscomocontenidodelmas.Launidaddeestosdosmomentoses,comovimos,elobjeto
irrealexpresadoenelsera.Puesbien,cuandosepostulaqueelobjetoesasentoncesseha
pasadopostuladamentedelseraales.Tenemoslarealidadactualizadaenlainteleccin,yla
realizacindeloconcebido,perorealizadocomocosalibre.CosalibreeslarealidadFsicaconun
librecontenidopostulado.Talessonlosobjetosmatemticos:sonobjetosrealesconstituidosenel
momentofsicodelarealidadcampal,lamismarealidadsegnlacualsonrealeslascosascomo
esta piedra. El momento de realidad es idntico en ambos casos; lo que no es idntico es su
contenidoysumododerealidad.Lapiedratienenrealidadenyporsimismamientrasqueel
crculotienenrealidadsoloporpostulacin.Sinembargoelmomentoderealidadesidntico.La

realidaddelosobjetosmatemticoseselmasesemismomasdetodacosarealenyporsi
misma.Yprecisamenteporserunmsesporloqueseprestaatenerunlibrecontenidopor
postulacin. Cmo estn constituidos los objetos matematismos en su postulacin, lo dir en
seguida.
AhorameurgerecordarloqueyaexpuseenlaPrimerapartedelaobra:realidadnoes
sinnimodeexistencia.Existenciaynotaspertenecentansloalcontenidodeloreal;encambiola
formalidadderealidadconsisteenqueesecontenidoexistencialydenotasloseadesuyoalo
existentenoharadelalgorealsinoespectral.Existenciaynotas,repito,pertenecensolamenteal
contenidodeloreal.Puesbien,elmomentoderealidadcampaleselmomentodeformalidaddel
desuyoautonomizadocuandolascosassonaprehendidasunasentreotras;esdecirelmomento
derealidadesentoncesmbitoderealidad,unmbitoestrictayrigurosamentefsico.Larealidad
campalesfisicaperonoesformalmenteexistente.Ciertamentesielcontenidonofueraexistente
loaprehendidonoserareal,perotampocoloserasinotuviesetalesnotasdeterminadas;esdecir
nohayrealidadsincontenido(existencialydenotas).Loquesucedeesquehayrealidadcampal
undesuyocampal,peorsinestedeterminadocontenido,esdecirsintalesnotasdeterminadasy
sinsudeterminadaexistencia.Elmomentocampaleseldesuyoperoenformatalquelosuyo
deestedesuyoquedalibre.Quedanlibrestantolasnotascomosuexistencia,peropermaneceel
desuyocomomomentoformalderealidad.Laimposibilidaddequesinohayexistencianohaya
realidadnosignificaquerealidadseaexistencia;significatanslo,comoacabodedecir,quesiendo
realidadunaformalidad,nopuedehaberundesuyosinuncontenidodenotasydeexistencia.
Estasnotasyestaexistenciasonloqueelpostuladopostulaparalarealidad:sonnotasyexistencia
realizadastanslopostuladamenteenlarealidad.Ensuvirtud,lasnotasopropiedades,ascomo
laexistencia,sonnotasyexistenciapostuladas,peroestas,notasyestaexistenciasonrealestanslo
porlibrepostulacinenlarealidad,eneldesuyoaadoparamayorclaridadquecunadoenla
matemticaseformulaunteoremadeexistencia(porejemplo,laexistenciadeunarazentoda
ecuacinalgebraica,odeunaintegralenunaecuacindiferencialordinaria,olanoexistenciade
unaecuacinalgebricaquetengacomorazelnumeroe),existenciasignificalanudarealizacinde
unanotaenvirtuddelarealizacindeotrasnotas.Comolanudarealizacindeestanotasenvuelve
unaexistenciapostulada,entonceslanudarealizacindelcontenidoeslaquecontodaraznse
llamaexistenciamatemtica.Essiemprecuestinderealizacinperonoenelsentidodeidentificar
realidadyexistenciaFsicaenyporsimisma.
Enconclusin,laactualizacindelarealidadenlainteleccindejalibresucontenido.Y
entoncesloqueelpostuladopostulaesquetalcontenidodeterminado(porejemplo,elparalelismo

euclidianoolatopologanoarquimediana)tantoensusnotascomoensuexisten,eselquese
realizaenlarealidad,enelmas,enestamismarealidadFsicasegnlacualesrealestapiedra.
Estecontenidoasrealizadoes,segnhemosdicho,cosalibreElespaciogeomtricoesrealconla
misma realidad segn la cual es real esta piedra. No es un mero concepto, pero es realidad
librementerealizada:libreperoreal,realperolibre.Estapostulacinpostulaportantoquela
realidadserealizaentalcontenido:sepostulaestarealizacin.
El modo matemtico de esta postulacin es lo que aqu llamo construccin. El espacio
geomtriconoesunsistemadeconceptosobjetivos,perolaconstruccinrealizapostuladamente
estosconceptosobjetivos.Construirnoessolohacerdealgotrminointencionaleirreal(estosera
cuestindesimplecontenido)sinoqueconsisteenproyectarEstoirrealdelconceptosobrela
realidadsegnconceptosportantoconstruccinesunmododerealizacin:esrealizarsegn
conceptos.
Esmenesterevitaraqudosposiblesequivocosenestaideadeconstruccin:laconstruccin
enelsentidodeGdelylaconstruccinenelsentidodeBrouwer.
Gdel llama construir un conjunto a generarlo segn la aplicacin iterada de ciertas
operacionesaxiomticamentedefinidasenlosaxiomasdeZermeloFraenkel.Esesencialsubrayar:
trtasedeoperacionesdefinidascomotalesynodelprocedimientoparallevarlasacabo.Estos
conjuntossonlosdeGdelllamconstruibles.SudiscpuloCohen(1963)seapoyenconjuntono
construibles en este sentido. Los elementos de todo conjunto tienen en efecto dos clases de
propiedades.Unas,quesonespecficas,lasquerespondenalospostuladosyaxiomasoperacionales
aqueacabodereferirme.Otraspropiedadessonmsbiengenricas,envirtuddelascualesforman
un conjunto dejando indeterminadas las propiedades especficas, las cuales forzarn a las
propiedades genricas a especificarse. Los conjuntos obtenidos as con caracteres meramente
genricossonpordefinicinnoconstruidos.Cohenseapoya(parasusensacionaldescubrimiento
de la falsedad delahiptesisdelcontinuodeCantor)enestosconjuntosnoconstruibles. Esto
parececontradecirloqueacabodeexponeralafirmarquetodolomatemticoesconstruido.Sin
embargo,estacontradiccinnopasadeseraparente,porqueloqueaqullamoyoconstruccines
algodistinto.Enprimerlugar,porqueloqueGdelyCohenconstruyenesenelfondoelconcepto
objetivo tanto especifico como genrico. Pero en cambio la construccin a que yo me refiero
consiste en realizar ante mi inteligencia un concepto ya construido objetivamente ( tanto si es
construible como si no lo es). Y en este sentido la realizacin misma puede y debe llamarse
construccin.EspuesalgomuydistintodelaconstruccinenelsentidodeGdelyCohen.Tanto
losconjuntosconstruiblescomolosnoconstruiblesestnconstruidosenelsentidoderealizados

antemiinteligencia.Ensegundolugar,estarealizacineslaconstruccindeuncontenidoenla
realidadfsica,esunarealizacinintelectivamentelibreenlaFsicarealidad;esjustopostular.Y
estaconstruccinaspostuladaesconstruccindelcontenidoenlarealidadfsica.Losconjuntosde
GdelyCohenestnconstruidos(enmiconceptodeconstruccin)enlarealidadfsica.Entoncesla
construccin misma no concierne formalmente a los conceptos, no es una construccin
conceptivasinoqueesunarealizacinenlarealidadfsica,perosegnconceptos;doscosas
completamentedistintas.Yenestesentido,todoobjetomatemticoestconstruidopostuladamente.
Porestoesporloqueelobjetoasconstruidoesunaestrictarealidadquepuedetenerpropiedadeso
notassuyas,propias,ynoslopropiedadesdeducidasdelosaxiomasypostulados.Nose
tratadepropiedadesdeducidassinodepropiedadesqueestnyaformalmenteenelobjeto.Los
objetosmatemticostienensuspropiedadesdesuyoesdecirsonreales.Esqueelobjetoreal
postuladamenterealizadosegnconceptostiene,porestarrealizado,msnotasopropiedadesque
lasdefinidasensupostulacin.Porestoysloporestoesporloqueplanteaproblemasquepueden
noserresolublesconelsistemafinitodeaxiomasypostuladosquehandefinidosurealizacin.Lo
construidoenlarealidades,porestarrealizado,algomsquelopostuladoalrealizarlo.Esami
modo de ver el alcance del teorema de Gdel. No se trata de una limitacin intrnseca a las
afirmacionesaxiomticasypostuladasencuantoafirmacioneseslainterpretacinusualdedicho
teoremasinodequedejaaldescubiertoantelainteligenciaelcarcterderealidaddeloconstruido
segnlosaxiomasypostuladosencuestin.Espuesnolainsuficienciaintrnsecadeunsistemade
postulados,sinolaradicaloriginalidaddeloconstruidoporserreal;unarealidadquenoseagotaen
loquedeellasehapostulado.Esteobjetonoesunacosarealenyporsmismacomoloesesta
piedra.Peronoessloloquelorealsera,sinoloquepostuladayconstruidamenteesreal.Esa
mijuiciolainterpretacindelteoremadeGdel.Losjuiciosdelamatemticasonpuesjuiciosde
algoreal,juiciosdelorealpostulado.Nosonjuiciosacercadelserposiblesinojuiciosacerca
delarealidadpostulada.
Estaconceptuacindelarealidadmatemticaporconstruccinnoespuesunaxiomatismo
formalista,perotampocoesniremotamenteloquesehapresentadocomooposicinrigurosaaeste
axiomatismo:elintuicionismo,sobretododeBrouwer.Eselotroconceptodeconstruccinquees
precisoeliminarenesteproblema.Paraelintuicionismo,construirmatemticamentenoeslomismo
quedefiniryconstruirconceptos.Elintuicionismorechazalaideadequelamatemticasefundaen
lalgica;unademostracinqueapelaalprincipiolgicodeltertioexclusonoesparaBrouweruna
demostracinmatemtica.Lamatemticanoesunsistemadeconceptosydeoperacionesdefinidas.
Laoperacin,sihadesermatemtica,hadeseroperacinejecutada,portantooperacincompuesta

depasosfinitos.Ciertamentelamatemticanoseocupanicamentedeconjuntosfinitos,seocupa
porejemplodelosinfinitosdecimalesquecomponenunnmeroreal.Esverdadquelamatemtica
nopuedeejecutardehechotodaslasoperacionesnecesariasparaobtenerunnmeroirracional,
porquelospasosquehabraquedarhabrandeserinfinitos.Perosipuededarse,yseda,unaleyo
unareglaparairejecutandolasoperacionesindefinidamente.Elobjetodelamatemticaseran,
pueslosconjuntosfinitoscomotrminodeoperacionesejecutadassobreellos.Elintuicionismoes
radicalmenteunfinitismo.LamayoradelosmatemticosrechazaronporestolaideadeBrouwera
pesardesusgenialesaportacionesalatopologa,porqueamputarelinfinitoactualseraparaellos
anularunenormetrozodeledificomatemtico.Brouwer,senosdice,sifueraconsecuenteconsigo
mismo,severaforzadoadarporinvlidotodaunparteenormedelanlisisinfinitesimal.Perono
nosocupemosdeesteaspectodelacuestinporqueennuestroproblemaloesencialestenqueel
intuicionismo pretende oponerse al axiomatismo formalista oponiendo a las definiciones
axiomticaslas operaciones ejecutadas.Esenelfondolapuestaenmarchadeaquellaideade
KroneckersegnlacualDioscreelnmeroenteroylodemslohancreadoloshombres.El
nmeroenteroseraundatodelaintuicin,yporconsiguienteconstruirsereduciraenltima
instanciaacontarlodado.Nobastacondefinir.
Peroestaconceptuacinnoessostenibleporquenilosconjuntosporfinitosqueseanson
formalmenteintuitivos,nilasoperacionesejecutadassobreelloscontituyenloradicaldeloqueyo
entiendoporconstruccinmatemtica.
Elprimerlugar,elconjuntofinitodeBrouwernoesintuitivo.Dejandoparaotrolugardel
librolosproblemasquelaintuicinplantea,digamosdesdeahoraqueintuicineslavisinde
algo dado inmediatamente, directamente, unitariamente. En la intuicin tengo la diversidad
cualitativaycuantitativadelodado,peronuncatengounconjunto.Nohayestrictosconjuntos
intuitivos. Porque para tener un conjunto necesito considerar aisladamente, por as decirlo, los
momentos de la diversidad intuitivacomo elementos. Sloentonces su unidad constituye un
conjunto.Conjuntomatemticoessiempreysloconjuntodeelementos.Peroentoncesesclaroque
ningnconjunto,nitansiquierasiendofinito,esintuitivo.Porquelaintuicinnodasinodiversidad
demomentos,perojamsnosdaconjuntodeelementos.Paratenerunconjuntoesnecesarioun
actoulteriordeinteleccinquehagadelosmomentoselementos.Hacefaltapuesunaconstruccin.
Elllamadoconjuntofinito,presuntamentedadoenlaintuicin,noessinolaaplicacindelconjunto
yaconstruidointelectivamentealadiversidaddelodado.Estaaplicacinesjustounapostulacin:
sepostulaquelodadoseresuelveenunconjunto.Porconsiguiente,enestrictorigornopuede
llamarseintuicionismoalamatemticadeBrouwer.ElconjuntodeBrouwernoesintuitivo;esel

contenidoobjetivodeunconceptodeconjuntoqueseaplicaalointuitivo.
Ensegundolugar,laconstruccinmismadelconjuntonoesradicalmenteunsistemade
operacionesejecutadas.Digoradicalmente,porquelaejecucindeoperacionesnoesloprimario
deloquehellamadoconstruccin.Elconjuntofinitoescontenidodeconceptosobjetivos.Poresto
lasoperacionesejecutadassobreestecontenidosonoperaciones,todoloejecutadasquesequiera,
perosiempreejecutadassobrecontenidosobjetivosdeconceptos.Finitosono,losconjuntosdeque
se ocupa la matemtica de Brouwer y las operaciones sobre ellos ejecutadas son conjuntos y
operacionesconceptivas.Yporestonosonsuficientes,amimododever,parafundamentarlo
matemtico;lamatemticanotratadeconceptosobjetivossinodecosasquesonas.Loqueyo
entiendo por construccin es algo distinto. Ciertamente no es una construccin de conceptos
objetivospormeradefinicin,perotampocoesunaseriedeoperacionesdeBrouwerrepitoson
operacionessobreconceptosobjetivos.YenestepuntolamatemticadeBrouwernodifieredela
deGdelyCohen.Aloqueyomerefieroesaqueconstruirnoesejecutaroperacionesobjetivas
sinoproyectarantemiinteligenciaesecontenidoobjetivoenlarealidadfsica.Yestarealidadno
estdadaenintuicinsinoenaprehensinprimordialderealidad;estdadaimpresivamente.Como
estarealidadnotienencontenidodeterminadoyopuedoproyectarlibrementesobreellaelcontenido
de lo objetivamente construido operacionalmente. Esta proyeccin y no la operacin es la
construccin matemtica. El objeto matemtico, aunque sea finito, y aunque la operacin que
objetivamenteproduzcasucontenidoseaejecutada,tienensinembargounaradicalrealidadpropia,
larealidadFsicaimpresivamentesentidaenaprehensinprimordial.Yestoeslaconstruccin.El
conjuntofinitodeBrouwenoslonoesintuitivo,sinoqueeselresultadodeunadoblepostulacin;
elpostuladodequealointuitivamentedadoesaplicableunconjuntodeelementos,yelpostulado
deconferir alarealidadelcontenidodelconceptoobjetivo(operacionalmenteconstruido)de
conjunto.Elobjetomatemticonoesintuidosinoqueaprehendidoenaprehensinprimordial,dos
cosas completamente distintas como veremos. La libre creacin proyectada en esta doble
postulacinesintrnsecayformalmentesentiente.Slounainteligenciasentientepuedeporejemplo
nosentirelcontenidodeunconjuntocontinuo,estoeselconjuntodelosnmerosirracionales,ysin
embargo realizar libremente este contenido ( conceptuado sea por meras definiciones, sea por
operacionesejecutadas)deunmodosentiente.Elobjetomatemticoaunqueseafinito,yaunquela
operacin que lo produzca sea ejecutada tiene, repito, una realidad propia, la realidad fsica
impresivamentesentidaenaprehensinprimordial.Yestoessuconstruccin.
Endefinitiva,estarconstruido:1noesestardefinidoenelsentidodeGdelyCohen,y2
noesestarejecutadoenelsentidodeBrouwer.Laoposicinentreelaxiomatismoformalistayel

intuicionismoesunproblemainternoalamatemtica,ycomotalnoconciernealafilosofa.Para
staelproblemasehallaenconceptuarlarealidaddelomatemtico.Ydesdeestepuntodevista
axiomatismo formalista y intuicionismo no se oponen, porque ambos consiste tan solo en la
determinacindecontenidosobjetivosdeconceptos.Puesbien,construiresotracosas;escrear,es
proyectar libremente en la realidad fsica un contenido segn conceptos.Postular es postular
realidad.Sinestaconstruccinypostulacinradicalyprimariaseranimposiblestantolosaxiomas
deZermeloFraenkelyosconjuntosdeCohencomoelintuicionismodeBrouwer.
Laconstruccinmatemticaessiempreportantounactodeinteligenciasentiente.Ypor
tantoelobjetomatemticotienenrealidadpostulada.Noesunconceptoobjetivoderealidadsino
queesrealidadenconcepto.Es,insisto,larealidad,mismadecualquiercosarealsentientemente
aprehendidaperoconuncontenidolibrementeconstruidoendicharealidadsegnconceptos.Lo
postulado,repito,nosonverdadeslgicasnioperacionesejecutadas,sinoqueelcontenidodeloreal
(yadefinidooejecutado)enconstruccinyporconstruccinpostulada.Elobjetomatemticono
estconstituidoporlospostulados,sinoqueloquelospostuladosdefineneslaconstruccinante
lainteligenciadeaquellocuyarealizacinsepostula,yqueporestapostulacincobrarealidad.
Losobjetosdelamatemticasonobjetosreales,sonobjetosenlarealidad,enestamismarealidad
delaspiedrasodelosastros;ladiferenciaestenquelosobjetosmatemticosestnpostuladamente
construidosensucontenido.Lapiedraesunarealidadenyporsimisma;unespaciogeomtricoo
unnmeroirracionalsonrealidadlibrementepostulada.Esusualllamaralobjetodelamatemtica
objetoideal.Peronohayobjetosideales;losobjetosmatemticossonreales.Estonosignifica,lo
repito insistentemente, que los objetos matemticos existan como existen las piedras, pero la
diferenciaentreaquellosystasconciernetansloalcontenido,uncontenidoenelprimercaso
dado,librementepostuladoenlarealidadenelsegundo. Portantolosobjetosmatemticosno
tienenexistenciaidealsinosolamenteexistenciapostulada,postuladaperoenlarealidad.Loque
sucede es que su contenido: 1 est construido, y 2 lo est segn conceptos. Lo que tan
impropiamentesellamaidealeslorealconstruidosegnconceptos.Tantolaexistenciaocmolas
propiedadesestnpostuladamenteconstruidasenlarealidad.Portantounobjetomatemticono
esrealporsumeradefiniciniporsuejecucin,perotampocoesunobjetorealenyporsmismo
comolascosasaprehendidasenimpresinsensible.Esalgorealporunpostuladoquerealizaun
contenido(notasyexistencia)librementedeterminadograciasalapostulacin.
Comoelmomentoderealidadesjustamenteelmsdecadacosarealsentida,resultaquetodo
objetomatemticoestinscritoenlaformalidadderealidaddadaenimpresin.Esdecir,estrmino
deunainteleccinsentiente.Nosetratadequeunespaciogeomtricoounnmeroirracionalsean

sentidoscomosesienteuncolor;esosobjetosevidentementenosonsensibles,Setratadequeel
mododeinteleccindeunnmeroirracionalodeunespaciogeomtricoessentido. Yloes:1
porque se inteligen postuladamente en un campo de realidad, esto es un la formalidad dad en
primpresin de realidad, y 2 porque su construccin misma no es mera conceptuacin sino
realizacin,esdeciralgollevadoacabosentientemente.Sinsentirlomatemtico,nosepuede
construirlamatemtica.Aqusetocaconeldedotodaladiferenciaentreinteligenciasensiblee
inteligenciasentientedequelargamentehablenlaprimerapartedeestaobra.Lainteligencia
sensibleinteligeapoyadaenlossentidos:lainteligenciasentienteinteligesentientementetodo,tanto
losensiblecomonosensible.Elobjetomatemticoesrealconuncontenidolibrementeconstruido
enlarealidadfsicadadaenimpresin,yestasuconstruccineslapostulacin.
Lapropiacienciamatemticahaenunciadoentreotrascosasdosteoremacuyaesencia,amimodo
dever,escomohedicho,laanterioridaddelarealidadsobrelaverdad,elteoremadeGdel,segn
el cual o construido por postulacin tienen de suyo ms propiedades que las formalmente
postuladas,expresaamimododeverquelopostuladoesrealidadantesqueverdad.Yelteorema
(llamemosasalateoranocantorianadeconjuntos)deCohen;losconjuntosnosonslosistemas
deelementosdeterminadosporprecisapostulacin,sinoquehay,antesdeeso,conjuntosquel
llamagenricosyqueamimododevernosongenricos,sinoquesonlasimplerealizacindel
conjunto, sin las propiedades especficas determinadas por la postulacin. Las propiedades
postuladasmismasonentoncesrealidadantesqueverdaderas.Laespecificacinnoesaquuna
diferencia lgica sino una determinacin real. Es la realidad del conjunto antes que la verdad
axiomticapostulada.Amimododever,steeselsentidoesencialdelosteoremasdeGdely
Cohen;laanterioridaddelorealsobreloverdaderoenlamatemtica.