CAP1TULO III

INTRODUCCiN A LA lHETODOLOGA D~ LA
JUATEIHATfCA

l. Los. elemen tos que constituyen la estructura de laMa-

te111tica son de dos tipos: por una parte los conceptos, por
ot'ra las 1J1'01JOSiciones :y 1elaciones que se refieren a esos
conceptos. Igualmente encontraremos dos procesos diferen-
te~ ; por una parte un encadenamiento ele conceptos que
cOnstituye el proceso de conce1Jtucwi.n; por otra parte, un
e1icadenamiento o proceso de red uccin entre proposiciones
y irelaciones, que permite pasar de unas a otras, llamado
dernostmcin. El estudio de los mtodos ele conceptuacin
y ele demostracin constituye lo es-encial de la met.oclologc~
11wtemc.tica.

Conceptuacin lll lllcm tica

2. En Lgica suelen clasificnrse los conceptos en in di 1:i~
duales y especficos; los prim eros se refieren a objetos par-
-ticular es, los segundos a grupos de objetos que tienen cier-
ta~ propiedades comunes. La coleccin de objetos a los cua-
les es aplicable el concepto especfico constituye la exten-
siqn del mismo; la coleccin de propiedades que lo deter-
mnan constituye su comprensin. Cuanto m s genen1l es
ur concepto, mayor es su exten~i n y menor ~u compren-
~in , y redprocarnenle.
 INTJWDUCCI N A LA EP!STEfiW LOGA Gl

Los conceptos matem{lticos son abstractos (es decir,

t ienen su existencia en la. mente hw11ana) y resultan de
considerar objetos o gr upos de objetos (reales o pensados)
a los que se supone desprovistos de su conten ido, y slo re-
feridos a ciertas relaciones (que luego precisar-emos), de
manera que resultan identificados, desde el punto de vista
matemtico, dos objetos o grupos de objetos smejantes
tespecto a aquellas r elaciones. Resulta de aqu que Jos con-
ceptos matemticos son siempre especficos o genricos,
pero no individ uales.
La extensin de los conceptos matemticos es general-
inente infinita, no as su comprensin, la que es suscepti-
ble ele fijarse con entera precisin, agotando las propieda-
des caractersticas que Jadeterminan . Resulta ele esto que
la conceptuacin en matemticas es ms simple y perfecta
que en otras disciplinas.
Dado un cierto grupo ele propiedades, para que ellas
constituyan la comprensin de un concepto matemtico, es
necesario probar su e:-dstencia y unicidcul. Se considerar
satisfecha la condicin de existencia cuando se haya pro"
bado que hay un sistema de entes matemticos que poseen
todas esas propiedades. Se dir satisfecha la condicin de
wcidcc<l cuando se haya probado que hay un solo sistema
de entes que tiene esas propiedades. Esto ltimo requiere
una aclarac in: decir que ei s i s~ema es nico, o esencial-
mente nico)) , segn el lenguaje de Veblen, significa que,
si hay dos sistemas de entes que satisfacen al grupo de
propiedades, entre esos dos sistemas h ay un isoniorfismo,
. es decir, una correspondencia biunvoca que deje invarian-
tes esas propiedades.
Las condiciones de existencia y unicidad se traducen
matemticamente en lo siguiente : lcL int-roclttecin ele nue-
vos conceJJtos no tencl1 vcLloT si no viene aco1n1Jaadc~ JJ01'
un teo1enw o JJOst-lda.do e:tisteTwial y ot1o ele uu:iclacl.
Las diversas formas ele conce1tuacin s uelen clasifi-
62 FA U:.i'O J. TORA N ZOS

carse en creacloms y t.wutolgicas; son creadora:-; aquellas

que introd ucen un concepto que resulta ampliacin del cam-
po de conceptos de la teora, y tautolgicas aquellas que
sirven para dar un nombre a un concepto ya creado.
ltimamente se ha atribuido mucha importancia a la
di-stincin entre conceptuacin existenc-ia.l y conceptuacin
constntctiva; difieren esencialmente en la manera de pro-
bar la existencia, pues, mientras en la conceptuacin exis-
tencial se exige la demostracin de la no contradiccin del
nuevo concepto, y sin ms se afirma la existencia, en las
dcfinicioes constl;uctivas se avanza ms, dndose por pro-
bada la existencia del nuevo concepto solamente cuando se
ha establecido un mtodo de clculo que permila determi-
nar en cada caso el ente .matemtico representati-vo del
concepto.
Los tipos de conceptuacin que ms interesan a la lVla-
temtica son: 1Q, las definiciones nominales explcitas; 2<.',
las llamadas definiciones por abstraccin; 3Q, las ~Jefjn i-
ciones po_r recurren ca; 49, la axiomtica.

3. Deliniciones nom.incdes explcitas.- Este tipo de

conceptuacin, que constituye el nico tipo de definiciones
propiamente dichas, tiene por objeto 1trodueir palabras
nuevas para designar combinaciones lgicas de conceptos
ya definidos. El carcter nominal alude a que la defi-nicin
se refiere a la palabra, y rpt:esenta una convencin de len-
guaje o, mejot dicho, una economa de lenguaje, pues in-
troduce una palabra simple para representa r un concepto
complejo aunque ya conocido:
;

Ejemplo: Diremos que un nmero natural es Jm:mo

cuando no tiene otros divisores que s mismo y la tmidacb>.
Las definiciones nominales explcitas corresponden ge-
neralmente al tipo de definiciones llamadas por gnero
prximo y 'diferencia esp'ecifica o definiciones por clasifi-
cacin.
 1 NTROUUCCTN A J,A EPISTL<:~WLOGA G3

Formalmente las definiciones nominales explcitas vie-

nen expresadas por una equivalencia lgica, en uno de
cuyos miembros est el concepto definido, mientras que en
el otro est una expresin lgica en la que slo figuran
conceptos ya definidos.
Ejemplo: Designamos con N,, (<n mero primo>>, N, n-
mero natur~l distinto de cero.

Es decir, nmero primo es un nmero natural mayor

que uno y que no sea el producto ele dos nmeros natur~les
mayores que uno.
Una definicin ele este tipo constituye un.a convencin y
no una l)ro)dsicin, puesto que llO es ni verdadera ni falsa;
para distinguirla se coloca al lado de ella l signo Def.
Estas definiciones. son tautolgicas y lgicamente eli-
minables, Jo que puede realizarse reemplazando la palabra
o smbolo nuevo poi su equivalente lgico.

4. De1:niciones.1JO?' a.bst?a.ccin. - Si Jos elementos de

una clase se agrupan se~n determinado criterio en sub-
c.lases, y se consideran idnticos los elementos de cada sub-
clase, es decir, se fijn la atencin nicamente en los carac-
teres comunes de los elementos de cada subclase, no con-
si~lerando los caracteres di-ferenciales; el conjunto de los
caracteres comunes se considera como comprensin de un
nuevo concepto que se dice ha sido definido por abstraccin.
En forma simblica las definiciopes por abstraccin se
obtienen en la siguiente forma: dos conceptos se llaman
semejantes respecto a una relacin xRy, cuandolos dos po-
seen las propiedades que definen esta. relacin. Si se da
una relacin xR-y reflexiva, simtrica y transitiva (estas
condiciones son las de la igualdad), queda determinada una
clase que es el campo de la relacin, es .decir, la clase ele los
objetos ideales equivalentes respecto a la relacin clncla.
E:;ta cln::-c puede ser con:;cleracla como un nuevo objeto
id ea l que ::e dice ha sido definido po1 abstmccn.
En frmulas

que significa: cualesquiera que sean los individuos x e y de

una cierta clase A , se define una nueva clase por la fun-
cin f de tal manera que la igualdad entre funciones
f(x) ==f(y) , equivale a que entre :~ e y existe la rela-
cin xRy.
Ejemplos: se desea definir el concepto de nmero ra-
cional, supuesta conocida la teora de los n meros natura-
les. Sea Nu la clase ele los nmeros naturales, sean a, b, c.
el, nmeros naturales. Se llama nn1ero racional (y lo indi-
caremos en la forma <L/b) a una funcin ele un par de n-
meros naturales, tal que la igualdad venga caracterizada
en la siguiente forma:
a, b, e, el f: N 1 . :::>: a/b = cjct. ==. ad =be
en palabras, un nmero racional CL/b es igual a otro c/cl
cuando se verifica la igualcla~l CLcl = be entre nmeros na-
tundes.
Este proceso nos permite obtener el criterio de igualdad
y debe ser completado probando la existencia y unicidad
del nuevo concepto. El criterio de:- existencia es en este
caso la compatibilidad.
Las definiciones por abstraccin constituyen uno de los
recursos ms fecundos de la Matemtica, permitiendo con-
juntamente con las definiciones por r ecurrencia desano-
llar el1ntodo gentico mediante el cual se efectan, como
veremos ms adelante, las sucesivas ampliaciones de las
teoras de la Matemtica. As, por ejemplo, partiendo del
concepto de nmero natural se puede definir por abstrac-
cin los nmeros racionales, de stos pasar por igual ca-
mino a los reales, y ele aqu a ]o!) com piejos. En el Captu-
 INTltOOUCCION A i..A EPISTEMOLOCA 65

lo IV se desarrollan estas sucesivas ampliaciones del con-

cepto de nmero para ejemplificar el mtodo g-entico.
El mtodo gentico, que permite elevarse de los con-
ceptos simples hasta los ms complejos, tiene como norma
el principio enunciado por Hankel, llamado de zJenna-
nencia ele las leyes formales: <<al generalizars un concepto
se debe tratar ele conservar el mayor nmero de propieda-
des, y al nuevo concepto debe corresponder como caso par-
ticiar el g~neralizado>>. Esta generalizacin se realiza por
una ampliacin del contenido ele los smboloscle una teora,
ele tal manera que conserven su estructura formal.
Las definiciones por abstraccin son creadoras, puesto
que permiten ampliar el campo de los conceptos matemti-
cos. Ai resl)ecto, deben distinguirse en el proceso de las
definiciones por abstraccin dos partes; la pl'imera, que
consiste en dar un criterio de igualdad, y la segunda en
probar la existencia y unicidad del nuevo concepto; el .Poder
creador est en esta segunda parte del proceso, como lo
hace notar Couturat (11].
Russell trata de evitar la necesidad de las demostra-
ciones. ele existencia, reduciendo las demostraciones por
abstraccin a equivalencias lgicas. No acepta que las de-
finiciones creen un nuevo ente, sino que el ente es la misma
clase. Esto lleva implcita la aceptan del postulado r ea-
lista, del que nos ocuparemos en el Captulo VII.

5. DefCZ:n JJ01' 1ecw'1enc~. - Constituyen un caso

muy importante de conceptuacin matemtica las de-
finiciones por 1ectmenc-ia., as llamadas porque utilizan el
principio de induccin completa. Constituyen otro de los
recursos fundamentales del mtodo gentico. Indudable-
mente son, ms que definiciones, un mtodo de razonamien-
to construct vo.
Veamos, como ejemplo, la definicin por recurrencia -.;:-
de la suma de nmeros naturales: '
()() F'A USTO I. TOllA NZOS

Sean a y x nmeros naturales. Acep Uunos como ya de-

finidos el nmero natural y la operacin x 1 ; +( 1)
1J el principio de induccin completa C') (2)
Damos adems las siguientes definiciones explcitas
a+ O= a Def. (3)
a x +( +
1) = (a x) 1 + + Def. ( 4)
Probaremos que con estas hiptesis queda definido
+
a. x cualesquiera que sean los nmeros naturales a y x.
En efecto, por (3) resulta la definicin para O. (5)
Por ( 4) suponiendo vlida la definicin para x puede
genera1izarse para x + 1.
De (5) y (6) por la (2) resulta la definicin para to-
dos los nmeros.
Debe dh;ting-uirse en este proceso tambin, como en el
de las definiciones por absttaccin, lo que e:; propiamente
definicin, de la demostracin que sirve para justificarla,
probando la existencia y unicidad. La creacin est preci-
samente en la demostracin.

6. AxiomMica.- La axiomatizacin de una t eora con-

siste en establecer un grupo de conceptos llamados concep-
tos wimitivos y un grupo de proposiciones y relaciones lla-
madas 1YI'01)osicione.s y 1elcwiones JJr-mitivas tales que : 19,
los conceptos primitivos no se definen explcitnme11te, ni-
camente se enuncian; 2Q, las proposiciones primitivas se
aceptan como verdaderas sin demostrac.n; ~), las proposi-
ciones primitivas deben caracterizar en forma unvoca y
completa a los conceptos primitivos y tambin a las rela-
ciones primitivas que unidas a la de la Jgicr. constitu irn
los recu],:Sos operatorios con los cuales deber:1 cdificarse
deductivamente toda la disciplina.
Las proposiciones primitivas suelen llamarse indistin-
tamente axiomas o postula.clos de la teora. La caract-eriza-
cin de los conceptos prin1itivos mediante el sistema ele
(~' )
-
Este principio se estudia en 12.
 INTROIJUGGIN A J,A ErlSTJ;:~10(,0GA 67

axiomas se dice que constituye una definicin implcita de

estos conceptos.
El sistema de axiomas de una disciplina no es nico;
pueden darse diversos sistemas equivalentes e igualmente
aceptables; una misma pro-posicin puede ser axioma en
un sistema y teorema en otro. La condicin para que dos
sistemas ele axiomas sirvan de fundamento a la ,misma dis-
ciplina es que los axiomas de uno ele los sistemas, no comu-
nes con el otro, sean 'proposiciones deductibles en ste, y
viceversa.
Tericamente son posibles tantas disciplinas matem-
ticas como sistemas de postulados, desde el punto ele vista
lgico slo est regido por las siguientes condiciones que
luego analizaremos detallatlamente: com.Jutib-il-idcul, inde~
7Jendenda y satz(;l'aci.n ( integ1idad o comJJleticidcul).
, Cabe ahora la siguiente preg-unta: cul es el origen
de los axiomas? Son ellos reductibles a.principios lgicos,
o son arbitrarios, o provienen de la intuicin, o son produc-
to de la experiencia? .Muy divididas -estn al respecto las
opiniones, debiendo buscarse la solucin en el terreno fi-
losfico. Dejamos este aspecto de la cuestin para tratarlo
en el Captulo VII. Por ahora consideraremos a los axio-
mas en su aspecto formal, es decir como proposiciones con-
vencionalmente eleg-idas y a las que slo se les exige que
cumplan las tres condiciones anteriormente enunciadas.
En la Matematica el mtodo axiomtico fu iniciado
por Euclides, quien ya organiza, o pretende organi~ar, la
Matemtica, partiendo de un sistema de proposicion-es fun-
damentales, los postulados y axiom-as, ele Jos 'cuales dedu-
ce lgicamente toda la Matemtica. Aunque Euclides no
realiza su propsito en -forma perfecta, su obra significa
la mayor de las contribuciones a la metodolog-a de la Ma-
temtica.
Hilbert y su escuela 11an dado al mtodo axionultico
el alto grado de perfeccin con que actualmente Jo cono-
 liS f'AUSTO l. TOfiANZO S

cemos, habiendo llegado merced a esos trabajos a cons-

t rui rse conjuntamente con el mtodo gentico, en los m-
todos nicos con los cuales se fundamentan y desarrollan
las diferentes ramas que constituyen la Matemtica.
Dice Hilbert [15] : quisiera resumir en cuatro pala-
bras mi concepto general dBl mtodo axiomtico.
<<Seg-n mi opini11, todo lo que puede ser objeto de
pensamiento cientfico, se adquiere por el mtodo axiom-
tico, y, por tanto, e indirectament-e, por la l\1atemttica,
siempre que su forma est en sazn para una teora. lVIien-
tras ms penetremos en las capas cada vez ms profundas,
seremos ms conscientes de la unidad ele nuestros pensa-
mientos. Por ltimo, la Matemtica parece llamada a des-
empear un papel director en el edificio de las ciencias
constituclas por el mtodo axiomtico.
En efecto, en la Mecnica, en cada una de las ramas de
la Fsica y de la Qumica, en la Biologa y en general en
casi todas las disciplinas cientficas y aun en las que cons-
tituyen las humanidades, se trata ele establecer una siste-
matizacin, consistente en un encadenamiento u ordena-
cin lgica de los conceptos y proposiciones que las cons-
tituyen, ele manera que una proposicin o concepto poste-
rior est lgicamente fundamentado en los anterio res; en
esta ordenacin hay un grupo primario ele proposiciones
y conceptos. Esto nos indica que estas,.disciplinas tratall
de estructurarse conforme al mtodo axiomtico.
En el Captulo Il. ya h emos visto cmo la Lgica puede
ser fundamentada axiomticamente. En el Captulo IV en-
contramos un ejemplo de axiomatizacin ele la Aritmtica, y
en el Captulo V desarrollamos la fundam entacin axiom-
tica de la Geometra, siendo el objetivo principal de este
captulo dar un ejemplo detallado de este mtodo que tiene
una importancia capital para la fundamentacin de la Ma-
temtica.
 INTRODUCCIN A LA EPISTEMOLOGA 69

. 7. Compc~tib-iliclctcl de los axionws. - Se dice que un sis-

tema de axiomas es comJJC~tible cuando se ha probado que
operando, lgicamente con ellos no es posible llegar a de-
mostrar dos proposiciones a y ,-..,a opuestas contradictorias.
El problema ~le la com patibilid ad o de la no contmdic-
cin ele un s.istema de axiomas es el p roblema lgico por
excelencia, pues la existencia de una contradiccif1 en una
-teora la invalida completamente. Dice Hilbert [15]: por
su misma esencia, el mtodo. axiomt~co ti-ene exigencia"'
mucho ms extremas y , en par ticul ar, debe demostrarse
que, en cada caso y sobre la base de axiomas aceptados, las
contradicciones son absolutamente imposibles chmtro del
interior del campo cientf ico>> .
Para los formalists . (Hilbert y su escuela) la compa-
tibilidad tiene un contenido fundamental, pues basta ha-
berla demostrado para un sistema de axiomas para poder
&firmar la existencia de los entes que el sistema de axiomas
define, es decir, ser compatible y existir son para
. ellos sinnimos.
E l problema de ra compatibilidad ha sido atacado con
pleno xito en casi todas las teo ras matemticas ; as, por
ejemplo, Hilbert demuestra [lG-V] de una manera acaba-
da, la no contradiccin de la Geometra, aceptando la no
contradiccin de la teora de Jos nmeros reales: la aritme-
tizacin del Anlisis reduce t am!Jin stl no contradiccin
a la dt! los nmeros reales; la no contrad iccin de stos se
reduce a su vez a la de los nmeros n aturales. Por otra
parte, la compatibilidad de otras disciplinas matemticas
se reduce a la ele la teora elemental de conjuntos. Queda
as, con este proceso de reduccin, la compatibilidad ele la
Matemtica dependiendo de la compatibilidad de la arit-
mtica ele los nmeros naturales y de la teora de conjun-
tos, disciplinas que desempeii.an por esto el papel especial de
ci mientos ele la J.\Iatemtica.
Los problemas ele compatbilida,cl de la Arit:ntic~ dG
70 FAUSTO I. TORANZOS

los nmeros naturales y ele la teora de conjuntos son hoy

los problemas capitales de la fundamentacin fo rmnlisb
de la Matemtica; arduos problemas estos, aun 110 resuel-
tos totalmente. De e11os nos ocuparemos en los captu-
los VI y VII.

8. Independencia. de los sistemas de a~~ioma.s. - Se

dice que los axiomas A 1, A2 , ... , A" ele un sistema son n-
depend1entes, ctrando se demuestra la imposibilidad de que
uno cualquiera ele ellos, o parte de uno de ellos, pueda ser
deducido de los dem::;. Para probar la indcpemlcncia tle uno
de los axiomas, pr ejemplo, el A;, basta probar que es com-
patible el sisten1a formado por los dems axiomas y la ne-
gacin del A, puesto que, si esto se demostrara,.resultara
que A. no puede ser deducido de los otros, ya que al mismo
tiempo se acepta su negacin. .
Se dice que un sistema de axiomas tiene independencia
ordenada, cuando se prueba la independenda ele A~ res-
pecto de A1; de Aa respecto al sistema Ait A.~; .. ~:, de A"
respecto al sistema A 1,_A2, ... , A._,. En este, como en el
problema de la independencia, se reduce a probar la com-
patibilidad de sistemas como el siguiente: A,, A~, .. . , A;-,
"'A;. Para efectuar esto se construyen disciplinas mtifi-
ciales compatibles que sean modelos qe realicen estos sis-
t~mas de axiomas.
La historia de la Matemtica nos da un notable ejem-
plo que prueba la importancia del concepto de independen-
cia de los sistemas de axiomas: durante ms de veinte
siglos los matemticos se esforzaron infrucwosamente en
demostrar el axioma V de Euclides, o postulado de las pa-
ralelas, hasta que Gauss, Lobatschewsky, Bolyai y H.ie.niann
plantearon y resolvieron el problema. ele la independencia
de este postulado, creando las geometras no euclidiana_s,
las cuales contienen los mismos postulados que la geome-
tra euclidiana, excepto el V que se reemplaza vor su
neg-acin,
 lN'rROilUCCIN A L,\ EPISTEMOLOGA 71

9. Sa.t.1cnLcin, integridcul o con~pleticidcul de un sistema

de a.iiomas. - Correspondiendo a la unicidad en los otros
tipos de conceptuacin aparece el problema llamado de
integridad, ele saturacin o completicidacl de un sistema
de axiomas. Este problema ha sido formulado de dos ma-
neras que no son equivalentes entre ellas: una formulacin
amplia y otra ms restringida, pero ms precisa.
La formulacin amplia del problema de integridad
pede enunciars~ en la siguiente forma: sea un sistema
de axiomas A,, A~, ... A,; agregar un nuevo axioma A ..
es limitar el campo de validez del sistema. Cuando A,,, es
independiente de los anterior~s y puede ser reemplazado
por otro axioma de manera que el sistema quede compati-
ble, se dice que el sistema A, . .. , A, es bifurcable. Si des-
pus de agregar el axioma A,. resulta que el sistema A1, A2,
. . . , A .. no es bifurcable, es decir que no es posible agre-
garle otro axioma independiente, sin que el sistema deje
de ser compatible, se dice que el sistema es settzwa{lo o
completo.
Este problem!!- est ntimamente ligado a otro llamado
<<ele la determinacin que puede resumirse en la siguiente
pregunta: En una teora matemtica fundamentada axio-
mticamente, toda proposicin formulable en Jos trminos
de la teora es necesariamente demostrable o refutable?
Si el sistema ele axiomas es saturado en el sentido ante-
riormente indicado, la respuesta es afirmativa, es decir,
el sistema cumple la condicin de determinacin, puesto
que si existiera una proposicin qtJe no fuera demostrable
ni refutable podra ser tomada como axioma independiente.
Una formulacin ms restringida del problema de inte-
gridad es la dada por Veblen [18-v] y designada por l
mismo con el nombre de ccdego?icidcul; es la siguiente: se
dice que un sistema de axiomas cumple la condicin de ca-
tegoricidad cuando ellos caracterizan esencialmente un sis-
tema de entes, es clec~_r. si hay dos sistemas de entes M y
72 FAUSTO l. TORAN ZOS

M' que los satisfacen, se puede establecer entre M y 111'

un i:>omorfismo, o sea una correspondencia biunvoca que
deje invariante lns p.i' pieclacles definidas por los axiomas.
La categoricidad es ms precisa y ms fcilmente veri-
ficable que la integridad, por cuanto se refiere directamen-
te a los entes. La categoricidad corresponde a la integri-
dad (Vollstandigkeit) de Hilbert, introducida por ste,
como veremos ms adelante, como axioma, tanto en la
axiomtica del nmero real como en la de la Geometra.

Lns dcmoslracioucs mnlcm ticns

10: Se llama clemostnc.ci?i o mciocin1:o matemtico
a la combinacin o enlace de dos o ms proposiciones pa ra
obtener nuevas proposiciones y relaciones. Una proposi-
cin o relacin obtenida por ese camino de otras proposi-
ciones o relaciones anteriormente establecidas, mediante
un nmero finito de pasos, se dice decluciclct de stas o
de-mostmda. '
Todas las proposiciones y relaciones de la Matemtica
quedan clasificadas en dos tipos, las proposiciones y rela-
ciones deducidas, llamadas teore-ma.s, y las aceptadas sin
demostracin, que son las definicioi1es y los axiomas. Se
considera no justificada y debe ser eliminada toda otra
proposicin o relacin.
El esquema ele la demostracin es : "'
19 a. hiptesis
29 a :J b, demostracin
39 b tesis.
19) se sabe que la hiptesis a es verdadera, o porque
es axioma, o porque es tesis de otra demostracin ante-
riormente dada .
29) resulta por combinaciones de los procedimientos
demostrativos (que luego precisaremos) que a.:::~ b.
39 se afi rma que b es verdadera de acuerdo a la regla
de deduccin (P,.VI Cap. II).
 INTRODUCCIN A LA EPISTE~I OLOGA 73

Suele hacerse la siguiente distincin entre las demos-

tlaciones: si resultara que b est includa en a, porque es
menos general, o porque es una parte de ella, se dice que la
demostracin es tc~tttolgiCCL. Si, por el contrario, b fuera
ms general que a o heterognea con ella, es decir fuera
una afirmncin no contenida totalmente en e~. la demos-
tracin se dira c1ec~dcwa.
Se presenta ahora el problema fundamental de preci-
~ar cutles son los recursos y mtodo~ con que el matemti-
.,:::?~b
co cuenta para asegurar el paso e~::> b, es decir para de-
mostrar la propiedad b partiendo de la a. Al estudiar la
naturaleza de los razonamientos matemticos (Cap. Vli)
abordaremos esta cuestin desde el punto de vista crtico;
por ahora slo diremos que esos recursos deben pertenecer
a la Lgica o estar contenidos en los axiomas de la respec-
tiva teora. Toda disciplina que cumple con esta condicin
y con las impuestas a la conceptuacin matemtica se dice
cl-isci1Jlinc~ formctlizculc~.
La formalizacin de la Matemtica es una caracters-
tica esencial ele ella; suele tambin expresarse diciendo que
la Matemtica es una ciencia rc~cional, deductiva. o exacta.
De lo dicho anteriormente resulta que el complejo L-
giw-Sistcmc~ a-x'ont.tico, constituye la nica fuente en la
cual el mntemtico debe buscar los procedimientos que le
permitan elaborar su disciplina, o tambin se dice: todo
teo1em~ de mu~ disciplina es im1Jlicado p01 el S'iste1na de
c~xiom.as ele la cl'isci1Jl'inc~, ms los axionws de la Lgica.
A continuacin nos ocuparemos de los ms importantes
proced imientos de demostracin.

11. Demostmc-ioncs di-rectas y 1J01' 1ecluccin c~l abstw-

do.- Dadas dos proposiciones, una 1~ que llamaremos l-
JJtesis y otra t que llamaremos tesis, el enlace de estas dos
propo~iciones o sus negaciones entre s por medio del signo
:J es el tipo ms comn de los teoremas; caben-los siguien.tes
74 FAUSTO I. TOJl.ANZOS

casos: 19, h :J t que se llama teorema. dil'ecto; si es vlido

el teorema directo dir-emos que h es conclici n suficiente
pata que se cumpla t.
29, t :J h que se ilama teoremc~ Tecproco; si vale el teo-
rema recproco se dice que h es condicin necesaria para
que se cumpla t.
Si valen al mismo tiempo el teorema directo y el re-
cproco, lo que generalmente no sucede, ft = t, se dice que
h es condicin neceS-fWi(t y suficiente para que se cumpla t.
39, ....., h :J ....,t se llama teorenw contmrio. Por el princi-
pio de transposicin ....., h :J....., t . == . t :J h, es decir, el rec-
proco es equivalente al contrario.
4Q, ......, t :J ......, h se llama teorema cont1a:necJnoco. Del
principio de transpo.siin "i'es.ilta: t :J ,._., h ." . h :J t,
e-J.

es decir el directo y el contrarrecproco son equivalentes.

Esta ltima propiedad nos permite j usti:ficar un tipo
de razonamiento llamado 1J01' 1ednccin a~ absurdo}), que
es de frecuente aplicacin en las demostraciones n'i(l.tem-
ticas. El razonamiento por reducci al absurdo se efecta
en la siguiente forma: se acepta como falsa la tesis ( ~ t)
y se demuestra que con esta suposicin resulta la falsedad
de la hiptesis, es decir ,..., h.. Pero por Jo dicho anteriormen-
te esto equivale a h :J t, es 'decir, el teorema Jirecto queda
de hecho demostrado.

12. La. ind:nccin co1npleta o 1ecu1Tencia.. -Tiene im-.

portancia fundamental en la Aritmtica, y por intermedio
de ella en todas las ramas de la Matemtica, el mtodo de
clemostrcin llamado de indu.ccn c01n1Jleta o de {n(l1wcin
matemticct, que consiste en lo siguiente: si ::;e demuestra
que una propiedad es vlida 1)ara el 1mero cero, y que
la validez de la propiedad para O implica que vale tambin
para el nmero 1; si adems, por anlogo camino de la va-
lidez para 1 se deduce la validez para 2, de la 2 se deduce
la valid ez para 3, de la de 3 para 1., etc., habr un camino
 INTROOUCCIN A J,A EPIS1'EMOLOGfA 75

para demostrar que la propiedad vale para cualqui1!r n-

mero dado n.
Este procedimiento ha sido llamado tambin con ms
propiedad de ?'a.zona.-miento 1)01' Tecurrencia, y segn Jo di-
ho, consta de dos partes: 19) f (O), es decir, probar que
la propiedad vale para O. 29 (n) [f(n) :J f(n + 1)], es de~
cir para cualquier n: que la propiedad valga para un n-
mero n implica que .Ja propiedad vale para n + 1.
Quedara en esto demostrado que la propiedad es v-
lida para toC1os'1os nmeros? Si el conjunto de Jos nme-
ros naturales fuera finito, s, ya que con un nmero finito
de pasos se demostraran todos los casos particulares po-
$ibles. Pero como el conjunto de los nmeros es infinito,
no es posible agotar Jos casos particulal~es, y la. validez ge-
nerl de la propiedad debe aceptarse como axioma. En el
captulo siguierite veremos que es el tercero ele Jos cinco
axiomas con que Peano fundamenta la Aritmtica, y es co-
nocido con el nombre ele <qwincipio de induccin completa>>;
suele enuncinrse en lenguaje funcional o de comprensin
en la siguiente forma:
/(0) . (n) [f(n):J f( n+ 1)]: :J. (n) f('n)
en palabras: Si O tiene las propiedades que definen a
la funcin f; y, si para cualquier nmero n, de que n tenga
las propiedades que definen la funcin /, se deduce que
+n 1 tambin tiene esas propiedades; eso implica que todos
~--Jos nmeros naturales tien en las propiedades que definen
n la funcin /.
En leJ1guaje extensional o de clases se enuncia:
bcl.asc. od. (n) [1H k . :J. (n + l) d e]::::> . No e](

(indicando con No la clase de los nmeros .naturales) en

palabras: <<si J( es una clase a la cual pertenece O y si de
que un nmero natural cualquiera n pertenezca a la clase
J( se deduce que el n~mero n + 1 tambin pertenece a esa
 76 FAUSTO l. TORANZOS

clase, se deduce que todos los nmeros naturales pertene-

cen a la clase K>>.
La importancia fundamental del mtodo de recurren-
da reside en que permite deducir de dos demostraciones
verificables en el campo finito una conclusin aplicable a
una infinidad ele casos particulares. Este paso es el que
; hace posible construir 1a Aritmtica (como veremos en el
' Cap. IV) y permite justificar la generalidad y poder de
abstraccin del simbolismo algebraico.
Poincar atribuye al principi de induccin completa
la importancia extraordinaria de llevar en s el poder crea-
. dor de la Matemtica. Ms adelante veremos que hay mu-
:eh o de verdad en esta afirmacin.
Respecto al trminu <<i nd uccin>>, l est usado en un
;sentido diferente al que se da a esta palabra en las ciencias
:naturales, y debera aplicarse con ms propiedad el nombre
' de mtodo inductivo al que nosotros hemos llamado m-
todo gentico>>, ya que a l correspond'Cn las caractersticas
ide la induccin: ir de un concepto o proposicin a otr o ms
:general.
'
~:.:.:.; ..!. _;

J\ltodos de demost racin

, 13. Muy variados son los mtodos que para la resol ucin
!de problemas y demostracin de teorem as se uti liz<tn en
iias distintas ramas de la Matemtica. Jt-os gri-egos acos-
;htmbraban a clasificarlos en dos categoras que llamaban,
!respectivamente, mtodos sintticos y mtodos analt-icos.
\Las denominaciones no son apropiadas, pero se han con-
servado por tradicin.
Un mtodo de demostracin se llama sinttico cuando la
:demostracin se r ealiza mdiante una cadena de impl ica-
ciones y equivalencias en la cual la hiptesis del teorema a
]demostrar o el problema a resolver constituye el primer
)eslabn eh~ la cadena, y la tesis el ltimo. Este mtodo se
'presta muy bien para la exposicin de teoras y es el pre-
 tNTHOOUCClN A LA EPISTEiVI OLOC A 77

ferido por Euclides en sus obras_; se a justa en forma per-

fecta a las exigencias de la Lgica, pero t iene 'el inconve-
niente de presentar las demostraciones en algunos casos
en forma artificiosa, ya que no pone siempre de manifies to
las distintas fas-es del encadenamiento conceptual, d ificul-
tando la inlerpretacin intuitiva. ~
Los mtodos llamados analticos son orig i narios de Hi-
pcrates ele Chios y fueron fundame ntados y justificados
por Platn ; suele~ tambin llamarse 1ntodos 1ecluct-ivos..
Un mtodo reductivo consta de un doble proceso: sea 7'
a
el teorema demostrar; la primera parte consiste en su-
poner el teorema demostrado, basndose para justificar
esta afirmacin en otro teorema T 1 demost rado o no. Si el
teorema T1 hubiese sido demostrado, queda t erminada la
prin1era parte del proceso; si no, se reduce por igual cami-
no la demostracin de T 1 a la ele otro T 2, y asi siguiendo
hasta uegar a un teorema ya demost rado T,. Queda con
este l;roceso ele reduccin la demostracin de T depend ien-
do de la de T,, aunque no demostrada ; para conseguirlo es
necesario realizar el proceso inverso que. perm ita pasar de
T" a 1' por camino sinttico. Deben distinguirse cls casos:
si el proceso ele reduccin de T a T1, ele 7'1 a T2, etc., se
hace por equivalencia!'., la proposicin T es equi val ente a
7',. y no es necesario efectuar el proceso inverso. En cambio,
si esa reduccin fuese por implicacin; tendramos
1.\::l '1'~ :: 'l'J ... :: T,.
lo que no nos dice que T., :J T; es, p ues, necesario construir
la cadena in versa
T,. :: 1',. . , :::> . . . 1.\ :J T
r:on lo cual recin queda demostrado T.
Si se tmta ele la solucin de un problema, el mtodo
recluctivo consiste en reemplazar este problE;ma por otr o
ms s imple, y ste por otro, y as sig uiendo hasta llegar
a un problema ya resuelto. Luego debe r ealizarse el pro-
ceso inverso, probando que las soluciones del ltimo pr o-
78 1-'AUSTO T. 'l'ORAN:tOS

blema satisfacen tambin al primero. Al respecto pueden

ocurrir tres casos: 19, que las hiptesis o condiciones del
problema primero sean equivalentes a las del ltimo; en
ese caso se puede sin ms asegurar que las soluciones del
ltimo pi'oblema son las mismas que las del primero. 29, si
las hiptesis o condiciones de uno de los problemas ele la
sucesin, supongamos el p , son consecuencias de las del
siguiente p .. ,, las soluciones de ste son soluciones ele aqul,
pero podrn no estar todas las de P. 39, si las hiptesis o
condiciones de p,.. son consecuencias d e lns del P,
p, .. contendr las soluciones de P pero pu ede contener
otras.

14. M"toclo 1'educti:vo en ATit1nti/. y.4lgel>ra. _:_En la

demostracin y resolucin de problemas aritm ticos suele
hacerse la distincin entre mtodos aritmticos y mtodos
algebraicos; creemos que es ms p1~ecisa la dist incin entre
mtodos sintticos y mtodos reductivos, ya que los--mto-
dos tpicamente aritmticos 'son sintticos, mientras -Jos t-
picamente algebraicos son reductivos. El- ejemplo caracte-
rstico de mtodo recluctivo es el de las ecuaciones: consiste
en suponer ya resuelto el problema, representando las
soluciones por las letras finales del alfabeto llamadas in-
cgnitas; se opera. con ellas como si fueran conocidas; la
primera parte del proceso lo constituye el planteo, que es
la representacin matemtica de las condi ciones e hip-
tesis del problema mediante ciertas igualdades que contie-
nen a las incgnitas, llamadas ecua.ciones, o ciertas des-
igualdades llamadas inecuaciones. Luego se transforman
stas en otras ecuaciones o inecuaciones y nue\amente s-
tas en nuevas hasta llegar a la solucin. De acuerdo con lo
expuesto respecto al mtodo reductivo, pueden ocurrir los
siguientes casos: lQ, que la ecuacin siguiente sen equiva-
lente a la primera, la segunda a la te1cera y as siguiendo;
entonces las solucions de las ltimas son las mismas que
las de las primeras. 2<;>, que para alguna transformacin se
 INTRODUCCIN A T.A EPJS1~:MOLOGA 7!l

Yerifique que la siguiente s-ea consecuencia de la primera

sin s~r equivalente a ella; en este caso entre las soluciones
de la segunda estarn las de la primera, pe1o pueden haber
soluciones extralias; para comprobar cules son las verda-
deras soltciones es necesario realizar el proceso inverso
del mtodo reductivo, que en este caso consiste en verificar
los resultados en la ecuacin primera ; las que la satisfagan
son las verdaderas soluciones.

15. EL m.todo"'teductivo en Geomct1ia.-En Geometra

mtrica hay dos caminos para re~;olver problemas y demos-
trar teoremas por reduccin: 19, aplicando Jugares geo-
mtricos; 29, por transformaciones ele figuras .
. El mtodo de los lugares geomtricos consiste en re~
emplazar el proble;na determinado que se quiere resolver
por dos o ms problemas indeterminados, tales que las so-
luciones comunes a stos sean las soluciones buscadas. Par a
resolver cada problema indeterminado se usan los lugares
g-eomtricos: el lugar geomtrico correspondiente a una
determinada propiedad es el conjunto de elementos que
tienen esa propiedad. Para demostrar que un conjunto de
elementos -es efectivamente un lug-ar geomtrico es nece-
sa1;io probar: a) que los elementos del conju;nto satisfa-
cen la propiedad; b) que el hecho de no satisfacer la pro-
piedad implica que el elemento no pertenece al conjunto.
Para resolver un problema que contenga varias condicio-
nes, se. encuentran los Jugares geomtricos que correspon-
dan a cada una de las condiciones del problema; la inter-
seccin de los diversos lugares geomtricos ser la solucin
d~l problema.

16. Mtodo de la.s tmnsfo1'11UL.ciones.- Consiste en lo

siguiente: sea un pr oblema en el cual se pide la construc-
cin de una cierta figura F' que debe satisfacer determina-
das propiedades que indicaremos con 7J. Se trata de cons-
truir una figura F'' que sea la transformada ele F median-
~
80 FAUSTO l. T().~ANZOS

te la transformacin '1.', tal que mantenga invariantes las

propi edades p o las transforme de manera simple y mani-
fiesta en otras p' ; una vez obtenida la figura F' se aplica
la transformacin 7'- 1 que transforme F' en F . La. trans-
formacin T- 1 viene condicionada por la tr ansformacin
de la propiedad 1J' en p. ( *)
Las transforma~iones que ms se usan en la Geometra
elemental son: 1~>, traslaciones; 29, rotaciones ; 39, si me-
tra; 49, homotecias y semejanzas; 59, inversiones o trans-
formaciones por radios vectores recprocos. Las cuatro pr i-
meras se estudian en el Cap. V . Ilustraremos el mtodo de
las. inversiones con un ejemplo :
Dada una fig ura F, un punto O y un nmero 1, se dice
.que la figura F'' es la transformada c.e F'' por la inversin
de polo O y razn 1, cuando hay entre las dos figuras una
correspondencia puntual tal que a un punto X genrico de
F le corresponda un X' genrico de F'' y tal que OXXOY=r.
La inversin conser va los ngulos y las tangencias, y
transforma las rectas que no pasan por el origen en cir-
cunfer encias y viceversa; las circunferencias que no pasan
por el origen en otras circunfer encias.
Con estos datos podemos resolver el siguiente proble-
ma: traza? una circunje1'enccL que 1JC,se 7Jor clos punto.<;
clc~clos A y B y sea. tangente a mtcL ci?"Ctmferencia dada, C.
Para resolverlo, efectuemos la inversin 1 que tenga como
polo el punto A y como razn un nm~o cualquierar. Sea
B' el transformado de B y sea C' la circunferencia bans-
formacla de C. Si por B' trazo las tangent es t y t1 a C',
digo que ellas son las tr ansformadas mediante./ de las cir-
cunferencias soluciones de problemas. En efecto, aplicando
la transformacin J- 1 (transformacin inversa de 1), las
rectas t y t1 se transforman en circunferencias que pasan
por A, B y son tangentes al crculo C.

( ' ) La teor a de las tr:~ nsformac ion es geomtricas se trata en

el Cap. V.