Capítulo 2

172
La Teora de Conjuntos

Captulo 2

Despus de ti, peregrino, iremos a las cimas
Desde donde, pos y temblorosos, veremos al Eterno
Ordenar y contar en el alfabeto del cielo
Los fuegos del firmamento, los grmenes de los abismos.
Henry Eyraud
A G. Cantor

11. Introduccin a la Teora de Conjuntos de Cantor
Escolio: La teora de Cantor
1
de los conjuntos abstractos trata de los conjuntos
en general. El mismo autor desarroll tambin una teora de conjuntos de

1
Georg Ferdinand Ludwig Phillipp Cantor naci el 3 de marzo de 1845, cerca de los luminosos hielos del
Neva, en San Petersburgo. Era el primognito de un linaje de origen judoalemn: el padre, Georg
Woldemar, haba nacido en Copenhague y se haba vuelto luterano, mientas que la madre, Maria Anna
Bolm, era una juda rusa cuya madre haba adquirido la fe catlica. Desde pequeo, Cantor se haba sentido
atrado por la severa religin de sus padres as como por la msica, la pintura y la literatura, pero haba
concentrado su atencin en una sola disciplina: las matemticas. Para l, la ciencia era el vehculo de
comunicacin con la divinidad. A pesar de su fe protestante, se senta fascinado por los doctores de la
Iglesia y sus abstrusos argumentos sobre la existencia y las propiedades del creador. Estaba convencido de
que ellos haban encontrado reglas de pensamiento capaces de conducirnos, de modo natural, hacia l. A
pesar de la recurrencia de sus ataques de melancola, en 1862 consigui matricularse en la Universidad de
Zrich y, a los veintids aos, Cantor se gradu en la Universidad de Berln. Su tesis doctoral sobre teora
de los nmeros la cual, con slo veintisis pginas, lo hizo merecedor de la distincin magna cum laude
apenas adelantaba, sin embargo, el germen de sus investigaciones posteriores. En 1869 se traslad a la
Universidad de Halle. A partir de entonces, trat de armonizar todas sus preocupaciones la religin, las
matemticas y la filosofa en una sola: el estudio del infinito. Como si quisiese reconstruir la mente del
Eterno, utiliz la vieja idea tomista sobre los agregados de elementos (conjuntos) para sentar las bases de
una nueva teora de los conjuntos. Por esa misma poca, un amigo de Cantor, el matemtico Richard
Dedekind, public un libro que habra de estimularlo profundamente, titulado Continuidad y nmeros
irracionales (1872). Hasta antes de esta obra, el infinito matemtico no tena una definicin precisa y los
estudiosos deban contentarse con meras suposiciones o con los anticuados trminos derivados de la
escoltica. Con extrema elegancia, Dedekind ofreci por primera vez una consistente explicacin del
trmino. Para l, un conjunto es infinito cuando uno de sus subconjuntos tiene el mismo tamao que el
conjunto original. En 1874, Cantor contrajo matrimonio con una muchacha de nombre Velle Guttman; para
su viaje de bodas, la nueva pareja decidi visitar Interlaken, a fin de encontrarse con Dedekind, quien se
hallaba de vacaciones en la pintoresca aldea suiza. Unos meses despus, iluminado por aquellos das
festivos, Cantor comenz a escribir, sin descanso, los artculos que habran de hacerlo famoso. Se sentaba a
trabajar hasta el anochecer, inspirado por una voz que estaba seguro no slo era la suya. Como los
antiguos escribas, trazaba lo inconmensurable en unas cuantas hojas de papel con el mismo convencimiento
y la misma fe con que diriga sus oraciones matinales. Con su nueva teora de conjuntos, inspirada en las
ideas de Dedekind, Cantor estaba ahora en condiciones de intentar su propia aproximacin a lo ilimitado.
Luego de sumar y restar conjuntos, de tratarlos como abstracciones independientes de la realidad y de
amoldarlos al anlisis aritmtico tradicional, de sacudirlos e insuflarles vida propia como si fuesen sus
criaturas, lleg a un callejn sin salida: era una especie de enfermedad o de trastorno que bien podra
precipitarlo a la locura. Esta anomala, este sntoma de insania inscrito en las matemticas, surgi cuando se
173
puntos. Cantor defini conjunto como cualquier coleccin, M, de objetos
determinados y bien distintos, m, de nuestra percepcin o nuestro pensamiento
(que se denominan elementos de M), reunidos en un todo. Sin embargo, esta
definicin no incluye al conjunto vaco y por desgracia, conduce a paradojas:
Es fcil notar que existen conjuntos que son elementos de s mismos, por
ejemplo:
el conjunto de todos los conjuntos
es un conjunto que es elemento de s mismo (otro ejemplo es el conjunto
de todos los objetos pensables, es a su vez, un objeto pensable y, por lo
tanto, es un conjunto que se pertenece a s mismo). Sin embargo, la
mayora de conjuntos NO se pertenecen a s mismos: el conjunto de todos
los sombreros no es un sombrero y, por ende, NO se pertenece a s mismo;
el conjunto de todos los hombres, no es un hombre, etc. A estos conjuntos
los llamaremos normales y a los primeros anormales. Esto es,
(i) Conjunto Normal es el conjunto que NO se pertenece a s mismo.
(ii) Conjunto Anormal es el conjunto que no es normal.
Claramente, un conjunto es normal o anormal, pero no ambos.
Sea N el conjunto de TODOS los conjuntos normales. Surge ahora la
pregunta, es N un conjunto normal o anormal?

dio cuenta que el infinito s poda ser medido. A diferencia de Dedekind, Cantor repar en que los
conjuntos infinitos pueden tener distintas magnitudes o potencias. En otras palabras, Cantor determin
que haba infinitos de distintos tamaos. Si l mismo se escandalizaba de sus resultados, sus
contemporneos consideraban que aquella aritmtica era delirante. Aunque sus primeros artculos
aparecieron con sorprendente rapidez en el clebre Journal de Crelle, pronto los editores comenzaron a
retrasar la publicacin de sus envos, temerosos de arriesgar su prestigio acadmico. Pero el ms temible
ataque que sufri Cantor provena de un influyente hombre de negocios de Berln, llamado Leopold
Kronecker, a quien Cantor mismo admiraba. Azotado por la ira y el rencor de sus enemigos, Cantor sufri
una serie de ataques nerviosos que lo postraron en cama durante semanas y que posteriormente lo
sumergieron en el manicomio. No obstante, en 1884 pudo concluir un largo tratado que contena la mayor
parte de sus aportaciones a las matemticas, titulado Fundamentos de una teora general de las variedades,
cuyo principal objetivo era presentar su idea de que los conjuntos infinitos podan tener numeraciones
definidas tanto como los finitos. Para demostrarlo, no le importaba rozar las cuestiones teolgicas que tanto
le haban impresionado desde su juventud e incluso llegaba a sostener que, si bien Dios era inaprensible por
medio de la razn, era posible acercarse a l, tal como lo haban hecho los msticos, por medio de su teora.
Pero ms que los argumentos de Kronecker, fue uno de sus propios descubrimientos el que termin
arrinconndolo definitivamente a la locura. Era la hiptesis del continuo. En su aritmtica del infinito,
Cantor pensaba que no deba existir un conjunto infinito con una potencia mayor que la de los nmeros
naturales y menor que la de los nmeros reales. Por desgracia, nunca fue capaz de comprobarlo: como si
se tratase de una especie de maldicin, una muestra de la estrechez humana, que nunca lleg a solucionarse.
Desilusionado, Cantor abandon las matemticas y comenz a ensear filosofa en los escasos momentos
de paz que disfrutaba. Tembloroso y abatido, caa en frecuentes ataques depresivos que cada vez se
prolongaban ms. Crea que el ngel de las matemticas lo haba abandonado para siempre a pesar de que,
como le escribi a un amigo, Dios fuese el nico centro de su trabajo. Desesperado por la falta de pruebas a
su hiptesis del continuo, en 1899 solicit una licencia que le permitiese seguir recibiendo su pago sin la
obligacin de dar clases, a fin de consagrar su tiempo a solucionar este problema. Por fin, en 1905 se dio
por vencido. Nunca resolvera este ltimo acertijo, la sublime tortura que haba cado sobre su alma. Cantor
muri el 6 de enero de 1918, de un ataque al corazn, en una clnica para enfermos mentales.
El presente tratado tiene como una de sus metas honrar la memoria de Cantor resolviendo el problema
planteado por la Hiptesis del Continuo.
174
- Si N es un conjunto normal entonces no se pertenece a s mismo, es
decir, no es elemento de s mismo (segn la definicin de conjunto
normal). Sin embargo, N, por su misma definicin, tiene a los
conjuntos normales como elementos y como N es normal (por
hiptesis) entonces N debe ser elemento de s mismo, por
consiguiente, N es anormal contrario a lo que ya habamos
establecido!
- Si N es un conjunto anormal entonces N no es normal y, por
consiguiente, N se pertenece a s mismo. Pero si N es elemento de
s mismo es porque N es un conjunto normal (por la definicin de
N), contrario a lo que establecimos al inicio!
Claramente, N es normal y anormal! Esto es una paradoja, conocida como
la paradoja de Russell.
2

Cmo evitar esta paradoja? Una manera de hacerlo es considerar el hecho de que
N NO sea un conjunto: si N NO es un conjunto entonces la pregunta acerca de si N
es un conjunto normal o no, carece de sentido (puesto que ni siquiera llega a ser
conjunto) y, de esa cuenta, evitamos la paradoja de Russell.
Pero si N no es un conjunto entonces qu es?
Lo que haremos ser llamar clases a todos nuestros objetos bajo estudio. Luego, a
las clases las dividiremos en dos categoras: conjuntos y clases propias.
(i) Conjunto es la clase que puede ser elemento de alguna clase.
(ii) Clase Propia es la clase que no es un conjunto.
Claramente, las clases o son conjuntos o son clases propias. Notemos ahora cmo,
bajo esta nueva acepcin la paradoja de Russell desaparece (se ultradesformula):
Si N es un conjunto entonces N puede ser elemento de alguna clase, en particular,
puede ser elemento de ella misma (conjunto anormal) pero al serlo, no se

2
Bertrand Russell, tercer Conde de Russell (1872-1970), filsofo, matemtico y escritor britnico,
galardonado con el Premio Nobel de Literatura en 1950. Su nfasis en el anlisis lgico repercuti de forma
notable en el curso de la filosofa del siglo XX. Nacido en Trelleck (Gales) el 18 de mayo de 1872, estudi
Matemticas y Filosofa en el Trinity College de la Universidad de Cambridge desde 1890 hasta 1894. Tras
graduarse este ltimo ao, viaj a Francia, Alemania y Estados Unidos. Posteriormente fue nombrado
miembro del consejo de gobierno del Trinity College, centro en el cual haba empezado a impartir clases
desde su licenciatura. Al tiempo que desde su juventud mostr un acusado sentido de conciencia social, se
especializ en cuestiones de lgica y matemticas, reas sobre las que dio conferencias en muchas
instituciones de todo el mundo. Alcanz un notable xito con su primera gran obra, Los principios de la
matemtica (1903), en la que intent trasladar la matemtica al rea de la lgica filosfica para dotar a sta
de un marco cientfico preciso. Colabor durante ocho aos con el filsofo y matemtico britnico Alfred
North Whitehead en la elaboracin de la monumental obra Principia Mathematica (3 vols., 1910-1913), en
la que se mostraba que esta materia puede ser planteada en los trminos conceptuales de la lgica general,
como clase y pertenencia a una clase. Este libro se convirti en una obra maestra del pensamiento racional.
Russell y Whitehead demostraron que los nmeros pueden ser definidos como clases de un tipo
determinado, y en este proceso desarrollaron conceptos racionales y una notacin que hizo de la lgica
simblica una especializacin importante dentro del campo de la filosofa. En su siguiente gran obra, Los
problemas de la filosofa (1912), Russell recurri a la sociologa, la psicologa, la fsica y las matemticas
para refutar las doctrinas del idealismo, la escuela filosfica dominante en aquel momento, que mantena
que todos los objetos y experiencias son fruto del intelecto; Russell, una persona realista, crea que los
objetos percibidos por los sentidos poseen una realidad inherente al margen de la mente.
175
pertenece a s misma (conjunto normal). Como esto es una contradiccin,
entonces N debe ser una clase propia.
Siendo N una clase propia, la pregunta que origin la paradoja (es N un
conjunto normal o anormal?) carece de sentido, pues N ni siquiera es conjunto y,
de esa cuenta, ni es normal, ni anormal.
De hecho, el creer que toda agrupacin es un conjunto es lo que conduce
inevitablemente a la paradoja de Russell.

12. Igualdad entre Clases.

Escolio: Desarrollaremos a continuacin una teora de conjuntos basada en el
clculo de predicados del captulo anterior. De ah, que la versin, de la teora de
conjuntos que desarrollamos a continuacin es semntica. Es por ello que algunos
autores le llaman a esta versin teora de conjuntos semiaxiomtica o teora
intuitiva de conjuntos.

Definicin 1 (Trminos Primitivos):
(i) Nuestra lista de variables individuales, conocida tambin como universo
de discurso (de la teora de conjuntos), es: x, x,
(ii) Usaremos a, b, c, d, e, f, g, h, i, j, k, l,, x, y, z, a, a,, b, b,, como
metavariables individuales que toman valores a partir de las variables
individuales.
(iii) Por clase entenderemos la agrupacin (reunin), o la ausencia de ella, de
objetos definidos y separados, llamados elementos o miembros (de la
clase). A toda clase tambin es posible llamarla coleccin (o lista),
dominio y totalidad.
(iv) Llamaremos clase vaca a la coleccin cuya agrupacin de objetos
definidos y separados se halla ausente, es decir, es la clase que carece de
elementos. A la clase vaca la simbolizaremos por o bien, { }.
(v) A las clases las denotaremos por: A, B,, X, Y, Z, conocidos como
trminos. Es decir, los trminos son las variables que toman valores a
partir de las clases.
Escolio: Note que las clases incluyen a la clase vaca, dado que, segn la
definicin 1(i), una clase puede ser inclusive aquel objeto que no es agrupacin
alguna de elementos. Tambin la definicin incluye a las clases unitarias, cada
una de las cuales tiene un nico elemento. Realmente la definicin anterior slo
nos indica, de manera intuitiva, cmo es que se va a manejar el concepto de clase,
no es realmente la definicin de tal concepto. Realmente, todos los trminos que
aparecen en la definicin anterior son primitivos. La definicin anterior slo est
introduciendo la notacin a usar.

Definicin 2 (La Relacin Constante de Pertenencia o Membresa):
(i) Las siguientes funciones proposicionales se consideran equivalentes: A
pertenece a B, A es elemento de B, A es miembro de B.
176
(ii) e(A B): A pertenece a B.
(iii) AeB
A
e(A B).
(iv) AeB
A
.
(v) B, C, D,, ZeA
A
BeA.CeA.DeA..ZeA
(vi) B, C, D,, ZeA
A
BeA.CeA.DeA..ZeA.
(vii) AeBeCeeYeZ
A
AeB.BeC..YeZ.
Escolio: Ntese que la definicin anterior slo es notacional, no define realmente
lo que significa pertenecer a una clase dada. La nocin de pertenencia es un
concepto primitivo.
Cundo dos clases son iguales? cuando tienen los mismos elementos. De esa
cuenta, podramos definir la igualdad en trminos de la relacin de pertenencia
(e). Formalmente:

Definicin 3 (Igualdad entre Clases):
(i) El predicado constante denotado por =, se conoce como igualdad.
(ii) A=B: A es igual a B (donde A es conocido como el primer miembro de la
igualdad o el lado izquierdo de la igualdad y B es conocido como el
segundo miembro de la igualdad o el lado derecho de la igualdad).
(iii) A=B
A
(x)|xeAxeB|.
(iv) A= B
A
.
(v) A=B=C==Y=Z
A
A=B.B=C..Y=Z.
Escolio: La idea que deseamos transmitir con la anterior definicin es la siguiente:
dos clases son iguales siempre que tengan los mismos elementos. De esa cuenta,
puede notarse que de acuerdo a esta definicin { } { } a a a a a = , , , , an cuando las
clases { } a a a a , , , y { } a no sean idnticas sintcticamente: ellas lo son segn la
definicin 3; esto se debe a que ambas clases, tanto { } a a a a , , , como{ } a tienen el
mismo elemento: a.
De esa cuenta, A={a, b, c,} si y slo si a, b, c,eA, en donde los puntos
suspensivos, , sugieren la continuacin de los varios miembros mostrados,
pero que son posibles de especificar, uno a uno.
Surge ahora la pregunta: Ser realmente la relacin = una igualdad tal como la
definimos en el captulo anterior (definicin XXV)? Si lo es, debe satisfacer las
propiedades de reflexividad, simetra, transitividad y reemplazo. El siguiente
teorema responde a nuestras inquietudes.

Teorema 1 (Propiedades de la Igualdad entre Clases):
(i) A A = (propiedad reflexiva de la igualdad)
177
(ii) B A = A B = (propiedad simtrica fuerte de la igualdad)
(iii) ( B A = . C B = ) C A = (propiedad transitiva de la igualdad)
(i) Demostracin:
zeAzeA (a) reflexividad de la equivalencia
(teorema XVIII(ii))
(x)|xeAxeA| por generalizacin universal de (a)
(corolario I.XLV(i))
A=A por definicin 3(ii)
(ii) Demostracin:
|zeAzeB||zeBzeA| simetra de la equivalencia
(corolario II.XXIII)
(x)||xeAxeB||xeBxeA|| por generalizacin universal
(x)|xeAxeB|(x)|xeBxeA| por corolario III.LII(iv)
B A = A B = segn la proposicin smbolo anterior y la
definicin 3(ii)
(iii) Demostracin:
||zeAzeB|.|zeBzeC|||zeAzeB|
A partir de la transitividad de la
equivalencia (corolario II.XXV)
(x)|||xeAxeB|.|xeBxeC|||xeAxeB||
Por generalizacin universal de la
proposicinsmbolo anterior (corolario
I.XLV(i))
(x)||xeAxeB|.|xeBxeC||(x)|xeAxeB|
por el corolario III.LII(i)
|(x)|xeAxeB|.(x)|xeBxeC||(x)|xeAxeB|
por corolario III.LII(ii)
( B A = . C B = ) C A = segn la definicin 3(ii).

Corolario 1.1 (Propiedades de la Igualdad entre Clases)
3
:
(i) B A = A B = (simetra de la igualdad)
(ii) B A = A B =
(iii) B A = , C B = C A =
(i) Demostracin:
B A = A B = por teorema 1(ii)

3
Corolario 1.1: lase corolario 1 del teorema 1.
178
B A = A B = por la regla de doble implicacin (corolario
X.VIII(i))
(ii) Demostracin:
Si B A = entonces, ya que B A = A B = (por el corolario 1.1(i)), se
sigue que A B = , segn la regla de separacin (corolario IV.III). De ah
que B A = A B = (a partir de la definicin XIII(ii)).
(iii) Demostracin:
Si B A = y C B = entonces B A = . C B = (por regla de conjuncin
(teorema XXVII(ii)). Ya que ( B A = . C B = ) C A = (segn el
teorema 1(iii)) se sigue, a partir de la proposicinsmbolo anterior, por
aplicacin de la regla de separacin (corolario IV.III), que C A = . Es
decir, B A = , C B = C A = (por definicin XXI(i)).

Teorema 2 (Desigualdad Entre Clases): B A = (-x)|xeA xeB|.
Demostracin:
A= B segn definicin 3(iii)
por definicin 3(iii)
(-x) por teorema XLIV(i)
(-x)|xeA xeB| por corolario II.XXII(i).

Corolario 1.2 (Desigualdad Entre Clases):
(i) B A = (-x)|xeAxeB|
(ii) B A = (-x)|xeAxeB|
(i) Demostracin:
B A = (-x)|xeA xeB| por teorema 2
(-x)|xeAxeB| por corolario II.XXII(ii)y la
definicin 2(iv)
(ii) Demostracin:
B A = (-x)|xeA xeB| por teorema 2
(-x) |xeAxeB| por corolario II.XXII(iii)y la
definicin 2(iv).

13. Clase Propia y Conjunto. Clasessmbolo.

Escolio: Dado que un conjunto es una clase y las clases pueden denotarse
mediante los trminos (segn definicin 1(iii), (v)), el anterior axioma es tambin
vlido, en particular, para conjuntos: por conjunto entenderemos cualquier clase
179
que tiene la propiedad de ser elemento de alguna otra clase, es decir, los conjuntos
siempre pueden ser elementos en alguna otra clase. Formalmente: A es un
conjunto ssi (-B)|AeB|.
Sin embargo, aunque esta definicin intuitiva es correcta tendramos que
cuantificar existencialmente sobre nuestro universo del discurso que tendra como
elementos a las clases (lo cual es imposible, dado que ya establecimos en la
definicin 1(i) cul era nuestro universo del discruso: consista nicamente de
variables individuales). Esto podra hacer surgir nuevas paradojas. El nico
universo asequible para nosotros, hasta el momento, es el expuesto por la
definicin 1(i), a saber: la clase de las variables individuales (la cual an no
sabemos si es un conjunto o una clase propia). De modo que nuestra
cuantificacin universal o existencial slo puede hacerse sobre tal universo de
discurso: sobre las metavariables individuales. As, escribir (-B)|AeB| es
incorrecto (sera equivalente a un error ortogrfico).
Entonces, cmo definir un conjunto? Lo que haremos ser convenir en llamar
conjunto a cada variable individual expuesta en nuestra definicin 1(i). Esto es:

Definicin 4 (Conjunto y Clase Propia):
(i) M(A): A es un conjunto.
(ii) P
r
(A): A es una clase propia.
(iii) M(A)
A
(-x)|x=A|.
(iv) P
r
(A)
A
.
Escolio: Es decir, llamaremos clase propia a cualquier clase que no es conjunto.
De esta definicin resulta que nuestras clases son o conjuntos o clases propias.
Ntese adems que la cuantificacin existencial efectuada en la definicin
anterior, (-x)|x=A|, es correcta: se efecta sobre el universo del discurso (dado
que x slo puede tomar valores a partir de la clase de las variables individuales).
La definicin 4(iii) establece que una clase A es conjunto ssi puede verse como un
individuo (variable individual), es decir, como lo que intuitivamente entendemos
como elemento de una clase. Sin embargo, no est del todo claro cmo encaja con
nuestro concepto de conjunto dado inicialmente (a fin de evitar la paradoja de
Russell). Es decir, cmo encaja esta definicin con nuestro concepto de que un
conjunto es la clase que pertenece a alguna otra clase? Esto es precisamente lo
que aclararemos en lo que sigue.

Definicin 5 (Clasessmbolo):
(i) Diremos que una clase es definible si y slo si existe alguna proposicin
smbolo, u, tal que para cada elemento, x, de la clase, el valor de verdad
de u(x) es v. A tal clase la simbolizaremos por ( ) { } x x u y diremos que es
una clasesmbolo (o clase expresada de manera descriptiva).
Formalmente: ae ( ) { } x x u
A
( ) a u .
180
(ii) ( ) { } x x u se lee: la clase de los x tales que x satisface u.
Escolio: Ntese que la clasesmbolo no es un predicado: es un individuo, y como
tal, es necesario especificar reglas para su uso.

Definicin 6 (Especificacin de Clases):
(i) ( ) { } x x u ea
A
(-yea)(z)|zey ( ) z u |.
(ii) ( ) { } x x u e ( ) { } x x +
A
(-ye ( ) { } x x + )(z)|zey ( ) z u |.
Escolio: Cuando una clase smbolo es un conjunto, ser posible asignarle una
variable individual va la igualdad a dicha clase. Esto es, si ( ) { } x x u es un
conjunto, entonces es vlido escribir, por ejemplo: a= ( ) { } x x u (segn la
definicin 4(iii)). Antes de dar ejemplos de clasessmbolo, es necesario dejar
claro qu tipos de proposicionessmbolo admite la teora que estamos
construyendo. Tales proposicionessmbolo (permitidas dentro de la teora de
conjuntos) las llamaremos propiedades de clase o, simplemente, propiedades.

Definicin 7 (Propiedad):
(i) Cualquier proposicinsmbolo de la forma aeb, aeB, Aeb o bien AeB
es llamada propiedad (de clase).
(ii) Si u y + son propiedades (de clase) y a y b son variables individuales
entonces ae ( ) { } x x + , ( ) { } x x u eb y ( ) { } x x u e ( ) { } x x + son propiedades
(de clase).
(iii) Si u y + son propiedades (de clase) y x es una varible individual entonces
u.+, uv+, u+, u+, u +, u
~
, (-x)u y (x)u son
propiedades (de clase).
(iv) Las propiedades (de clase) slo son posibles de obtener por aplicacin de
los incisos (i)(iii), anteriores.
(v) Usaremos u, +, 0 (que se leen: fi, psi y iota) como metavariables
que toman valores a partir de las propiedades de (las) clases, las cuales
llamaremos tambin proposicionessmbolo.
Escolio: De ac en adelante, a las proposicionessmbolo desarrolladas en este
contexto de la teora de conjuntos, las llamaremos propiedades (de clase). De esa
cuenta, toda propiedad (de clase) es una proposicinsmbolo que se obtiene a
partir de la definicin anterior.

Ejemplos:
(i) aea es una propiedad que puede rescribirse como ( ) a u . Para este caso,
( ) x u es xex. Claramente, x est ligada a la propiedad.
(ii) Si ( ) A u es xeA, en este caso A est ligado, mientras que x es libre. Por
consiguiente, ( ) x u es xex.
181
Escolio: La definicin XXVII(i) es vlida en el contexto de la teora de conjuntos:
Si A tiene la propiedad u, escribiremos ( ) A u , y diremos que A es un trmino
ligado a u en el sentido que A ocurre en u. En tanto que, cualquier otro trmino o
variable que no ocurra en u, lo llamaremos libre.
Por propiedad de una clase entenderemos cualquier proposicinsmbolo de la
forma ( ) x u , donde x es algn elemento de la clase (claramente, debe ser una
expresin en smbolos, que denota alguna funcin proposicional o alguna
proposicin general en el metalenguaje, que denota alguna caracterstica
(peculiaridad) propia de la clase en cuestin). Ntese que las propiedades de clase
son realmente nuestras proposicionessmbolo (funciones proposicionales) a usar.
De esa cuenta, gracias a las anteriores definiciones, todas nuestras definiciones y
teoremas de nuestro clculo proposicional (as como del clculo de predicados)
son aplicables a nuestra teora de conjuntos ac descrita. Por ejemplo, diremos
que A ocurre en u si y slo si A aparece en u (tal como lo establecimos en la
definicin XXVII(i)).
Una vez entendido el concepto de propiedad estamos listos para termina el tema
de la igualdad entre clases: para que nuestra relacin de igualdad entre clases est
completa es necesario que satisfaga todos los requisitos de la definicin XXXV.
De los cuatro requisitos que establece tal definicin slo hace falta que se
satisfaga la propiedad de reemplazo de la igualdad. Puesto que ya hemos probado
que cumple tres de los cuatro requisitos (segn el teorema 1) para que sea
considerada una igualdad, propondremos el cuarto como una extensin de nuestro
concepto de igualdad, pero lo haremos como nuestro primer axioma.

Axioma 1 (Axioma de Extensin): Si B A = entonces A puede reemplazarse
por B donde quiera que ste ocurra (y viceversa): las expresiones resultantes son
idnticas en el sentido de no haberse alterado. Formalmente:
B A = |u(A)u(B)|.
Escolio: Sin este axioma hubiese sido imposible extender nuestro concepto de
igualdad de clases al concepto de igualdad entre objetos, ya dado anteriormente
(definicin XXXV).

Teorema 3 (Propiedad de Reemplazo de la Igualdad Entre Clases):
Si B A = entonces
(i) u(A)u(B)
(ii) u(B) u(A)
(i) Demostracin:
Si B A = entonces, ya que B A = |u(A)u(B)| (a partir del axioma
I), se sigue que:
u(A)u(B) por corolario IV.III
u(A)u(B) a partir del corolario X.VIII(i)
u(B) a partir del corolario IV.III
Luego, u(A)u(B) (a partir de la definicin XIII(ii)).
182
(ii) Demostracin:
Si B A = entonces, ya que B A = |u(A)u(B)| (a partir del axioma
I), se sigue que:
u(A)u(B) por corolario IV.III
u(B)u(A) a partir del corolario X.VIII(i)
u(A) a partir del corolario IV.III
Luego, u(B)u(A) (a partir de la definicin XIII(ii)).
Escolio: Existirn clasessmbolo que sean conjuntos? Es decir, existirn clases
definibles que sean conjuntos? Responder a esa pregunta equivale a hallar alguna
propiedad de clase u(x) tal que a= ( ) { } x x u . El siguiente teorema responde a esta
pregunta.

Teorema 4: a={x,xea}
Demostracin:
zeazea por teorema XVIII(ii).
zeaze{x,xea} por definicin 5(i)
(y)|yeaye{x,xea}| por corolario I.XLV(i)
a={x,xea} segn definicin 3(ii).
Escolio: La interpretacin del teorema anterior va mucho ms all de una simple
igualdad entre una variable individual, a, y la clasesmbolo {x,xea}: realmente
expresa que toda variable individual es realmente una clasesmbolo, es decir,
una clase definible. En otras palabras, el teorema anterior establece que todo lo
que hemos desarrollado para las clases es vlido para las variables individuales
(conjuntos). Hasta el momento no sabamos si, por ejemplo, la igualdad entre
clases (definicin 3(ii)) era vlida tambin para variables individuales. El teorema
anterior establece que todos los teoremas desarrollados hasta el momento son
aplicables tambin para las variables individuales porque, en efecto, tales
variables individuales son tambin clases (aunque, claramente, no toda clase es
una variable individual). De aqu en adelante, usaremos la definicin 3 tanto para
clasessmbolo como para variables individuales o incluso, entre clasessmbolo
y variables individuales, indistintamente.
Del teorema anterior, se sigue que, en particular, la clasesmbolo: {x,xea} es un
conjunto, tal como se afirma en el siguiente teorema.

Corolario 1.4: M({x,xea}).
Demostracin:
a={x,xea} segn el teorema 4
(-y)|y={x,xea}| por corolario I.XLV(ii)
183
M({x,xea}) a partir de la definicin 4(iii).
Escolio: La definicin 4(iii) expresa lo siguiente: A es un conjunto ssi es una
variable individual. Es decir, las variables individuales de nuestra lista, dada en la
definicin 1(i), son realmente los conjuntos. Esto se expresa, claramente, en el
siguiente teorema:

Corolario 2.4: (x)M(x).
Demostracin:
{x,xea}={x,xea} a partir del teorema 1(i)
a=a a partir de los teoremas 4 y 3
(y)| y=y| por corolario I.XLV(ii)
(-y)| y=y| por corolario I.XLI(ii)
M(y) por definicin 4(iii)
(x)M(x) por corolario I.XLV(i).
Escolio: A la luz del anterior teorema, a los conjuntos los denotaremos por las
mismas metavariables individuales: a, b, c,, x, y, z, de aqu en adelante.
Ocurrir algo similar con la lista de todos nuestros trminos? Es decir, segn la
definicin 1(v), todas las variables A, B,, X, Y, Z toman valores a partir de las
clases, pero ser posible asignarle a todo trmino una clasesmbolo que sea
idnticamente igual a dicho trmino, de igual manera como ocurri para las
variables individuales? El siguiente teorema responde esta pregunta.

Lema 1.5: A={x,xeA}
Demostracin:
zeAzeA por teorema XVIII(ii).
zeAze{x,xeA} por definicin 5(i)
(y)|yeAye{x,xeA}| por corolario I.XLV(i)
A={x,xeA} segn definicin 3(ii).
Escolio: El teorema anterior afirma que todo trmino es posible representarlo
como una clasesmbolo.
En este punto podemos contestar ahora a la pregunta expuesta anteriormente:
Cmo encaja la definicin de conjunto con nuestro concepto de que un conjunto
es la clase que pertenece a alguna otra clase? El siguiente teorema responde a esta
pregunta:

Teorema 5: AeB(-x)|x=A.xeB|.
Demostracin:
{x,xeA}e{x,xeB}(-ye{x,xeB})(z)|zey zeA|
por definicin 6(ii)
184
AeB(-yeB)|y =A| a partir del lema 1.5, el teorema 3 y
la definicin 3(ii).
AeB(-y)| yeB.y =A| por definicin XXXIII(xii)
AeB(-y)| y =A.yeB| por definicin XXXIII(xii).
Escolio: El teorema anterior afirma que toda clase, A, que sea elemento de alguna
otra clase, B, siempre ser posible verla como variable individual, es decir,
como conjunto. El siguiente corolario no deja lugar a dudas acerca de esta ltima
afirmacin.

Corolario 1.5: AeBM(A).
Demostracin:
AeB(-x)|x=A.xeB| a partir del teorema 5
(-x)|x=A| por el corolario I.LIII(ii) y el
corolario II.VI(iii)
M(A) por definicin 4(iii).
Escolio: De esa cuenta, la definicin 4(iii) cumple con el propsito original:
nuestra idea intuitiva acerca de lo que es conjunto (a fin de evitar la paradoja de
Russell). Sin embargo, el teorema anterior slo afirma que cuando un trmino
pertenece a otro, el primero es siempre un conjunto tendremos el mismo
resultado para cuando la clase a considerar sea elemento de alguna clasesmbolo?
Es decir, seguir siendo vlido afirmar que cualquier clase que sea elemento de
alguna clasesmbolo siempre es conjunto? los siguientes teoremas responden a
esta pregunta.

Corolario 2.5: P
r
(A)AeB.
Demostracin:
AeBM(A) (a) por corolario 1.5
(b) a partir de (a) y del corolario VII.IX(i)
P
r
(A)AeB a partir de (b) y las definiciones 4(iv), 2(iv).
Escolio: Este teorema nos confirma que la definicin elegida para clase propia es
la adecuada: en la introduccin a este captulo habamos establecido en llamar
clases propias a aquellas que no fuesen conjuntos, es decir, aquellas clases que
no pueden ser elementos de clase alguna. La idea intuitiva de una clase propia es
la siguiente: es una clase tan grande, tan gigantesca, que es imposible verla como
un individuo y, por ende, jams como elemento de clase alguna.

Corolario 3.5: Ae ( ) { } x x u |M(A).u(A)|.
Demostracin (por Doble Implicacin):
Parte 1 (): Ae ( ) { } x x u |M(A).u(A)| (a)
En efecto,
185
Ae ( ) { } x x u M(A) (b) a partir del corolario 1.5
Ae ( ) { } x x u u(A) (c) segn la definicin 5(i)
Ae ( ) { } x x u u(A) (d) a partir de (c) y del corolario
X.VIII(i)
|Ae ( ) { } x x u .Ae ( ) { } x x u ||M(A).u(A)|
a partir de (b) y (d) y del
corolario IV.XXXVII(ii)
Ae ( ) { } x x u |M(A).u(A)| por el corolario II.XXXVI(ii)
Parte 2 (:): |M(A).u(A)|Ae ( ) { } x x u (b)
En efecto,
|M(A).u(A)|u(A) por corolario II.VI(iv)
Ae ( ) { } x x u por definicin 5(i)
De las propiedades (a) y (b) se sigue la tesis (a partir del corolario V.VIII y la
definicin XVII).
Escolio: Hasta ahora hemos hallado una clasesmbolo que es conjunto, a saber
{x,xea}, habrn ms? y qu decir de las clases propias? Hasta el momento no
hemos hallado alguna. Realmente existen?

Definicin 8:
(i) R
A
={x,xex} (la clase de Russell)
(ii) U
A
={x,x=x} (la clase Universal)
(iii) 0
A
={x,x = x} (el Cero)
(iv) { } b a,
A
={x,x=a vx=b} (la clase binaria)
(v) { } a
A
= { } a a, (la clase unitaria)
Escolio: Como veremos en el siguiente teorema, R es precisamente la clase de
Russell, es decir, la clase de todos los conjuntos normales que consideramos al
inicio. Por ende, es nuestro primer ejemplo de clase propia. Por otro lado, U, es
llamada la clase universal, por el hecho de que tiene como elementos a todos los
conjuntos de nuestra teora: pues, de acuerdo a nuestro teorema 1(i), dado que
todo conjunto es igual a s mismo, en dicha clase se hallan todos los conjuntos
(recuerde que, como las clases propias no pueden pertenecer a ninguna clase, U
slo tiene como elementos a los conjuntos). Finalmente, la clase {x,x=x}
denotada por el smbolo 0 (cero), tambin conocida como la clase cero, ser de
vital importancia en la construccin de los nmeros naturales que veremos ms
adelante. Como veremos a continuacin, el cero es precisamente la clase vaca.
186
A la clase {x,x=a vx=b} la representaremos de ac en adelante simplemente por
la clase binaria { } b a, , mientras que a la clase {x,x=a} por la clase unitaria { } a .

Teorema 6:
(i) P
r
(R).
(ii) 0= (es decir, el cero es la clase vaca).
(i) Demostracin (por Contradiccin):
Si M(R) entonces
Re{x,xex}|M(R).ReR| (a) a partir del corolario 3.5
ReRReR a partir de (a), la definicin 8(i), la
hiptesis y el corolario II.XXXIV(ii)
lo que contradice al teorema XVIII(ii) (a partir del corolario III.XXIV(iii)).
P
r
(R) a partir del corolario V.X(ii) y la
definicin XIX.
(ii) Demostracin (por Contradiccin):
Supongamos que la clase smbolo {x,x=x} tiene algn elemento: sea ste,
z. Es decir, supongamos que ze{x,x=x}.
Entonces, de la definicin 5(i), se sigue que z=z, lo cual contradice el
teorema 1(i). Luego, nuestra suposicin inicial es falsa, es decir, {x,x=x}
NO tiene elemento alguno, es decir, {x,x=x}= (a partir de la definicin
1(iv)). Por consiguiente, de la igualdad anterior, 0= (segn la definicin
8(iii) y el teorema 3).
Escolio: La demostracin del teorema 6(i), redactada en el metalenguaje, sera
como sigue:
si R fuese un conjunto entonces, dado que R comprende a todos los
conjuntos x tales que xex, entonces resultara vlida la pregunta: es R tal
que satisface la propiedad xex, o no? Es decir, ser R elemento de s
mismo o no?
Caso 1: si Re{x,xex}, es decir, ReR (a partir de la definicin 8(i)),
entonces ReR (por definiciones 5(i) y 8(i)), es decir,
Re{x,xex} (por definicin 8(i)), lo que contradice la hiptesis
de este caso.
Caso 2: si Re{x,xex}, es decir, ReR (por la definicin 8(i)), se sigue
que Re{x,xex} (por definiciones 5(i) y 8(i)), lo que contradice
la hiptesis de este caso.
Como en ambos casos se llega a una contradiccin de la forma:
ReRReR
187
Entonces nuestra suposicin inicial (R es un conjunto) debe ser falsa y, por
lo tanto, R es una clase propia (a partir de la definicin 1(v)), como se
quera probar.
Puede apreciarse la simplicidad y la elegancia al hacer uso del clculo de
predicados en las demostraciones.
Es necesario notar que el lema 1.5 afirma que toda clase, ya sea conjunto o clase
propia, es posible representarlo mediante una clasesmbolo. De modo que la
clasesmbolo, ( ) { } x x u , ser un conjunto o una clase propia dependiendo de la
propiedad, ( ) x u : si la propiedad, por ejemplo, es xea entonces la clasesmbolo
es un conjunto (teorema 4); pero si la propiedad es xex, la clase smbolo ser una
clase propia (teorema 6(i) y definicin 8(i)).
Por otro lado, al menos en nuestra teora el cero y la clase vaca son iguales, por
consiguiente es posible intercambiar 0 por , y viceversa.
Aunque hemos logrado establecer que R es una clase propia, an nada sabemos
acerca de si U y , por ejemplo, son clases propias o conjuntos. Lo que sigue a
continuacin est encaminado a contestar esta inquietud.
A fin de evitar las paradojas en nuestra teora intuitiva de conjuntos ser necesario
establecer postulados, no contradictorios, en la misma. Por ejemplo, nos gustara
establecer que las clases como {a, b, c} fuesen conjuntos, a fin de que puedan ser
elementos de alguna clase. Para el efecto, propondremos el axioma de
apareamiento.

Teorema 7: ( ) { } x x u = ( ) { } x x + (y)|u(y)+(y)|
Demostracin:
( ) { } x x u = ( ) { } x x + (y)|ye ( ) { } x x u ye ( ) { } x x + | por definicin 3(ii)
(y)|u(y)+(y)| por definicin 5(i).
Escolio: Lo que afirma el teorema anterior es lo siguiente: siempre que dos
propiedades, u y +, sean equivalentes (independientemente del individuo que las
instancia), ambas definirn dos clases iguales.

Corolario 1.7:
(i) ( ) { } x x u = ( ) { } x x + (y)|u(y)+(y)|
(ii) (y)|u(y)+(y)| ( ) { } x x u = ( ) { } x x +
(i) Demostracin:
Si ( ) { } x x u = ( ) { } x x + entonces, ya que:
( ) { } x x u = ( ) { } x x + (y)|u(y)+(y)|
(a partir del teorema 7 y de la aplicacin del corolario X.VIII(i))
se sigue que:
(y)|u(y)+(y)| por el corolario IV.III
188
( ) { } x x u = ( ) { } x x + (y)|u(y)+(y)| por la definicin XIII(ii)
(ii) Demostracin:
Si (y)|u(y)+(y)| entonces, ya que:
(y)|u(y)+(y)| ( ) { } x x u = ( ) { } x x +
(a partir del teorema 7 y de la aplicacin del corolario X.VIII(ii))
se sigue que:
( ) { } x x u = ( ) { } x x + por el corolario IV.III
(y)|u(y)+(y)| ( ) { } x x u = ( ) { } x x + por la definicin XIII(ii).

14. Propiedades Elementales de las Clases.

Escolio: Nuestro deseo es poder trabajar con una teora de conjuntos que permita
clases tan complejas como la siguiente: { } { } { } { } b a b a a , , , , , la cual posee tres
elementos, a saber: a, { } b a, y { } { } b a, . Pero para que tales clases existan, es
necesario proponer el siguiente axioma:

Axioma 2 (Axioma de Apareamiento): Cualquier clase de la forma {a, b} es
un conjunto. Formalmente: (a)(b)M({a, b}).

Teorema 8:
(i) { } a ={x,x=a}
(ii) M({a})
(iii) xe{a, b}|x=avx=b|
(iv) xe{a}x=a.
(v) { } a ={ } b a=b
(vi) { } a ={ } c b, a=b=c.
(vii) {a, b}={b, a}
(i) Demostracin:
{ } a ={ } a a, por definicin 8(v)
={x,x=a vx=a} a partir de la definicin 8(iv)
={x,x=a} por los corolarios II.XXXVI(i),
I.VII(ii)
(ii) Demostracin:
M({a, b}) por el axioma 2
M({a}) por teorema 8(i) y el teorema 3(ii)
(iii) Demostracin:
189
xe{a, b}{x,x=a vx=b} por definicin 8(iv)
|x=avx=b| por definicin 5(i)
(iv) Demostracin:
xe{a}xe{z,z=a} por teorema 8(i) y el axioma 1
x=a por definicin 5(i)
(v) Demostracin (por Doble Implicacin):
Parte 1 (): { } a ={ } b {x,x=a}={x,x=b} por teorema 8(i)
(y)|y=ay=b| por teorema 7
|a=aa=b| por teorema XLVII(ii)
a=b por teorema 1(i) y el
corolario II.XXXV(ii)
Parte 2 (:): a=b(y)|y=ay=b| por el axioma 1.
{x,x=a}={x,x=b} por teorema 7
{ } a ={ } b por teorema 8(i)
(vi) Demostracin (por Doble Implicacin):
Parte 1 (): { } a ={ } c b, {x,x=a}={x,x=b vx=c}
por teorema 8(i) y definicin
8(iv)
(y)|y=a(y=bvy=c)| (a) por teorema 7
|b=a(b=bvb=c)|
por (a) y el teorema XLVII(ii)
|b=ab=b| por el corolario II.XXXIII(ii)
a=b (b) por corolario II.XXXV(ii) y el
teorema 1(ii)
De igual manera:
{ } a ={ } c b, |c=a(c=bvc=c)|
por (a) y el teorema XLVII(ii)
|c=ac=c| por el corolario II.XXXIII(ii)
a=c (c) por corolario II.XXXV(ii) y el
teorema 1(ii)
As, de (b) y (c) se sigue que:
{ } a ={ } c b, |a=b.a=c| a partir de los corolarios
II.XXXVII(ii) y II.XXXVI(ii)
a=b=c por definicin 3(iv)
Parte 2 (:): a=b=c|a=b.a=c| por definicin 3(iv)
|(z=az=b).(z=az=c)|
190
por el axioma 1, los corolarios
IV.XXXVII(ii), II.XXXVI(ii)
(y)|y=a(y=bvy=c)|
por los corolarios
II.XXXVII(i),II.XXXVI(ii) y I.XLV(i)
{x,x=a}={x,x=b vx=c} por teorema 7.
(vii) Demostracin:
(z=avz=b)(z=bvz=a) por corolario II.XXX(ii)
(y)| (y=avy=b)(y=bvy=a)| por corolario I.XLV(i)
{x,x=avx=b}={x,x=bvx=a} por el corolario 1.7/i
{a, b}={b, a} a partir de la definicin
8(iv).
Escolio: De modo que la clase unitaria, { } a , es un conjunto. Pero qu decir de
las clases de tres o ms elementos? Para contestar a esta pregunta, introduciremos
el concepto de unin de clases y la unin generalizada de clases. Intuitivamente,
por unin de clases, la cual simbolizaremos por (smbolo que se coloca entre
las clases), se entender la reunin de los elementos de la primera clase con los
elementos de la segunda clase en una sola clase:
(i) Si A={a, b, c, d} y B={a, b, e, f, g} entonces
AB={a, b, c, d, a, b, e, f, g}={a, b, c, d, e, f, g}
(ii) Si D={a} y F ={a, b, e} entonces
DF={a, a, b, e }={a, b, e}
Ahora bien, si consideramos clases ms complejas como la siguiente clase binaria:
C={{e, f, g}, {a, b, c, g}}
Entonces es posible definir una unin generalizada de clases, la cual consiste en
la unin de todos los elementos de la clase:
C={{e, f, g}, {a, b, c, g}}={e, f, g}{a, b, c, g}={a, b, c, e, f, g}
De esa cuenta, sera factible escribir:
A=((ab)c)d
(siempre y cuando no se haya probado la asociatividad de esta operacin entre
clases no se nos es permitido quitar los signos de agrupacin).
Por otro lado, por interseccin entre clases, lo cual se simboliza por (que se
coloca entre las clases) entenderemos los elementos que tienen en comn las
clases que se intersectan:
(iii) Si A={a, b, c, d} y B={a, b, e, f, g} entonces
AB={a, b}
(iv) Si D={a} y F ={a, b, e} entonces
DF={a}
191
En general, podramos definir ahora la interseccin generalizada de clases, la
cual consistira en la interseccin de los elementos de la clase: por ejemplo, si
C={{e, f, g}, {a, b, c, g}}
Entonces
C={e, f, g}{a, b, c, g}={g}
En particular, A=((ab)c)d.

Definicin 9 (Unin Generalizada y Unin entre clases):
(i) A
A
={x(-yeA)|xey|}.
(ii) AB
A
= {xxeAvxeB}.
Escolio: La unin de dos clases es la clase formada por los elementos de una de
las clases o bien de la otra, o de ambas.
Estamos listos para contestar la pregunta antes planteada: cmo saber si las
clases de tres o ms elementos son clases propias o conjuntos? La cuestin se
decide a partir del siguiente axioma.

Axioma 3 (Axioma de Uniones): La unin generalizada de un conjunto sigue
siendo un conjunto. Formalmente: (a)M(a)

Lema 1.9: xeAB |xeAvxeB|.
Demostracin:
xeAB xe{z,zeAvzeB} a partir de la definicin 9(ii)

xeABxeAvxeB segn la definicin 5(i).

Lema 2.9: (xez.z=a)xea.
Parte 1 (): (xez.z=a)xea.
En efecto, si xez.z=a entonces xez y z=a (a partir del corolario
IV.VI(iii), (iv)). Pero, si z=a entonces de xez se deduce xea (por
teorema 3(i)). As, (xez.z=a)xea (a partir de los resultados
anteriores y el postulado III).
Parte 2 (:): xea(xez.z=a).
En efecto, si xea entonces xez, si z=a (a partir del teorema 3(i)).
Luego, xez.z=a (a partir del corolario IV.VI(iii)). Es decir,
xea(xez.z=a) (a partir de los resultados anteriores y del
postulado III).
192

Lema 3.9: |xeavxeb|(-y)|xey.ye{a, b}|.
Demostracin:
En efecto,
xez xez (a) por teorema XVIII(ii)
ze{a, b}|z=avz=b| (b) por teorema 8(iii)
|xez.ze{a, b}||xez.|z=avz=b||. (c) por (a), (b) y el
corolario I.XXXVIII(ii)
(-y)|xey.ye{a, b}||xez.ze{a, b}| (d) por corolario I.LI
(-y)|xey.ye{a, b}||xez.|z=avz=b|| por (d), (b) y la regla
de reemplazo
(corolario I.IV)
(-y)|xey.ye{a, b}||(xez.z=a)v(xez.z=b)| por corolario
II.XXXII
|xeavxeb| a partir del lema 2.9 y el
corolario I.IV.
La tesis se sigue de la simetra de la equivalencia (corolario II.XXXIII).

Teorema 9: ab={a, b}
Demostracin:
zeab|zeavzeb| por lema 1.9
(-y)|zey.ye{a, b}| por lema 3.9
(-ye{a, b})|zey| por notacin (definicin XXXIII(xii)).
ze{a, b} por definiciones 9(i), 5(i)
(x)|xeabxe{a, b}| por generalizacin universal
(corolario I.XLV(ii))
ab={a, b} por definicin 3(ii).
Escolio: De acuerdo a este teorema, sabemos fehacientemente, que la definicin
dada para la unin generalizada (definicin 9(i)) funciona como debiera: uniendo
los elementos de una clase.

Corolario 1.9: (a)(b)M(ab).
Demostracin:
M({x, y}) por el axioma 2
M({x, y}) a partir del axioma 3
M(xy) a partir del teorema 9 y el teorema 3.
193
(a)(b)M(ab) por generalizacin universal (corolario I.XLV(i)).
Escolio: De modo que la unin de dos conjuntos es un conjunto. As, ya que {a}
es un conjunto (teorema 8(ii)) y puesto que {b, c} tambin lo es (axioma 2), se
sigue que:
{a}{b, c}={a, b, c}
tambin es un conjunto. Esto responde nuestras inquietudes acerca de los
conjuntos de tres o ms elementos: todos ellos son conjuntos (basta aadirle, va
la unin de clases, un elemento ms al conjunto previo a fin de construir el
siguiente conjunto ms grande).

Lema 1.10:
(i) (-x)|xe|x=x
(ii) {x(-y)|ye|}=
(i) Demostracin:
(-x)|xe|xe por instanciacin universal (corolario
I.LI(i))
xe{y,y=y} a partir del teorema 6(ii), la definicin 8(iii)
y el axioma 1.
x=x (a) por definicin 5(i).
(ii) Demostracin:
(z)|(-y)|ye|y=y| generalizacin universal de la propiedad del
inciso anterior (corolario I.XLV(i)).
{x(-y)|ye|}={x,x = x} por corolario 1.7
= por definicin 8(iii) y teorema
6(ii).

Teorema 10:
(i) (x)|xe| (la clase vaca no tiene elemento alguno).
(ii) (x)|xeU | (todo conjunto es elemento del universo).
(iii) AA=A (idempotencia de la unin de clases)
(iv) AB=BA (conmutatividad de la unin de clases)
(v) (AB)C=A(BC) (asociatividad de la unin de clases)
(vi) A=A=A (elemento neutro de la unin de clases)
(vii) AU =U A=U (elemento atractor de la unin de clases)
(viii) =
(i) Demostracin:
(-x)|xe|x=x por lema 1.10(i)
194
x=x(x)|xe|
A partir de la negacin de ambos lados de la
equivalencia establecida por (a), la propiedad
inicial (por corolario IV.XXXV(i) y teorema
XLIVI(ii)).
x=x por teorema 1(i)
(x)|xe| a partir de la regla de reemplazo (corolario I.IV)
(ii) Demostracin:
xeUx=x por definiciones 8(ii), 5(i)
xeU a partir de la regla de reemplazo (corolario I.IV)
La tesis se sigue de la generalizacin universal de la propiedad anterior
(corolario I.XLV(i)).
(iii) Demostracin:
AA={x,xeAvxeA} por definicin 9(ii)
={x,xeA} por idempotencia (corolario II.XXXVI(ii)) y
el teorema 7
=A por lema 1.5
(iv) Demostracin:
AB={x,xeAvxeB} por definicin 9(ii)
={x,xeBvxeA} por conmutatividad de la propiedad
(corolario II.XXX), la generalizacin
universal de la propiedad (corolario
I.XLV(i)) y el corolario 1.7.
= BA por definicin 9(ii).
(v) Demostracin:
ze(AB)C|zeABvzeC| por lema 1.9
|(zeAvxeB)vzeC| por lema 1.9
|zeAv(zeBvzeC)| asociatividad disyuntiva
(corolario II.XXXI(i))
|zeAvzeBC| por lema 1.9
zeA(BC) por lema 1.9
(x)|xe(AB)CxeA(BC)|
por generalizacin universal de la propiedad
anterior (corolario I.XLV(i))
(AB)C=A(BC) a partir de la propiedad anterior y la
definicin 1(ii)).
(vi) Demostracin:
195
A ={x,xeAvxe} por definicin 9(ii)
={x,xeA} ya que xe es imposible (teorema 10(i),
corolario II.XXXIII(i))
=A por lema 1.5
Adems, A = A (por teorema 10(iii)). De esta igualdad y de la
anterior se sigue la tesis (por teorema 3(ii), (iii)).
(vii) Demostracin:
AU ={x,xeAvxeU } por definicin 9(ii)
={x,xeU } del teorema 10(ii), el corolario II.XXXIII(ii) y el
corolario 1.7
= U por lema 1.5
La tesis se sigue de la conmutatividad de la unin entre clases (teorema
10(iv)) y la definicin 3(iv).
(viii) Demostracin:
={x(-ye)|xey|} por definicin 9(i)
={x(-y)|ye.xey|} por definicin XXXIII(xii)
={x(-y)|ye|} por teorema 10(i), la simplificacin
conjuntiva (corolario II.XXXIV(i)) y
el corolario 1.7
= por lema 1.10(ii).

Corolario 1.10: {a}=a.
Demostracin:
{a}={a, a} por definicin (v)
= aa por teorema 11
=a por teorema 10(ii).
Escolio: Continuando ahora, con la interseccin generalizada y la interseccin
entre clases y, basndonos en las ideas previas para su formulacin, tenemos as la
siguiente definicin:

Definicin 10 (Interseccin Generalizada e Interseccin entre clases):
(i) A
A
={x(yeA)|xey|}.
(ii) AB
A
= {xxeA.xeB}.

Lema 1.11: xeAB |xeA.xeB|.
Demostracin:
xeAB xe{z,zeA.zeB} a partir de la definicin 10(ii)

196
xeABxeA.xeB segn la definicin 5(i).

Lema 2.11: (y)|y=axey|xea.
Parte 1 ( (por contrapuesta)): (y)|y=axey|xea.
En efecto, si xea entonces xez para algn z=a (segn axioma 1 y
teorema 3), es decir, (-y=a)|xez| (escribiendo formalmente la
anterior proposicin) o, lo que es lo mismo, (-y)|y=a.xez| (por
notacin, a partir de la definicin XXXIII(xii)). Hemos probado as
que:
xea(-y)|y=a.xez| (a)
(a partir de los argumentos anteriores y del postulado III).
(y)|y=axey|xea
(a partir de la propiedad (a), la regla de contrapuesta (el corolario
VII.IX), la vaciedad (corolario II.XL), la definicin 2(iv) y la doble
negacin (corolario II.XX(ii)).
Parte 2 (:): xea(y)|y=axey|
En efecto,
xea(xez.z=a) por lema 1.9
(z=a.xez) conmutatividad de la conjuncin
(corolario II.XXX(ii))
(z=axez) por demostracin condicional
(corolario II.XIX(ii))
xea(y)|y=axey| por regla de introduccin
(corolario I.L(i)).

Lema 3.11: |xea.xeb|(y)| ye{a, b}xey|.
Demostracin:
En efecto,
ze{a, b}|z = a.z = b| (a) por teorema 8(iii), negando
ambos lados de la
equivalencia (por corolario
IV.XXXV(i)), la definicin
2(iv), las leyes de DMorgan
(corolario II.XXI(iii)) y la
regla de la transitividad de la
equivalencia (corolario
III.XXV(ii)).

197
xez xez (b) Idempotencia (teorema XVIII(ii))
|ze{a, b}vxez||| z = a.z = b|vxez|. (c) por (a), (b) y el
corolario I.XXXVIII(ii)
|ze{a, b}xez||(z = avxez).(z = bvxez)| (d)
por vaciedad (corolario II.XL), la
conmutatividad (corolario II.XXX(i)), la
distributividad (corolario II.XXXII(ii)) y la
regla de reemplazo (corolario I.IV)
|ze{a, b}xez||(z=axez).(z=bxez)| (e)
Por (d), la implicacin material (corolario
II.XV(ii)) y la regla de reemplazo (corolario
I.IV)
(y)|ye{a, b}xey|(y)|(y=axey).(y=bxey)| (f)
por generalizacin de (e) y la aplicacin de
la distribucin de los cuantificadores
(corolario III.LII(iv))
|(y)|y=axey|.(y)|y=bxey||
a partir de (f),la aplicacin de la
distribucin de los cuantificadores
(corolario I.LII(ii)) y la regla de reemplazo
(corolario I.IV).
|xea.xeb| por lema 2.11 y la regla de
reemplazo (corolario I.IV).
La tesis se sigue de la simetra de la equivalencia (corolario II.XXXIII).

Teorema 11: ab={a, b}
Demostracin:
zeab|zea.zeb| por definiciones 10(ii), 5(i)
(y)| ye{a, b}zey| por lema 3.11
(ye{a, b})|zey| por notacin (definicin XXXIII(x)).
ze{a, b} por definiciones 10(i), 5(i)
(x)|xeabxe{a, b}| por generalizacin universal
ab={a, b} por definicin 3(ii).
Escolio: De esa cuenta, ahora sabemos que la definicin dada para la interseccin
generalizada (definicin 10(i)) funciona como debiera: intersectando los
elementos de una clase.

Lema 1.12:
198
(i) (x)|xexeA|
(ii) {x(x)|xexey|}=U
(i) Demostracin (por Contrapuesta):
(-x)|xe.xeA||xe.xeA| por instanciacin universal
(corolario I.LI(i))
xe por regla de simplificacin
(corolario II.VI(iii))
(-x)|xe| por corolario I.LI(i)
x=x por lema 1.10(i)
x=x(x)|xexeA| (a) contrapuesta de la propiedad
anterior (corolario VII.IX(i)),
teorema XLIV(ii), la regla de
vaciedad (corolario II.XL) y la regla
de reemplazo (corolario I.IV).
x=x (b) por teorema 1(i)
(x)|xexeA| por modus ponens aplicado a (b) y (a)
(corolario II.III(ii))
(ii) Demostracin:
(x)|xexeA|x=x (c) a partir de (b) (por corolario
IV.XXXIX(viii))
(x)|xexeA|x=x (d) a partir de la conjuncin de (c) y (a)
(teorema XVII(ii)) y de la regla de la
doble implicacin (corolario
X.VIII(iii))
{x(x)|xexey|}={xx=x} a partir de la generalizacin
universal de (d) (corolario
I.XLV(i))) y del corolario 1.7
{x(x)|xexey|}=U por definicin 8(ii).

Teorema 12:
(i) AB=(xeA)|xeB|
(ii) AA=A (idempotencia de la interseccin de clases)
(iii) AB=BA (conmutatividad de la interseccin de clases)
(iv) (AB)C=A(BC) (asociatividad de la interseccin de clases)
(v) A=A= (elemento atractor de la interseccin de clases)
(vi) AU =U A=A (elemento neutro de la interseccin de clases)
(vii) =U
199
Escolio: Ntese lo interesante que resulta ser el teorema anterior en su inciso (v):
basta intersectar al vaco a fin de obtenerlo todo!
4
Cabe ahora preguntarse Qu
tipo de clase es el universo? es el universo de nuestro discurso un conjunto o una
clase propia?

Corolario 1.12: {a}=a.
Demostracin:
{a}={a, a} por definicin (v)
= aa por teorema 11
=a por teorema 12(i).

Teorema 13:
(i) A(BC)=(AB)(AC) (distributividad de la interseccin respecto
de la unin).
(ii) A(BC)=(AB)(AC) (distributividad de la unin respecto de la
interseccin).
(iii) aeb{b}|aebva=b|.
Escolio: Diremos que una clase est contenida en otra ssi todo elemento de la
primera es elemento de la segunda. Formalmente:

Definicin 11 (Contencin de Clases):
(i) A_B: A est contenida en B.
(ii) AcB: A est contenida propiamente en B.
(iii) A_B
A
(x)|xeAxeB|
(iv) A
_
/
B
A
.
(v) AcB
A
A_B.A= B.
(vi) A.B
A
.
Escolio: Definimos a continuacin una clase que ser de suma importancia en
nuestro desarrollo: la clase potencia de un conjunto, la cual consistir en todos los
subconjuntos del conjunto. As, si a es el conjunto, su clase potencia la
denotaremos por: P(a).

Definicin 12 (La Clase Potencia de un Conjunto): P(a)
A
={x,x_a}.
Escolio: Es la clase potencia de un conjunto una clase propia o un conjunto? A
fin de responder a esta pregunta enunciamos el siguiente axioma.

4
No encierra acaso este teorema un concepto metafsico acerca de la creacin del universo? No pudo
haber hecho Dios el universo tan solamente intersectando al vaco fsico?
200

Axioma 4 (Axioma de Potencias): La clase potencia de un conjunto es un
conjunto. Formalmente: (a)M(P(a)).
Escolio: Por qu no se defini la clase potencia de una clase, en general? Es
decir, por qu no se defini formalmente P(A), la clase potencia de una clase A
cualquiera? Los siguientes teoremas responden a dicha pregunta.

Teorema 14:
(i) A_A
(ii) |A_B.B_C|A_B
(iii) |A_B.B_A|A=B
(iv) A_BCA_CB
(v) A_BCA_CB
(vi) A_BB=AB
(vii) A_BA=AB
(viii) A_AB
(ix) AB_A
(x) AB_B
(xi) _A (el vaco es subclase de cualquier clase)
(xii) A_U
(xiii) A_B, B_CA_C
(xiv) A_B, B_AA=B (regla de la doble contencin)
(xv) aeP(a).
Escolio: Ntese el ltimo inciso del teorema anterior: del primer inciso es
inevitable que el conjunto mismo sea elemento de la clase potencia. Si
hubisemos definido P(A) para clases en general, hubiese sido tambin inevitable
el hecho de que AeP(A), lo cual hubiese sido una inconsistencia en nuestra teora
si A fuese una clase propia (a partir del corolario 2.5).

Teorema 15:
(i) A
_
/
B(-x)|xeA.xeB|
(ii) AcBA_B
(iii) A=BA=B
(iv) P(a)=a.
(v) acbP(a)cP(a)
201
(vi) A_B|AcBvA=B|
Escolio: Buscamos hallar qu tipo de clase es la clase universal. Quiz la
respuesta se encuentre en el vaco: es la clase vaca un conjunto o una clase
propia? A fin de responder esta pregunta, introduciremos el siguiente axioma:

Axioma 5 (Axioma de Separacin): La interseccin de un conjunto con
cualquier clase es un conjunto. Formalmente: (a)M(aA).

Definicin 13 (Diferencia Entre Clases, Complemento de una Clase y
Diferencia Simtrica Entre Clases):
(i) AB
A
={x,xeA.xeB} (Diferencia entre Clases)
(ii) A
c
A
=UA (Complemento de una Clase)
(iii) AAB
A
=(AB)(BA) (Diferencia Simtrica entre Clases)

Teorema 16:
(i) a = (-x)|xea|
(ii) xeA
c
xeA
(iii) xeA
c
xeA
(iv) A=U A
c
=
(v) A=U A
c
=
(vi) AB=AB
c

(vii) AA=
(viii) A=A
(ix) A =
(x) A(AB)=AB.
(xi) AAA=
(xii) AAB=BAA
(xiii) (AAB)AC=AA(BAC)
(xiv) AA=AA=
(xv) (A
c
)
c
=A
(xvi)
c
=U
(xvii) U
c
=
(xviii) A_A =
(xix) A_{a}|A =vA={a}|
(xx) C_AB|C_AvC_B|

202
Teorema 17:
(i) M(aA)
(ii) M()
(iii) M(0)
(iv) a = M(a)
(v) AB_A
(vi) a=bP(a)=P(a)
(vii) AB=A_B
(viii) A_aM(A) (axioma de subconjuntos)
(ix) M(A)M(AB)
(x) P(a)=
(xi) A(BA)=A
(xii) A(BC)=(AB)(AC) (primera ley de DMorgan generalizada)
(xiii) A(BC)=(AB)(AC) (segunda ley de DMorgan generalizada)
(xiv) (AB)
c
= A
c
B
c
(primera ley de DMorgan)
(xv) (AB)
c
= A
c
B
c
(segunda ley de DMorgan)
Escolio: De modo que el 0 (cero), es decir, la clase vaca () es un conjunto. Slo
nos resta contestar la pregunta ahora acerca de la clase universal es la clase
universal un conjunto o una clase propia?
A partir del ltimo axioma y de la siguiente definicin es posible construir ms
conjuntos de los establecidos hasta ahora.

Definicin 14 (Sucesor de un Conjunto): El sucesor de un conjunto a,
denotado por a, es la unin del conjunto con el conjunto unitario formado por
dicho conjunto. Esto es, a
A
=a{a}.
Escolio: El sucesor de una clase, en general, NO est definido. De esa cuenta slo
es posible obtener el sucesor de un conjunto. El sucesor de una clase propia no
est definido. As, para obtener el sucesor de una clase es necesario primero
verificar si es conjunto.

Ejemplos:
(i) { } a ={ } a {{a}}={a, {a}}
(ii) { } b a, ={ } b a, {{a, b}}={a, b, {a, b}}
(iii) R no est definido, pues R es una clase propia (teorema 6(i)).
Escolio: A causa de nuestra anterior definicin, a fin de evitar las clases
anormales (vistas en el artculo 11), introduciremos el siguiente axioma (el cual
nos dice qu tipo de conjuntos son los que contemplar nuestro universo, de ac
en adelante).
203

Axioma 6 (Axioma de Regularidad): A=(-xeA)|xA=|
Escolio: Este axioma nos asegura que las clases no pueden ser elementos de s
mismas: nuestro universo de discurso slo contemplar aquellas variables
individuales (conjuntos) que sean normales (en el sentido dado en el artculo 11).
El siguiente teorema lo expone con mayor precisin: Dados los conjuntos
n
a a a , , ,
2 1
(que se leen respectivamente: a subuno, a subdos,, a
subene), es imposible que se den los ebucles:
1
a e
2
a ee
n
a e
1
a .
Formalmente:

Teorema 18: .
Demostracin (por Contradiccin):
Supngase lo contrario, es decir,
1
a e
2
a ee
n
a e
1
a . Claramente, a partir del
axioma 3, (-a)|a={
1
a ,
2
a ,,
n
a }|, por lo tanto, (xea)|xa=| (a partir de
nuestra suposicin inicial y la definicin 10(ii)). Esto contradice el axioma 6.
Escolio: El axioma 6 nos garantiza que todos los conjuntos con los cuales
trabajaremos de ac en adelante son normales y que, por ende, no hay conjunto
(de nuestro universo de discurso) que forme un ebucle.

Corolario 1.18: (a)|aea|
Demostracin:
Del teorema 18 se sabe que es imposible que se cumpla que:
1
a e
1
a (en este caso
n=1). Es decir,
1
a e
1
a (a partir de la definicin 2(iv)) y por lo tanto, en general,
aea. La tesis se sigue de la generalizacin universal de la anterior propiedad

Lema 1.19: xea|xeavx=a|
Demostracin:
xeaxea{a} por definicin 14 y la definicin 5(i)
|xeavxe{a}| por lema 1.9
|xeavx=a| por teorema 8(iv) y la regla de
reemplazo (corolario I.IV)

Teorema 19:
(i) M(a). (El sucesor de un conjunto es siempre un conjunto)
(ii) (a)|a_a|.
(iii) (a)|aea|.
204
(iv) (a)|a = a|.
(v) (a)| a = 0|.
(i) Demostracin:
Sea a un conjunto. Sabemos que a=a{a}, es decir, a es la unin de
dos conjuntos: a, el conjunto mismo (hiptesis), y {a}, el conjunto
unitario (teorema 8(ii)). Como la unin de dos conjuntos sigue siendo un
conjunto (corolario 1.9), se sigue que a es un conjunto.
(ii) Demostracin (por Casos):
a_a{a} por teorema 14(viii)
a_a por definicin 14
La tesis se sigue de la generalizacin universal de la propiedad anterior
(corolario I.XLV).
(iii) Demostracin (por Casos):
xea|xeavx=a| por lema 1.19
De la anterior propiedad, se sigue que: si xea entonces xeavx=a.
Caso 1: si xea entonces xea, es decir, a_a (a partir del inciso
anterior).
Caso 2: si x=a entonces, ya que xea (hiptesis) se sigue que aea (a
partir de la igualdad anterior, la hiptesis y el teorema 3).
(iv) Demostracin (por Contradiccin):
Supongamos que existe algn conjunto a que sea igual a su sucesor, esto
es: a=a.
Ya que aea (segn el teorema 19(iii)), de la suposicin inicial se sigue
que aea (a partir del teorema 3), lo cual es imposible (segn el corolario
1.18). Por consiguiente, nuestra suposicin inicial es falsa y se tiene que
concluir que a = a. La tesis se sigue de la generalizacin universal de la
propiedad anterior (corolario I.XLV).
(v) Demostracin:
(a)|aea| por teorema 19(iii)
(-a)|aea| por teorema XLI(ii)
a = 0 por teorema 16(i) y la transitividad de la
equivalencia (corolario III.XXV(ii)).
La tesis se sigue de la generalizacin universal de l propiedad anterior
(corolario I.XLV).

Ejemplos:
205
(i) Ya que { } a ={a, {a}} (segn el ejemplo (i) de la definicin 14), tenemos
que {a, {a}} es un conjunto (segn el teorema 19(i)) y, por ende, es
posible calcularle su sucesor. Esto es,
{a, {a}} ={a, {a}}{{a, {a}}}={ a, {a}, {a, {a}}}
el cual, a su vez, es un conjunto y, por lo tanto, es susceptible de calcularle
su sucesor, etc.
Es evidente que mediante la operacin de sucesor es posible generar una
infinidad de conjuntos.
(ii) Sabemos que { } b a, ={a, b, {a, b}} (a partir del ejemplo (ii) de la
definicin 7), por consiguiente, {a, b, {a, b}} es un conjunto y, por lo
tanto, es posible calcularle su sucesor:
{a, b, {a, b}}={a, b, {a, b}}{{a, b, {a, b}}}
={a, b, {a, b}, {a, b, {a, b}}}
El cual, a su vez, es un conjunto, susceptible de calcularle su sucesor, etc.
Escolio: Estamos en condiciones de responder si la clase universal es un conjunto
o una clase propia.

Teorema 20:
(i) U =R (es decir, nuestro universo consiste en slo los conjuntos normales).
(ii) P
r
(U) (es decir, U es clase propia).
(iii) (a_A)|aeA|A=U (primer principio de Induccin)
(i) Demostracin:
Considrese cualquier conjunto a. Es claro que aea (por el corolario 1.18)
y por lo tanto ae{x,xex} (segn la definicin 5(i)), es decir, aeR (a
partir de la definicin 8(i) y teorema 3). Por otro lado, sabemos que a=a
(segn el teorema 1(i)), lo que equivale a establecer que ae{x,x=x}
(segn la definicin 5(i)), de donde se sigue que tambin aeU (a partir
de la definicin 8(ii) y el teorema 3).
Hemos probado as que todo conjunto es elemento tanto de R como de U ,
por consiguiente U =R (a partir de la definicin 3(ii)).
(ii) Demostracin:
Sabemos que R es una clase propia (por teorema 6(i)). Ya que U =R (por
teorema 20(i)), tenemos que U es clase propia (a partir del teorema 3).
(iii) Demostracin (por Contradiccin):
Si (a_A)|aeA|, es decir, si (a)|a_AaeA| (por definicin
XXXIII(x)) entonces, suponiendo lo contrario a lo que se desea probar,
esto es, suponiendo que A=U , es decir, que A
c
= (por teorema 16(iv))
entonces (-xeA
c
)|xA
c
=| (a partir del axioma 6 y la regla de modus
ponens (corolario IV.III)), es decir,
206
xeA
c
. xA
c
= por instanciacin existencial de la
propiedad anterior (corolario
I.XLV(ii) y el teorema LI(ii).
xeA
c
(a) a partir de la propiedad anterior y
de la regla de simplificacin
(corolario IV.VI)
xA
c
= (b) por las mismas razones
(yex)|yeA
c
| a partir de (b) y del teorema 12(i)
(yex)|yeA| (c) por el teorema 16(ii) y la regla de
x_A (d) a partir de (c) y las definiciones
XXXIII(x) y 11(iii).
xeA (e) a partir de (d), la instanciacin
universal de la hiptesis (corolario
I.XLV(i)) y la regla de modus ponens
(corolario IV.III).
Pero (e) es una contradiccin (a partir de (a) y del teorema 16(i), (ii)). (La
tesis se sigue del corolario V.X(ii)).
Escolio: Con estos conceptos bsicos de la teora de conjuntos de Cantor es
posible construir una infinidad de conjuntos, tal como lo veremos en el siguiente
artculo.

15. Los Nmeros Naturales

Escolio: Kronecker
5
comentaba: Dios hizo los enteros, todo lo dems es obra del
hombre. No podemos esperar que el conocimiento de la secuencia de los
nmeros naturales se deje reducir al conocimiento de cosa alguna que sea
esencialmente ms primitiva que dicha secuencia.
Pero investigando lo que comprende la concepcin que de ella tenemos, podemos
conseguir una mayor clarificacin de las bases de nuestro razonar con los
nmeros naturales, usando la teora de conjuntos.
Empezaremos por describir a los nmeros naturales como aquellos objetos que
pueden ser generados comenzando con un objeto inicial, 0 (cero), y pasando
sucesivamente de un objeto n, ya generado, a otro objeto n (el sucesor de n).

5
Leopold Kronecker naci en 1823. Se convirti en un prspero empresario despus de presentar su tesis
sobre la teora algebraica de los nmeros en 1845. Como estudiante entr en contacto con algunos de los
mejores matemticos de su poca Weiestrass, Jacobi y Steiner, y encauz su trabajo hacia la aritmetizacin
universal del anlisis matemtico con la ciega creencia de que la aritmtica deba ser finita. Dios creo los
enteros y lo dems es obra del hombre afirm, en 1886, en clara alusin a Cantor, quien haba desarrollado
una aritmtica del infinito, contraria a sus ideas.
207
Definicin 15 (Construccin de los Nmeros Naturales):
(i) 0
A
=0{0}
A
={0}
A
=1, donde la cifra (guarismo) 1 se lee: uno,
(ii) 1
A
=1{1}
A
={0}{1}
A
={0, 1}
A
= 2, donde la cifra (guarismo) 2 se lee:
dos,
(iii) 2
A
=2{2}
A
={0, 1}{2}
A
= {0, 1, 2}
A
= 3, donde la cifra (guarismo) 3 se
lee: tres,
(iv) 3
A
=3{3}
A
={0, 1, 2}{3}
A
= {0, 1, 2, 3}
A
=4, donde la cifra (guarismo)
4 se lee: cuatro,
(v) 4
A
= 4{4}
A
= {0, 1, 2, 3}{4}
A
= {0, 1, 2, 3, 4}
A
= 5, donde la cifra
(guarismo) 5 se lee: cinco,
(vi) 5
A
=5{5}
A
={0, 1, 2, 3, 4}{5}
A
= {0, 1, 2, 3, 4, 5}
A
= 6, donde la cifra
(guarismo) 6 se lee: seis,
(vii) 6
A
=6{6}
A
={0, 1, 2, 3, 4, 5}{6}
A
= {0, 1, 2, 3, 4, 5, 6}
A
= 7, donde la
cifra (guarismo) 7 se lee: siete,
(viii) 7
A
= 7{7}
A
= {0, 1, 2, 3, 4, 5, 6}{7}
A
= {0, 1, 2, 3, 4, 5, 6, 7}
A
= 8,
donde la cifra (guarismo) 8 se lee: ocho,
(ix) 8
A
=8{8}
A
={0, 1, 2, 3, 4, 5, 6, 7}{8}
A
= {0, 1, 2, 3, 4, 5, 6, 7, 8}
A
= 9,
donde la cifra (guarismo) 9 se lee: nueve,
(x) 9
A
=9{9}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8}{9}
A
= {0, 1, 2, 3, 4, 5, 6, 7, 8,
9}
A
=10, donde la cifra (guarismo) 10 se lee: diez,
(xi) 10
A
=10{10}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9}{10}
A
= {0, 1, 2, 3, 4, 5, 6,
7, 8, 9, 10}
A
=11, donde la cifra (guarismo) 11 se lee: once,
(xii) 11
A
=11{11}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}{11}
A
= {0, 1, 2, 3, 4, 5,
6, 7, 8, 9, 10, 11}
A
=12, donde la cifra (guarismo) 12 se lee: doce,
(xiii) 12
A
=12{12}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}{12}
A
= {0, 1, 2, 3,
4, 5, 6, 7, 8, 9, 10, 11, 12}
A
=13, donde la cifra (guarismo) 13 se lee: trece,
(xiv) 13
A
=13{13}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}{13}
A
= {0, 1, 2,
3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13}
A
catorce,
208
(xv) 14
A
=14{14}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13}{14}
A
= {0,
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}
A
=15, donde la cifra (guarismo)
15 se lee: quince,
(xvi) 15
A
= 15{15}
A
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13,
14}{15}
A
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}
A
= 16,
donde la cifra (guarismo) 16 se lee: diez y seis,
(xvii) 16
A
= 16{16}
A
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
15}{16}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}
A
= 17,
donde la cifra (guarismo) 17 se lee: diez y siete,
(xviii) 17
A
= 17{17}
A
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15,
16}{17}
A
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
17}
A
=18, donde la cifra (guarismo) 18 se lee: diez y ocho,
(xix) 18
A
=18{18}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
17}{18}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
18}
A
=19, donde la cifra (guarismo) 19 se lee: diez y nueve,
(xx) 19
A
=19{19}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
18}{19}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18,
19}
A
=20, donde la cifra (guarismo) 20 se lee: veinte,
(xxi) 20
A
=20{20}
A
={0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
18, 19}{20}
A
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
18, 19, 20}
A
=21, donde la cifra (guarismo) 21 se lee: veinte y uno,
(xxii) 21
A
=21{21}
A
=22, donde la cifra (guarismo) 21 se lee: veinte y dos,
.
(xxx) 29
A
=29{29}
A
=30, donde la cifra (guarismo) 30 se lee: treinta,
(xxxi) 30
A
=30{30}
A
=31, donde la cifra (guarismo) 31 se lee: treinta y uno,
.
(xl) 39
A
=39{39}
A
=40, donde la cifra (guarismo) 40 se lee: cuarenta,
.
(l) 49
A
=49{49}
A
=50, donde la cifra (guarismo) 50 se lee: cincuenta,
209

(lx) 59
A
=59{59}
A
=60, donde la cifra (guarismo) 60 se lee: sesenta,
.
(lxx) 69
A
=69{69}
A
=70, donde la cifra (guarismo) 70 se lee: setenta,
.
(lxxx) 79
A
=79{79}
A
=80, donde la cifra (guarismo) 80 se lee: ochenta,

(xc) 89
A
=89{89}
A
= 90, donde la cifra (guarismo) 90 se lee: noventa,

(c) 99
A
=99{99}
A
= 100, donde la cifra (guarismo) 100 se lee: cien,
(ci) 100
A
=100{100}
A
=101, donde la cifra (guarismo) 101 se lee: ciento uno,
(cii) 101
A
=101{101}
A
=102, donde la cifra (guarismo) 102 se lee: ciento dos,
.
(cc) 199
A
=199{199}
A
= 200, donde la cifra (guarismo) 200 se lee: doscientos,
(cci) 200
A
=200{200}
A
=201, donde la cifra (guarismo) 201 se lee: doscientos
uno,
.
(ccc) 299
A
=299{299}
A
=300, donde la cifra (guarismo) 300 se lee: trescientos,
..
(cd) 399
A
= 399{399}
A
cuatrocientos,
.
(d) 499
A
=499{499}
A
=500, donde la cifra (guarismo) 500 se lee: quinientos,
.
(dc) 599
A
=599{599}
A
= 600, donde la cifra (guarismo) 600 se lee: seiscientos,

(dcc) 699
A
=699{699}
A
= 700, donde la cifra (guarismo) 700 se lee: setecientos,

(dccc) 799
A
= 799{799}
A
ochocientos,

(cm) 899
A
=899{899}
A
=900, donde la cifra (guarismo) 900 se lee: novecientos,

210
(m) 999
A
=999{999}
A
=1000, donde la cifra (guarismo) 1000 se lee: mil,
(mi) 1000
A
=1000{1000}
A
=1001, donde la cifra (guarismo) 1001 se lee: mil
uno,
(mii) 1001
A
=1001{1001}
A
=1002, donde la cifra (guarismo) 1002 se lee: mil
dos,
.
(mm) 1999
A
= 1999{1999}
A
= 2000, donde la cifra (guarismo) 2000 se lee: dos
mil,
(mmii) 2000
A
=2000{2000}
A
=2001, donde la cifra (guarismo) 2001 se lee: dos
mil uno,
.
(mmm) 2999
A
= 2999{2999}
A
tres mil,
.
Etc.
Escolio: La anterior definicin es una definicin que se extiende ad infinitum, ya
que el etc. que aparece al final de ella denota que el proceso de definicin
prosigue indefinidamente, permitiendo definir las propiedades abstractas que
comparten todos los conjuntos de dos elementos, tres elementos, cuatro elementos,
etc. A los smbolos que empleamos para denotar a los sucesores de 0 es a los que
se les llama cifras o guarismos. Implcitamente la definicin anterior conlleva el
hecho de que cada una de las cifras es distinta la una de la otra, precisamente,
porque cada uno de ellos tiene distintos elementos.
De la definicin se espera que resulte claro que, por ejemplo, la cifra 15013 debe
leerse: quince mil trece. Mientras que 1000000, que no aparece listado en la
definicin anterior, es usual leerlo como un milln; 2000000 como dos millones.
A continuacin los nombres de algunas de las cifras que no estn listadas en la
definicin anterior:
1000000000000 se lee como: un billn,
1000000000000000000 se lee como: un trilln,
1000000000000000000000000 se lee como: un tetralln,
Y de ac en adelante se emplean las palabras: pentalln, hexalln, heptalln,
enealln y decalln. Para nmeros mucho mayores ya no existen palabras
conocidas para nombrarlos, aunque claro est, la definicin 8 ofrece no slo una
manera sistemtica de escribir y nombrar a los sucesores de 0, indefinidamente,
sino tambin de cmo construirlos an cuando stos ya no sean nombrables.
Entendemos aqu que, por lejos que hayamos ido ya para alcanzar n, es posible
dar un paso ms para alcanzar n. El uso del acento en la notacin n , en lugar
de la ms familiar 1 + n , pone de relieve que es una operacin o funcin unaria
primitiva utilizada en la generacin de los nmeros naturales, mientras que +
211
puede ser definida en un estadio ulterior como una operacin o funcin binaria de
dos nmeros naturales.
Estamos en un punto propicio para notar algo muy importante: de la definicin
anterior es posible notar que
0e1e2e3e4e... en
tal como lo afirma el teorema 19(iii). Es ms, de los teoremas 19(i), (iii) y
corolario 1.5, se sigue que cada una de las cifras construidas en dicha definicin
son conjuntos y, dado que los conjuntos construidos en la definicin 15 son
distintos entre s (pues no tienen los mismos elementos, segn el teorema 19(iv)),
claramente dichos conjuntos son normales. Es decir, a partir del axioma de
regularidad (axioma 6) sabemos que, segn el teorema 18, no ocurren ebucles
de la forma:
0e1e2e3e4e... ene0, para algn n

Definicin 16 (Clase Sucesor):
(i) Suc (A): A es una clases sucesor.
(ii) Suc (A)
A
0eA.(xeA)|xeA|
Ejemplo:
Sea B
A
={xx=0vx={a}v(-y)|x= y|}
(en este caso B={0, {a}, 1, {a, {a}}, 2, })
Claramente, 0eB.(xeB)|xeB|, por consiguiente, Suc (B).
Escolio: Claramente, las clases sucesor son clases infinitas (en el sentido que no
tienen un nmero finito de elementos). Surge as la pregunta: existirn clases
sucesores que sean conjuntos? En caso de que existan, tales conjuntos tendrn
infinitos elementos. Postularemos su existencia, as como el hecho de que la clase
de todos los conjuntos sucesores es, a su vez, un conjunto, introduciendo el
siguiente axioma.

Axioma 7 (Axioma del Infinito):
{xSuc (x)}= .M({xSuc (x)}).(Suc (y))|{xSuc (x)}_y|
Escolio: La primera parte del axioma anterior afirma que existen conjuntos que
son sucesores, esto es, (-x)|Suc (x)|, segn el teorema 16(i). La segunda parte
supone que la clase de todos los conjuntos sucesores forma a su vez un conjunto.
Y la tercera parte afirma que todo conjunto sucesor contiene la interseccin
generalizada del conjunto de todos los sucesores (la clase ms pequea de todos
los conjuntos sucesores).
Ntese que, a partir de la tercera clusula del axioma anterior y del ejemplo
precedente, cualquier conjunto sucesor necesariamente incluye a todos los
nmeros naturales definidos (en la definicin 15). Motivados por esta observacin,
introduciremos la siguiente definicin importante: la clase ms pequea de todas
212
los conjuntos sucesores, la llamaremos clase de los nmeros naturales, la cual
denotaremos por .

Definicin 17 (La Clase de los Nmeros Naturales):
(i)
A
={xSuc (x)}.
(ii) N (x): x es un nmero natural.
(iii) N (x)
A
xe .
(iv) Usaremos j, k, l, m y n como variables que toman valores a partir de los
elementos de , de tal forma que cada vez que usemos j, k, l, m y n estas
variables denotarn nmeros naturales.
(v) {+(x)u(x)}
A
={x+(x).u(n)}
Escolio: Es un conjunto o una clase propia? El siguiente teorema responde a
esta importante pregunta.

Lema 1.21:
(i) xe (Suc (y))|xey|
(ii) (Suc (y))|0ey|
(iii) (Suc (y))(xey)|xey|
(i) Demostracin:
={x(ye{xSuc (x)})|xey|} (1) a partir de las definiciones
10(i), 17(i)
xe (y)|ye{xSuc (x)}xey| a partir de (1) y las
definiciones 5(i) y XXXIII(x)
xe (y)|Suc (y)xey| por definicin 5(i).
xe (Suc (y))|xey| por definicin XXXIII(x)
(ii) Demostracin:
Suc (z)|0ez.(xez)|xez|| a partir de la definicin 16(ii)
0ez por regla de simplificacin
(y)|Suc (y)0ey| por generalizacin universal
(Suc (y))|0ey| a partir de la definicin XXXIII(x)
(iii) Demostracin:
Suc (z)|0ez.(xez)|xez|| a partir de la definicin 16(ii)
(xez)|xez| por regla de simplificacin
(corolario II.VI(iv))
213
(y)|Suc (y) (xey)|xey|| por generalizacin universal
(Suc (y))(xey)|xey| por definicin XXXIII(x).

Teorema 21:
(i) M( ).
(ii) 0e
(iii) (xe )|xe |
(i) Demostracin:
{xSuc (x)}= segn el axioma 7 y la regla de
simplificacin (corolario IV.VI(i))
M({xSuc (x)}) por las mismas razones anteriores
M({xSuc (x)}) por teorema 17(iv)
M( ) por definicin 17(i)
(ii) Demostracin:
xe (Suc (y))|xey| por lema 1.2(i)
0e (Suc (y))|0ey| (a) haciendo x=0 en la
propiedad anterior
(Suc (y))|0ey| (b) por lema 1.2(ii)
0e a partir de (a) y (b) y la regla
de reemplazo (corolario I.IV)
(iii) Demostracin:
(Suc (y))(xey)|xey| por lema 1.2(iii)
(Suc (y))(x)|xeyxey| por definicin XXXIII(x)
(x)(Suc (y))|xeyxey| por corolario I.LIV(i)
(x)|(Suc (y))|xey|(Suc (y))|xey||
por corolario III.LII(i)

(x)|xe xe | a partir del lema 1.2(i) y la regla de
(xe )|xe | por definicin XXXIII(x).

Corolario 1.21:
(i) Suc ( )
(ii) N (0).
214
(iii) (N (x))N (x).
(i) Demostracin:
0e (a) a partir del teorema 21(ii)
(xe )|xe | (b) segn el teorema 21(iii)
0e .(xe )|xe | por conjuncin de las propiedades (a)
y (b) (por corolario XVII(ii))
Suc ( ) por definicin 16(ii)
(ii) Demostracin:
0e a partir del teorema 21(ii)
N (0) por definicin 17(iii)
(iii) Demostracin:
(xe )|xe | segn el teorema 21(iii)
(N (x))N (x) a partir de la definicin 17(iii).
Escolio: El corolario anterior afirma que los nicos nmeros naturales son los
dados por (ii) y (iii), es decir, N (x) si y slo si x se obtiene a partir de (ii) y (iii),
nicamente (el cuantificador universal del inciso (iii) lo garantiza). A la luz de
este corolario, a la clase de los nmeros naturales, , podemos reescribirla como:
={xN (x)} (a partir del teorema 4 y la definicin 17(iii)).
En la precedente descripcin, hemos evocado el concepto de una sucesin de
pasos discretos, los cuales consisten en comenzar con 0, y proceder repetidamente
de un nmero n al siguiente n. Dicha sucesin es pues la siguiente:
, ' ' ' 0 , ' ' 0 , ' 0 , 0
Confiamos en los puntos suspensivos, , para sugerir la continuacin de la
sucesin ms all de los varios miembros mostrados de la misma. Para obtener los
nmeros naturales con las notaciones usuales, resta slo explicar que 0, 1, 2, 3,
hacen las veces de , ' ' ' 0 , ' ' 0 , ' 0 , 0 , respectivamente. Esta es una materia de
detalle concerniente a la notacin decimal.
Cada uno de los objetos de la sucesin anterior, expuesta en la definicin 15, es
un nmero natural, segn el teorema 21(ii), (iii). En este formato, la sucesin de
pasos discretos resulta ser una aplicacin de la clusula (ii), del corolario anterior,
y una sucesin de aplicaciones de la clusula (iii). Ambas clusulas juntas
constituyen un ejemplo de lo que llamamos una definicin inductiva. El trmino
(nmero natural) se pudo haber definido a partir del corolario anterior.
Claramente, la sucesin anterior, presentada en la definicin 15, es infinita en el
sentido de que no posee fin: por cada nmero natural as generado, siempre es
posible generar el siguiente, sucesivamente (segn el teorema 21(iii)).
Note que es nuestro primer conjunto infinito (de hecho, el ms pequeo de
todos los generados a partir del axioma 7). La importancia del axioma 7 radica en
el hecho de que los objetos generados mediante la definicin 15, son posibles de
215
incluir como un todo en un conjunto al que hemos llamado ; donde es un
conjunto tal que:
(i) 0e
(ii) xe xe
(iii) xe si y slo si x se obtiene a partir de la aplicacin de (i) y (ii).
Ntese adems que para cualquier (nmero natural), ne , n = 0 (a partir del
teorema 19(v)).

Teorema 22: (xe )(ye )|x=yx=y|
Sean x, ye (ver definicin 2(v))
Parte 1 (): x=yx=y (a)
En efecto, si x=y (1)
entonces:
xex por teorema 19(iii)
xe y a partir de (1) y del teorema 3
xeyvx=y (b) por lema 1.19
Adems,
yey por teorema 19(iii)
ye x a partir de (1) y del teorema 3
yexvy=x por lema 1.19
yexvx=y (c) por teorema 1(ii) y la regla de
(xeyvx=y).(yexvx=y) por conjuncin de (b) y (c) (por
teorema XVII(ii))

(xey.yex)v(xey.x=y)v(x=y.yex)v(x=y.x=y) (d)
a partir de la distributividad de la
conjuncin respecto de la disyuncin
(corolario IV.XXXII(i))
Del primer parntesis se sigue que xeyex (a partir de la definicin
2(vii)), lo cual es imposible segn el teorema 18.
Del segundo y tercer parntesis se sigue que xex (a partir del
teorema 3), lo cual es imposible segn el corolario 1.18.
La nica posibilidad, a fin de que (d) sea una propiedad vlida, es
que el ltimo parntesis sea vlido, es decir, x=y (a partir del
corolario IV.XXXVI(iii)).
216
Parte 2 (:): x=yx=y (e)
En efecto, la anterior propiedad es vlida a partir del axioma 1.
De (a) y (e) se sigue que x=yx=y (por corolario V.VIII). La tesis se sigue de
la generalizacin universal de la propiedad anterior (corolario I.XLV(i)).
Escolio: Para ver cmo podra aplicarse el teorema anterior conjuntamente con el
teorema 19(v) a fin de exhibir la distintividad entre cada dos nmeros generados
de modo diferente, podemos razonar como sigue. Supngase que en un estadio
dado en la generacin de los nmeros, todos los nmeros 0, 1,, n generados
hasta el momento son distintos. Entonces el inmediatamente generado n ha de
ser distinto de los sucesores 0, 1,, n, entre aquellos previamente generados por
el teorema anterior, y de 0 (por el teorema 19(v)). As, cada paso sucesivo en la
generacin produce un nuevo nmero.
Ejemplo:
4 = 2 ya que ambos no tienen los mismos elementos (de acuerdo a la
construccin dada en la definicin 15), como puede verse tambin as:
aplicando el teorema anterior con 0 en lugar de x y 0 en el de y,
tenemos que si 0=0 entonces 0=0. Aplicando nuevamente el
teorema anterior, si 0=0 entonces 0=0. Pero segn el teorema 19(v),
con 0 en lugar de y, 0 = 0.

Lema 1.23: Suc (a) _ a.
Demostracin:
Si Suc (a) entonces, del axioma 7,
(Suc (y))|{xSuc (x)}_y|
a partir de la regla de
simplificacin (corolario II.VI(iv))
(y)|Suc (y) _y| por las definiciones XXXIII(x) y 17(i)
Suc (a) _ a por instanciacin universal
(corolario I.XLVII(ii)).

Teorema 23 (Principio de Induccin Finita o Principio de Induccin
Matemtica):
|A_ .0eA.(n)|neAneA||A= .
Demostracin:
Si A_ .0eA.(n)|neAneA| entonces
A_ (a)
0eA.(neA)|neA| (b) aplicando la definicin XXXIII(x)
A partir de la regla de simplificacin (corolario IV.VI).
De (b) se sigue que
Suc (A) (c) por definicin 16(ii)
217
De (a) se sigue que
M(A) (d) por teorema XVII(viii)
Por consiguiente es posible aplicar el lema 1.23 y, obtener a partir de (c), que:
_ A (e) por modus ponens a partir de (d) y (c) y el lema 1.23
(corolario IV.III)
Luego, de (a) y (e) se sigue: A= (a partir del teorema 14(xiv)).

Corolario 1.23 (Principio de Induccin Finita o Principio de Induccin
Matemtica):
(i) |u(0).(n)|u(n)u(n)|| ( ) { } n n u = .
(ii) |u(0).(n)|u(n)u(n)||(k)u(k).
(i) Demostracin:
Sea A
A
= ( ) { } n n u (1)
Claramente, A_ (a)
(En efecto, cada elemento de A es un nmero natural, segn la
definicin 17(iv)).
Si u(0).(n)|u(n)u(n)| entonces:
u(0) (a)
(n)|u(n)u(n)| (b)
a partir de la regla de simplificacin (corolario IV.VI)
De (a) se sigue que:
0eA (c)
a partir de (1) y la definicin 5(i)
De (b) se sigue que:
(n)|neAneA| (d)
De la conjuncin de (a), (c) y (d) se sigue:
A_ .0eA.(n)|neAneA| (e)
por regla de conjuncin (teorema XVII(ii))
A partir de (e) y del teorema 23 se sigue que:
A= por modus ponens (corolario IV.III)
Es decir, ( ) { } n n u = (a partir de (1)).
(ii) Demostracin:
Si u(0).(n)|u(n)u(n)| entonces ( ) { } n n u = (2)
(a partir del corolario 1.23(i)). Es decir:
(x)|xe ( ) { } n n u xe | (f)
a partir de (2) y la definicin 3(ii)
(x)|u(x)xe | (g) por definicin 5(i)
218
(x)|xe u(x)| a partir de (g) y del corolario
X.VIII(ii)
(xe )u(x) por definicin XXXIII(x)
(k)u(k) a partir de la propiedad anterior y la
definicin 17(iv).

Corolario 2.23 (Principio de Induccin Finita o Principio de Induccin
Matemtica):
u(0), (n)|u(n)u(n)|(k)u(k)
Demostracin:
Si u(0), (n)|u(n)u(n)| entonces, de la regla de conjuncin (teorema
XVII(ii)) se sigue que:
u(0).(n)|u(n)u(n)| (a)
y, puesto que,
|u(0).(n)|u(n)u(n)||(k)u(k) (b) a partir del corolario 1.23(ii)
Se sigue, a partir de (a) y (b), que:
(k)u(k) por modus ponens (corolario IV.III).

Definicin XL (Mtodo de Demostracin por Induccin Finita o Induccin
Matemtica): Sea u una propiedad (de clase). El mtodo de demostracin que
consiste en probar primeramente cada una de las siguientes hiptesis:
(i) u(0) (hiptesis inicial) y
(ii) (n)|u(n)u(n)| (hiptesis de induccin)
Con el fin de demostrar la validez de (n)u(n) (es decir, con el fin de afirmar
que u es una propiedad vlida para todo nmero natural), se le conoce como
mtodo de demostracin por induccin finita (o bien, mtodo de demostracin
por induccin matemtica).
Escolio: Note que la definicin anterior es metamatemtica: para demostrar la
validez de (n)u(n) es suficiente demostrar las hiptesis (i) y (ii) de la definicin
anterior. La justificacin del mtodo de demostracin por induccin finita es casi
inmediata cuando se concibe a los nmeros naturales como los objetos generados
conforme a la definicin inductiva de los mismos (definicin 15). Supngase que
tenemos una propiedad u, respecto de la cual son vlidas las hiptesis (i) y (ii).
Ha de tener entonces todo nmero natural, a partir de 0, la propiedad u?
Interpretamos una respuesta afirmativa como significando simplemente que, si
nos fuese dado cualquier nmero natural n, podramos estar seguros de que n tiene
la propiedad u. Pero un nmero natural n es dado precisamente cuando (de hecho
o en principio) se nos da su generacin conforme a la definicin inductiva,
comenzando con 0 y aplicando la operacin sucesor un nmero ostensible de
veces (es decir, adicionndole 1 a cada resultado hasta alcanzar n). Bajo tales
219
circunstancias, podemos usar (i) y (ii) para concluir que n tiene la propiedad u.
Por ejemplo, u(4) es vlida porque 4 est dado como 0; por (i), u(0); de
donde por (ii), u(0), es decir, u(1); de nuevo por (ii), u(1), esto es, u(2); y de
nuevo por (ii), u(2), esto es, u(3); finalmente, por (ii), u(3), es decir, u(4).
Expresado de otro modo, (i) y (ii) son instrumentos que nos capacitan, mientras
generamos los nmeros naturales, a partir de 0, por las clusulas (i) y (ii) de la
definicin inductiva, para verificar al mismo tiempo, con respecto a cada nmero
a medida que lo generamos, que tiene la propiedad u.
El enunciado del teorema anterior es posible parafrasearlo del siguiente modo:
Sea u(n) una propiedad que depende de un nico nmero natural n. Para probar
que u(n) es una propiedad verdadera, para todo n, nmero natural, es suficiente
demostrar:
- Paso Inicial: u(0) es verdadero,
- Paso Inductivo: (n)|u(n)u(n)| es verdadero.
Claramente, el teorema anterior nos provee de un mtodo seguro de demostracin
el cual ser de suma utilidad en la demostracin de los siguientes teoremas. En
este sentido recibe el nombre de metateorema de induccin finita. En algunas
teoras se le introduce como axioma o postulado.
Resumiendo: es un conjunto tal que:
(i) 0e (teorema 21(ii))
(ii) ne ne (teorema 21(iii))
(iii) n = 0 (teorema 19(v))
(iv) m=nm=n (teorema 22)
(v) |A_ .0eA.(n)|neAneA||A= . (teorema 23)
Los cinco incisos anteriores fueron adoptados por Peano
6
(en 1889, 1891) como
axiomas caracterizadores de la secuencia de nmeros naturales. Dicho autor
estableci por su parte el postulado (v) como el principio de induccin
matemtica (cuya aplicacin se analizar en el siguiente artculo), y lo coloc en
el quinto lugar de su lista, tal como aparece enumerado arriba.
El conflicto entre Cantor y Kronecker puede verse ahora ms claro: Kronecker
afirmaba que es imposible saber qu sean intrnsecamente los nmeros naturales
(el mismo Peano estableci las leyes generales que deben satisfacer cualquier
objeto que pretenda ser un nmero natural, aunque l nunca estableci qu eran en
s dichos objetos). En cambio, Cantor con su teora de conjuntos, presenta un

6
Giuseppe Peano (1858-1932), matemtico italiano, autor del primer ejemplo de fractal. Naci en Cuneo
en 1858 y fue profesor en la Academia Militar de Turn. Cre un sistema descriptivo que permita enunciar
cualquier proposicin de lgica o de matemticas sin recurrir al lenguaje. Fundador de dos publicaciones de
matemticas, propuso en sus escritos la aritmtica de Peano, una exposicin axiomtica y deductiva de la
aritmtica de los enteros naturales. En 1890 cre la curva de Peano, el primer ejemplo de fractal. En 1903
sus trabajos de bsqueda de una lengua internacional llevaron al latn sin flexiones, cuyo vocabulario
comprende las palabras latinas comunes al francs, al ingls y al alemn. Microsoft Encarta 2007.
1993-2006 Microsoft Corporation. Reservados todos los derechos.

220
modelo claro acerca de qu son los nmeros (tal como se muestra en la definicin
15): no slo cmo forman stos la secuencia de nmeros naturales sino qu
podran ser en realidad. Un nmero natural no es tan solo un objeto abstracto
particular que va a ser reconocido como el objeto que ocupa un lugar particular en
la secuencia, es ms que ello: es un conjunto. En otras palabras, un nmero
particular est dado cuando se da su generacin a partir del conjunto vaco
conforme a la definicin inductiva. Por ejemplo, el nmero natural 4 es dado
como aquel objeto que se obtiene partiendo con el conjunto inicial 0, la clase
vaca, y aplicando la operacin sucesor una vez, otra, otra y otra: o brevemente, 4
es dado como 0. Un nmero tal como 872656 en notacin decimal, podra ser
exhibido en principio por aplicaciones del sucesor a 0, aunque en la prctica no lo
hagamos.
Naturalmente cuando nos ocupamos de enunciados tales como el que afirma que
un cierto conjunto tiene dos elementos, hacemos uso adems de la atribucin de
los nmeros naturales como la de nmeros cardinales de conjuntos finitos (ver
artculo 17).
A partir del teorema 23 es posible definir un importante mtodo de demostracin
que ser crucial para demostrar teoremas relacionados con los nmeros naturales.
Tal mtodo se fundamenta en el teorema 23: el mtodo de demostracin por
induccin finita, tambin conocido como induccin matemtica.

Definicin 19 (Orden en ):
(i) Los predicados constantes de dos individuos, denotados por <, >, s, >, se
conocen como desigualdades.
(ii) m<n: m es menor que n (donde m es conocido como el primer miembro de
la desigualdad o el lado izquierdo de la desigualdad y n es conocido
como el segundo miembro de la desigualdad o el lado derecho de la
desigualdad).
(iii) m>n: m es mayor que n (donde m es conocido como el primer miembro de
la desigualdad o el lado izquierdo de la desigualdad y n es conocido
como el segundo miembro de la desigualdad o el lado derecho de la
desigualdad).
(iv) msn: m es menor o igual que n (donde m es conocido como el primer
miembro de la desigualdad o el lado izquierdo de la desigualdad y n es
conocido como el segundo miembro de la desigualdad o el lado derecho
de la desigualdad).
(v) m>n: m es mayor o igual que n (donde m es conocido como el primer
miembro de la desigualdad o el lado izquierdo de la desigualdad y n es
conocido como el segundo miembro de la desigualdad o el lado derecho
de la desigualdad).
(vi) m<n
A
men.
(vii) m>n
A
n<m.
221
(viii) msn
A
m<n vm=n.
(ix) m>n
A
m>n vm=n.
(x) k<
/
m
A

(xi) m>
/
n
A
n<
/
m
Escolio: Los nmeros naturales, segn la definicin inductiva, estn generados en
un cierto orden (el familiar), de tal forma que la expresin:
0e1e2e3e4e... en
Debe sustituirse por: 0<1<2<3<4<... <n. Sin embargo, es vlida la siguiente
proposicin: si m<n y si n<k entonces m<k? Para contestar a esta pregunta,
primero generalizaremos nuestro mtodo de induccin finita: la generalizacin
consistir en una variante del mtodo de induccin finita original slo que a hora
se har a partir de m (ya no necesariamente a partir de 0).

Lema 1.24:
(i) |x=0.x = 0|x = x
(ii) (n = 0)|a_{n}.a=n|ae .
(iii) (m)(n)|mcnm<n|
(iv) (m)(n)|mne |
(v) (m)(n)|mnsmvmnsn|
(i) Demostracin:
x = 0vx=0 principio del tercero excluido
(corolario III.XV(i))
|x = 0vx=0|x=x por teorema XIII y el postulado IV
|x=0.x = 0|x = x por corolarios IV.XXXV(i),
II.XXI(iii), III.XXV(ii) y la definicin
3(iii)
(ii) Demostracin (por Doble Implicacin, por Casos, por Contrapuesta y
por Contradiccin):
Parte 1 (): (n = 0)|a_{n}.a=n|ae (a)
En efecto, sea n = 0, si a_{n}.a=n entonces
a_{n} (b) regla de simplificacin (corolario
IV.VI(i))
a=n (c) regla de simplificacin (corolario
IV.VI(ii))
222
a=0va={n} (d) por teorema 16(xix)
Caso 1: Si a={n} entonces ae , a menos que n=0
(suponiendo que ae , segn definicin 17(iv) y la
definicin 15(i)). Sin embargo esto ltimo es
imposible, dado que n= 0 (hiptesis). De modo que
este caso, en general (es decir, para todo valor de n),
es imposible, de donde se sigue que ae .
Caso 2: Si a=0 entonces, de (c) se sigue que n=0 (a partir
del teorema 3), lo que contradice al teorema 19(v).
Luego, este caso es imposible. De donde se sigue
que ae .
De ambos casos se sigue precisamente la propiedad (a) (a
partir del corolario V.XII).
Parte 2 (:) (por Contrapuesta y por Contradiccin):
ae (n = 0)|a_{n}.a=n| (e)
En efecto, si
(-n = 0)|a
_
/
{n}va = n| (f)
entonces, para algn k = 0,
a
_
/
{k}va = k (g) por instanciacin universal
(corolario I.XLVII(ii))
as, en particular, para
a=k (1)
se tiene que k
_
/
{k} (h)
En efecto, si l=k (2)
entonces, ya que lel (por teorema 19(iii)), se sigue a
partir de (2), que:
lek (i) a partir del teorema 3
siendo l = k (3) por teorema 19(iv), a partir
de (2)
le{k} (j)
(en efecto, si suponemos lo contrario, es decir, le{k},
se tiene que l=k (segn el teorema 8(iv)), en
contradiccin a (3)).
lek.le{k} por conjuncin de (i) y (j)
(teorema XVII(ii))
(-x)|xek.xe{k}| generalizacin existencial de
la propiedad anterior
223
Lo que prueba la propiedad (h) (segn el teorema
15(i)).
Adems, k = k (4) por teorema 19(iv)
De la expansin de (h) se sigue, a partir de (4) que:
k
_
/
{k}vk = k por corolario IV.VII
es decir, nuestra propuesta dada en (1) satisface (g), para
algn k = 0.
Claramente, ke (a partir de la definicin 17(iv)).
(e) se sigue de la demostracin anterior y del corolario V.IX.
De (a) y (e) se sigue la tesis (a partir del corolario V.VIII).
(iii) Demostracin (por Induccin Finita sobre n):
Si n=0 entonces mcnmc0 por axioma 1
|m_0.m= 0| por definicin 11(v)
|m=0.m= 0| por teorema 16(xviii)
m= m por lema 1.24(i)
me0 por definiciones 8(iii), 5(i)
m<0 por definicin 19(v)
m<n por hiptesis
(luego, la propiedad a probar es vlida para n=0).
Si mcnm<n (hiptesis de induccin) entonces
mcn|m_n.m= n| por definicin 11(v)
|m_n{n}.m= n| por definicin 14
|(m_nvm_{n}).m= n| por teorema 16(xx)
|(m_n.m= n)v(m_{n}.m= n)|
por corolarios II.XXXII(i), II.XXX(ii)
|m_nvme | por lema 1.24(ii)
m_n pues me a partir de la
definicin 17(iv) (la validez
de la equivalencia se obtiene
a partir del corolario
II.XXXIII(i))
|mcnvm=n| por teorema 15(vi)
|m<nvm=n| por hiptesis de induccin
|menvm=n| por definicin 19(v)
men por lema 1.19
m<n por definicin 19(v)
(n)|mcnm<n| a partir del corolario 2.23
224
De la generalizacin universal (sobre m), de la propiedad anterior, se sigue
la tesis (por corolario I.XLV(i)).
(iv) Demostracin (por Casos):
Caso 1: Si msn entonces
m<nvm=n a partir de la definicin 19(vii)
es decir,
mcnvm=n por el lema 1.24(iii) y la regla de
m_n a partir de la propiedad anterior y
del teorema 15(vi)
mn=m (1) por la propiedad anterior y el
teorema 14(vii)
me (a) por definicin 17(iv)
mne a partir de (1) y (a) y el teorema 3
Caso 2 Si m>n entonces m>nvm=n, es decir,
n<mvm=n a partir de la definicin 19(vi)
es decir,
ncmvm=n por el lema 1.24(iii) y la regla de
n_m a partir de la propiedad anterior y
del teorema 15(vi)
mn=n (2) por la propiedad anterior y el
teorema 14(vii)
ne (b) por definicin 17(iv)
mne a partir de (2) y (b) y el teorema 3
A partir de los casos anteriores se sigue la tesis (segn el corolario V.XII y
la generalizacin universal (corolario II.LI(ii)).
(v) Demostracin (por Casos):
Del primer caso, en la demostracin anterior, se concluye que mnsn (a
partir de (1) y la desigualdad establecida en la hiptesis del primer caso
(por teorema 3)). Del segundo caso se concluye que m>mn (a partir de
(2) y la desigualdad establecida en la hiptesis del segundo caso (por
teorema 3)), es decir, mnsm (a partir de la ltima desigualdad y la
definicin 19(viii), (vi)). De ambos casos se sigue la tesis (a partir de la
generalizacin universal (corolario II.LI(ii)).
Escolio: Lo que afirma el lema 1.24(v) es que la interseccin de dos nmeros
naturales siempre dar como resultado el menor de los nmeros intersectados
(esto nos provee de la idea de poder elegir de entre una lista de nmeros naturales
225
siempre el menor de ellos: basta intersectar de manera generalizada al conjunto a
fin de obtener el menor de los nmeros naturales que componen a dicho conjunto).

Teorema 24 (Ley de Tricotoma): (m)(n)|m<nvm=nvm>n|
Demostracin (por Casos):
mn_m (a) por teorema 14(ix)
mn_n (b) por teorema 14(x)
As, del teorema 15(vi), basta considerar los siguientes casos:
Caso 1:
Si
mncm (c) hiptesis
y si
mncn (d) hiptesis
entonces
mn<m (e) a partir de (c) y del lema 1.24(iii), (iv)
mn<n (f) a partir de (d) y del lema 1.24(iii), (iv)
es decir,
mnem (g) a partir de (e) y de la definicin 19(v)
mnen (h) a partir de (f) y de la definicin 19(v)
mnem.mnen conjuncin de (g) y (h) (por teorema
XVII(ii))
mnemn a partir de la propiedad anterior y de las
definiciones 10(ii) y 5(i)
Sin embargo, la propiedad anterior contradice al corolario 1.18. Luego,
este caso es imposible.
Caso 2:
Si
mn=m (1)
y si
mn=n (2)
entonces
m_n (i) a partir de (1) y el teorema 14(vii)
n_m (j) a partir de (2) y el teorema 14(vii)
de (i) se sigue que: mcnvm=n por teorema 15(vi)
es decir: m<nvm=n a partir del lema 1.24(iii)
m<nvm=nvm>n (k) a partir de la propiedad anterior y la
regla de expansin (corolario IV.VII)
De igual manera, de (j) se sigue que:
226
n<mvn=m a partir del teorema 15(vi) y del lema 1.24(iii)
es decir,
m>nvm=n segn la definicin 19(vi), el teorema 1(ii) y
la regla de reemplazo (corolario I.IV)
m>nvm=nvm<n (l) a partir de la propiedad anterior y la
regla de expansin (corolario IV.VII)
Tanto (k) como (l) son propiedades equivalentes (a partir de la
asociatividad disyuntiva (corolario IV.XXXI(i), (ii)) y de la
conmutatividad disyuntiva (corolario III.XXX(ii)), segn la definicin
XV(ii).
La tesis se sigue de la generalizacin universal de (k), dada en el nico
caso posible anterior (a partir del corolario II.LI(ii)).

Corolario 1.24 (Ley de Tricotoma): (m)(n)|m<n m=n m>n|
Demostracin:
En la demostracin del teorema anterior, la disyuncin dada en (k) (o bien en (l))
es vlida nicamente cuando alguna de las propiedades que las componen es
vlida (ya que si se suponen vlidas simultneamente se llega a una contradiccin
con el corolario 1.18). Por consiguiente, a partir del razonamiento anterior y del
postulado VI, se sigue que (k) es posible de reescribir como:
m<n m=n m>n
(a partir del corolario IV.XXXI(vi) y de la definicin XXXIII(xix), (xx)). La tesis
se sigue a partir de la generalizacin universal de la propiedad anterior (corolario
II.LI(ii)).

Lema 1.25:
(i) (m)M( m)
(ii) (m)| m_ m|
(iii) ke mk >m.
(iv) {k >mu(k)}_ m.
(i) Demostracin:
m_ (a) a partir del teorema 17(v)
M( m) por (a) y los teoremas 21(i) y 17(viii)
La tesis se sigue de la generalizacin de la propiedad anterior (corolario
I.XLV(i)).
(ii) Demostracin:
xe mxe .xem por definiciones 5(i), 13(i)
xe .xem.x = m por lema 1.19 y las leyes de
DMorgan (corolario
227
II.XXI(iii)) y definicin
XXXIII(i)
xe .xem regla de simplificacin
xe m por definiciones 5(i), 13(i)
(x)|xe mxe m| por generalizacin universal
de la propiedad anterior
(m)| m_ m| a partir de la propiedad anterior y
de la definicin 11(iii).
(iii) Demostracin (por Doble Implicacin):
Parte 1: ke mk >m (a)
En efecto,
ke m|ke .kem| por definiciones 5(i), 13(i)
kem regla de simplificacin
por definiciones 19(v), 2(iv)
|k>mvk=m| segn el teorema 24 (a
partir del hecho de que el
valor de verdad de m<n es f
y del postulado II)
k >m por definicin 19(viii)
Parte 2: k >mke m (b)
En efecto,
k >m|k>mvk=m| por definicin 19(viii)
por corolario 1.24 (ya que el
valor de verdad de es v,
y el postulado VI)
kem por definiciones 19(v), 2(iv)
|ke .kem| a partir de la definicin 17(iv)
(el valor de verdad de ke
es v)
ke m por definiciones 5(i), 13(i).
(iv) Demostracin (por Doble Implicacin):
ne{k >mu(k)}ne{k k >m.u(k)} por definicin 17(v)
|n>m.u(x)| por definiciones 5(i),
17(iv)
228
n>m por regla de
simplificacin
(corolario IV.VI)
ne m por lema 1.25(iii).
(l)|le{k >mu(k)}le m| por generalizacin
universal de la
propiedad anterior
{k >mu(k)}_ m por definicin 11(iii).

Teorema 25 (Principio Generalizado de Induccin Finita o Principio
Generalizado de Induccin Matemtica):
|A_ m.meA.(n)|neAneA||A= m.
Demostracin (por Induccin Finita sobre m):
Si m=0 entonces la propiedad a demostrar toma la forma de:
|A_ 0.0eA.(n)|neAneA||A= 0.
a partir de la hiptesis y del teorema 3.
|A_ .0eA.(n)|neAneA||A=
por teorema 16(viii)
propiedad que es vlida a partir del teorema 23 (luego, la propiedad a demostrar
es vlida para m=0).
Si |A_ m.meA.(n)|neAneA||A= m (a)
(hiptesis de induccin)
entonces
Si A_ m.meA.(n)|neAneA| entonces
A_ m (b) por regla de simplificacin (corolario IV.VI)
meA (c) por la misma razn anterior
(n)|neAneA| (d) por la misma razn anterior
xe mxe .xem por definiciones 5(i), 13(i)
xeA (e) a partir de la hiptesis de induccin
dada en (a)
(En efecto, los elementos de A son los nmeros naturales a partir de m y
siguientes, segn (c) y (d), y todos ellos satisfacen la propiedad (e): la implicacin
anterior se sigue de (a), la hiptesis de induccin).
(x)|xe mxeA| por generalizacin universal
de (e) (corolario I.XLV(i))
m_A (f) a partir de la propiedad anterior y
de la definicin 11(iii).
Pero
229
m_ m (g) por lema 1.25(ii)
m_A (h) a partir de (g) y (f) y el teorema
14(xiii)
Luego, de (b) y (h) se sigue: A= m (a partir del teorema 14(xiv)).

Corolario 1.25 (Principio Generalizado de Induccin Finita o Principio
Generalizado de Induccin Matemtica):
(i) |u(m).(n)|u(n)u(n)||{k >mu(k)}= m.
(ii) |u(m).(n)|u(n)u(n)||(k >m)u(k).
(i) Demostracin:
Sea A
A
= {k >mu(k)} (1)
Claramente, A_ m (a) por lema 1.25(iv)
Si u(m).(n)|u(n)u(n)| entonces:
u(m) (a)
(n)|u(n)u(n)| (b)
a partir de la regla de simplificacin (corolario IV.VI)
meA (c)
De (b) se sigue que:
(n)|neAneA| (d)
De la conjuncin de (a), (c) y (d) se sigue:
A_ m.meA.(n)|neAneA| (e)
por regla de conjuncin (teorema XVII(ii))
A partir de (e) y del teorema 25 se sigue que:
A= m por modus ponens (corolario IV.III)
Es decir, {k >mu(k)}= m (a partir de (1)).
(ii) Demostracin:
Si u(0).(n)|u(n)u(n)| entonces {k >mu(k)}= m (2)
(a partir del corolario 1.25(i)). Es decir:
(x)|xe{k >mu(k)}xe m| (f)
a partir de (2) y la definicin 3(ii)
(x)||k >m.u(x)|xe m| (g)
por definiciones 5(i), 17(v)
(x)|xe m|k >m.u(x)|| a partir de (g) y del corolario
X.VIII(ii)
230
(x)|xe mu(x)| por regla de simplificacin
(xe m)u(x) por definicin XXXIII(x)
(k >m)u(k) a partir de la propiedad anterior, el
lema 1.25(iv) y las definicin
17(iv).

Corolario 2.25 (Principio Generalizado de Induccin Finita o Principio de
Induccin Matemtica):
u(m), (n)|u(n)u(n)|(k >m)u(k)
Demostracin:
Si u(m), (n)|u(n)u(n)| entonces, de la regla de conjuncin (teorema
XVII(ii)) se sigue que:
u(m).(n)|u(n)u(n)| (a)
y, puesto que,
|u(m).(n)|u(n)u(n)||(k >m)u(k) (b) a partir del corolario
1.25(ii)
Se sigue, a partir de (a) y (b), que:
(k >m)u(k) por modus ponens (corolario IV.III).

Definicin XLI (Principio Generalizado de Induccin Finita o Induccin
Matemtica): Sea u una propiedad (de clase). Al mtodo de demostracin que
consiste en demostrar que todo nmero natural, mayor o igual que cierto m tiene
la propiedad u, esto es, (k>m)u(k), para el cual es suficiente demostrar las
siguientes propiedades, llamadas hiptesis:
(i) u(m) (hiptesis inicial) y
(ii) (n)|u(n)u(n)| (hiptesis de induccin),
se conoce como mtodo generalizado de induccin finita, o bien, mtodo
generalizado de induccin matemtica.
Escolio: La definicin anterior es vlida a partir del corolario 2.25: Sea u una
propiedad. Supngase que:
(i) m tiene la propiedad u, para algn nmero natural m, y
(ii) si cualquier nmero natural n, a partir de m, tiene la propiedad u, entonces
su sucesor, n, tiene la propiedad u,
Entonces, todo nmero natural n tiene la propiedad u a partir de m.
Es decir, si suponemos que tenemos una propiedad u, respecto de la cual valen (i)
y (ii), ha de tener entonces todo nmero natural, a partir de m, la propiedad u?
Interpretamos una respuesta afirmativa como significando simplemente que, si
nos fuese dado cualquier nmero natural n, podramos estar seguros de que n tiene
la propiedad u. Pero un nmero natural n es dado precisamente cuando (de hecho
o en principio) se nos da su generacin conforme a la definicin inductiva,
231
comenzando con m y aplicando la operacin sucesor un nmero ostensible de
veces (es decir, adicionndole 1 a cada resultado hasta alcanzar n). Bajo tales
circunstancias, podemos usar (i) y (ii) para concluir que n tiene la propiedad u.
Expresado de otro modo, (i) y (ii), en la definicin anterior, son instrumentos que
nos capacitan, mientras generamos los nmeros naturales, a partir de m, por las
clusulas (i) y (ii) de la definicin inductiva, para verificar al mismo tiempo, con
respecto a cada nmero, a medida que lo generamos, que tiene la propiedad u.

Definicin 21 (Clases Transitivas):
(i) Tr (A): A es una clase transitiva.
(ii) Tr (A)
A
(xeA)|x_A|.

Ejemplo: El nmero 3 es un conjunto transitivo: en efecto, los elementos de 3 son
0, 1 y 2 y claramente cada uno de ellos satisface las siguientes contenciones:
0_3 (a partir del teorema 14(xi))
1_3 (ya que todo elemento de 1, esto es el 0, es tambin elemento de 3)
2_3 (ya que todo elemento de 2, esto es 0 y 1, tambin es elemento de 3).

Lema 1.26: (n=0)|0en|
Demostracin (por Induccin Generalizada Finita sobre n):
Sea n=0.
Si n=1 entonces, ya que 0e1 (segn la definicin 15(i)), 0en (por hiptesis).
Si 0en (hiptesis de induccin) entonces, ya que
n_n (a) segn teorema 19(ii),
se sigue que:
(x)|xenxen| a partir de (a) y la definicin 11(iii)
De modo que, en particular, 0en0en (b)
por instanciacin universal de la propiedad
anterior (corolario I.XLVII(ii))
Luego, de la hiptesis de induccin y de (b), se sigue que 0en (por modus
ponens (corolario IV.III).

Teorema 26:
(i) Tr (A)(xeA)(yex)|yeA|
(ii) A_ ATr (A).
(iii) (n)|n=0n=0|
(iv) Tr (0)
232
(v) (n)Tr (n)
(i) Demostracin:
Tr (A)(xeA)|x_A| por definicin 19(i)
(xeA)(y)|yexyeA| por definicin 11(iii)
(xeA)(yex)|yeA| por definicin
XXXIII(x)
(ii) Demostracin:
A_ A(x)|xeAxeA| por definicin 11(iii)
(x)|(yeA)|xey|xeA| por definicin 10(i)
(x)|(y)|yeAxey|xeA| por definicin XXXIII(x)
(x)(y)||yeAxey|xeA| por corolario I.LI(i)
(y)(x)|yeA|xeyxeA|| por corolario
II.XXXIX(iii)
(y)|yeA(x)|xeyxeA|| por corolario I.L(ii)
(yeA)(x)|xeyxeA| por definicin XXXIII(x)
(yeA)(xey)|xeA| por la misma razn
Tr (A) por teorema 26(i)
(iii) Demostracin:
Si n=0 entonces
xen(yen)|xey| por definiciones 5(i), 10(i)
(y)|yenxey| por definicin XXXIII(x)
|0enxe0| por instanciacin universal
xe0 por lema 1.26 y la regla de
modus ponens (corolario
II.III(ii))
(x)|xenxe0| por generalizacin universal de la
propiedad anterior (corolario I.XLV(i))
n_0 por definicin 11(iii)
n=0 por teorema 16(xviii)
(iv) Demostracin (por Contradiccin):
Supngase lo contrario, es decir, (a partir del
teorema 26(i)). Esto es, (-xe0)(-yex)|ye0| (a partir de la ltima
propiedad, por corolario I.XLII(i)), pero esta ltima propiedad contradice
al teorema 10(i)). Luego, nuestra suposicin inicial es falsa y por ende,
233
(xe0)(yex)|ye0| (a partir del corolario V.X(ii)), es decir, Tr (0)
(por teorema 26(i)).
(v) Demostracin (por Casos):
Ya que n=0vn=0 (segn el principio del tercero excluido (corolario
III.XV(ii)), se siguen los siguientes casos posibles:
Caso 1: Si n=0 entonces, ya que Tr (0), se sigue que Tr (n) (a partir de la
hiptesis y el teorema 3).
Caso 2: Por otro lado,
n=0n=0 por teorema 26(iii)
n_ n por teoremas 14(xi), 3
Tr (n) por teorema 26(ii)
Por consiguiente, Tr (n) (a partir del corolario V.XII).
(n)Tr (n) a partir de la generalizacin universal de la
propiedad anterior (corolario I.XLV(ii)).
Escolio: Estamos listos para responder a nuestra interrogante planteada
anteriormente: es vlida la siguiente proposicin: si m<n y si n<k entonces m<k?
A causa de que todo nmero natural es un conjunto transitivo entonces la anterior
proposicin es vlida, tal como lo afirma el siguiente corolario.

Corolario 1.26 (Propiedad Transitiva de la Desigualdad):
(i) |m<n.n<k|m<k
(ii) |msn.nsk|msk
(iii) |m>n.n>k|m>k
(iv) |m>n.n>k|m>k
(v) m>nnsm
(i) Demostracin:
|m<n.n<k||men.nck| por definicin 19(v) y el lema
1.24(iii)
|men.n_k.n = k| por definicin 11(v)
|men.(x)|xenxek|.n = k| por definicin 11(iii)
|men.menmek| instanciacin universal
(corolario I.XLVII(ii)) y la
regla de simplificacin
mek por modus ponens (corolario
II.III(ii))
m<k por definicin 19(v)
(ii) Demostracin:
234
|msn.nsk||(m<nvm=n).(n<kvn=k)| por definicin 19(vii)
||(m<nvm=n).n<k|v|(m<nvm=n).n=k||
por distributividad (corolario II.XXXII(i))
||n<k.(m<nvm=n)|v|n=k.(m<nvm=n) ||
por conmutatividad (corolario II.XXX(ii))
|(n<k.m<n)v(n<k.m=n)v(n=k.m<n)v(n=k.m=n)|
|(m<n.n<k)vm<kvm<kvm=k|
por conmutatividad (corolario II.XXX(ii)), el axioma 1 y el
teorema 1(iii)
| m<kvm<kvm=k|
por conmutatividad (corolario II.XXX(ii)), idempotencia
disyuntiva (corolario II.XXXVI(i)) y el corolario 1.26(i)
|m<kvm=k|
por idempotencia (corolario II.XXXVI(i))
msk por definicin 19(vii)
(iii) Demostracin:
|m>n.n>k||n<m.k<n| por definicin 19(vi)
|k<n.n<m| por conmutatividad (corolario
II.XXX(ii))
k<m por corolario 1.26(i)
m>k por definicin 19(vi)
(iv) Demostracin:
|m>n.n>k||(m>nvm=n).(n>kvn=k)| por definicin 19(viii)
||(m>nvm=n).n>k|v|(m>nvm=n).n=k||
||n>k.(m>nvm=n)|v|n=k.(m>nvm=n) ||
por conmutatividad (corolario II.XXX(ii))
|(n>k.m>n)v(n>k.m=n)v(n=k.m>n)v(n=k.m=n)|
|(m>n.n>k)vm>kvm>kvm=k|
por conmutatividad (corolario II.XXX(ii)), el axioma 1 y el
teorema 1(iii)
| m>kvm>kvm=k|
por conmutatividad (corolario II.XXX(ii)), idempotencia
disyuntiva (corolario II.XXXVI(i)) y el corolario 1.26(iii)
|m>kvm=k|
por idempotencia (corolario II.XXXVI(i))
235
m>k por definicin 19(vii).
(v) Demostracin:
m>n|m>nvm=n| por definicin 19(viii)
|n<mvm=n| por definicin 19(vi)
nsm por definicin 19(vii)

(i) m<n, n<km<k
(ii) msn, nskmsk
(iii) m>n, n>km>k
(iv) m>n, n>km>k
(i) Demostracin:
Si m<n y n<k entonces, ya que |m<n.n<k|m<k (a partir del corolario
2.26(i)), m<k (por modus ponens (corolario IV.III)). La tesis se sigue de la
definicin XIII(i).
(ii) Demostracin:
Si msn y nsk entonces, ya que |msn.nsk|msk (a partir del corolario
2.26(ii)), se tiene que msk (por modus ponens (corolario IV.III)). La tesis
se sigue de la definicin XIII(i).
(iii) Demostracin:
Si m>n y n>k entonces, ya que |m>n.n>k|m>k (a partir del corolario
2.26(iii)), se tiene que m>k (por modus ponens (corolario IV.III)). La tesis
(iv) Demostracin:
Si m>n y n>k entonces, ya que |m>n.n>k|m>k (a partir del corolario
2.26(iv)), se tiene que m>k (por modus ponens (corolario IV.III)). La tesis

(i) |msn.n<k|m<k
(ii) |m<n.nsk|m<k
(iii) |m>n.n>k|m>k
(iv) |m>n.n>k|m>k
(i) Demostracin:
|msn.n<k||(m<nvm=n).n<k| por definicin 19(vii)
236
|(m<n.n<k)v(m=n.n<k)| distributividad y
conmutatividad de la
conjuncin (corolarios
II.XXXII(i), II.XXX(ii))
|m<kvm<k| por corolario 1.26(i) y el
teorema 3
m<k por idempotencia (corolario
II.XXXVI(i))
(ii) Demostracin:
|m<n.nsk||m<n.(n<kvn=k)| por definicin 19(vii)
|(m<n.n<k)v(m<n.n=k)| distributividad (corolarios
II.XXXII(i), II.XXX(ii))
|m<kvm<k| por corolario 1.26(i) y el
teorema 3
m<k por idempotencia (corolario
II.XXXVI(i))
(iii) Demostracin:
|m>n.n>k||n<m.ksn| por definicin 19(viii) y el
corolario 1.26(v)
|ksn.n<m| por conmutatividad
conjuntiva (corolario
II.XXX(ii))
k<m por corolario 3.26(i)
m>k por definicin 19(viii)
(iv) Demostracin:
|m>n.n>k||nsm.k<n| por definicin 19(viii) y el
corolario 1.26(v)
|k<n.nsm | por conmutatividad
conjuntiva (corolario
II.XXX(ii))
k<m por corolario 3.26(ii)
m>k por definicin 19(viii)

Teorema 27 (Propiedad Inductiva de Orden):
(i) m<m.
(ii) m<nm<n.
(iii) m<n si y slo si se cumple lo requerido por (i) (ii).
(i) Demostracin:
237
Sabemos que mem (segn el teorema 19(iii)), es decir, m<m (a partir
de la definicin 19(v)).
(ii) Demostracin:
m<n|m<n.n<n| por simplificacin conjuntiva
(corolario II.XXXIV(ii))
m<n por corolario 1.26(i)
(iii) Demostracin (por Doble Implicacin):
Parte 1: Si m<n entonces m<mvm<n
En efecto,
m<nm<n segn el teorema 27(ii)
|m<nvm<m| por la regla de expansin
(corolario II.VII(ii))
|m<mvm<n| por conmutatividad
disyuntiva (corolario
II.XXX(i))
As, si m<n entonces m<mvm<n (a partir de la propiedad
anterior y de la regla de modus ponens (corolario IV.III).
Esto ltimo comprueba que si m<n entonces se cumple lo
requerido por (i) (ii).
Parte 2: Ahora bien, si m y n cumplen con lo requerido en (i) (ii) se
tiene que m<m o bien, m<km<k. Para el primer caso, n=m
y para el segundo, n=k, para algn k: y, en ambos casos, m<n.
Ejemplo:
El teorema anterior provee una manera alterna de comparar dos nmeros naturales
cualesquiera. Por ejemplo, para comparar los nmeros naturales 7 y 2 es necesario
notar lo siguiente:
2<3 (por aplicacin del teorema 27(i)).
Por consiguiente:
Si 2<3 entonces 2<4 (por aplicacin del teorema 27(ii))
Se concluye entonces que 2<7 (ya que se ha cumplido con lo requerido en (i) (ii)
del teorema 27).
Todo este proceso no es indispensable si se nota que 2e7 (segn la definicin
15(vii)) y, por consiguiente, 2<7 (a partir de la definicin 19(v)).
Escolio: Cuando este teorema es ledo, para un m fijo, como una definicin
inductiva de la clase de los nmeros n mayores que m, tiene la forma de la
238
definicin inductiva de los nmeros naturales original (definicin 20), con m
reemplazando a 0.

16. Induccin Matemtica (Induccin Finita). Aritmtica de
los Nmeros Naturales.
Escolio: La meta de desarrollar una teora de conjuntos consistente (sin
contradicciones) fue el de desarrollar un ltimo mtodo de demostracin: la
Induccin matemtica. Estamos listos para darle una aplicacin inmediata a dicho
mtodo de demostracin dentro del marco de la teora de conjuntos de Cantor: el
desarrollo de una Aritmtica de los nmeros naturales.

Definicin XLII (Operaciones Binarias entre Nmeros Naturales):
(i) m+n se lee m ms n, donde el smbolo + denota la operacin suma
(adicin) entre m y n, a los cuales llamaremos sumandos.
(ii) mn se lee m por n, o bien, m multiplicado por n donde el
smbolo denota la operacin multiplicacin (producto) entre m y n,
a los cuales llamaremos factores.

Definicin XLIII (Aritmtica de los Nmeros Naturales): Por Aritmtica
7
de
los nmeros naturales ( ) entenderemos la clase de todas las inferencias lgicas
que se deducen de las siguientes propiedades (proposicionessmbolo):
(i) 0e (teorema 21(ii))
(ii) ne ne (teorema 21(iii))
(iii) n = 0 (teorema 19(v))
(iv) m=nm=n (teorema 22)
(v) |A_ .0eA.(n)|neAneA||A= . (teorema 23)
Conocidas como los postulados de Peano, extendidas a la adicin o suma (+) y a
la multiplicacin o producto () de dos nmeros naturales.
Escolio: la definicin anterior da por sentado el concepto de suma y producto de
dos nmeros naturales, las cuales se hacen explcitas a continuacin:

Definicin 22 (Suma o Adicin de dos Nmeros Naturales):
(i) m+0
A
=m
(ii) m+n
A
=( m+ n)
Ejemplo:
5+ 3= 5+2 a partir de la definicin 15(iii)

7
Aritmtica, literalmente, arte de contar. La palabra deriva del griego arithmtik, que combina dos
palabras: arithmos, que significa nmero, y techn, que se refiere a un arte o habilidad.
239
=(5+2) segn la definicin 22(ii)
=(5+1) a partir de la definicin 15(ii)
=(( 5+ 1)) por definicin 22(ii)
=(( 5+ 0)) segn definicin 15(i)
=((( 5+ 0))) segn definicin 22(ii)
=((5)) por definicin 22(i)
=(6) por definicin 15(vi)
=7 por definicin 15(vii)
=8 por definicin 15(viii)

Escolio: Dados dos nmeros naturales, cualesquiera, por muy grandes que estos
sean su suma seguir siendo otro nmero natural o el resultado escapa fuera
del conjunto ? El siguiente teorema responde a esta pregunta: La adicin de dos
nmeros naturales siempre es posible, es decir,

Teorema 28 (Cerradura de la Suma): (m)(n)|m+ne |
Demostracin (por Induccin Finita sobre n):
Si n=0 entonces m+n=m+0 a partir de la hiptesis y el teorema 3
=m por definicin 22(i)
me a partir de la definicin 17(iv)
m+ne a partir de la igualdad anterior
Si m+ne entonces
m+n=(m+ n) por definicin 22(ii)
(m+ n)e por hiptesis de induccin y el teorema 21(iii)
m+ ne a partir de la igualdad anterior, y el teoremas 3 y la
propiedad anterior.
(n)|m+ne | a partir de la generalizacin universal de la
propiedad anterior (corolario 2.23)
(m)(n)|m+ne | a partir de la generalizacin universal de la
propiedad anterior (corolario I.XLV(i)).
Escolio: Existe la posibilidad de que al sumar dos nmeros naturales
obtengamos dos resultados distintos? El siguiente teorema afirma que esto es
imposible: la suma de dos nmeros naturales es nica.

Teorema 29 (Unicidad de la Suma): (m)(n)(-!k)|m+n=k|.
Demostracin:
Ya que,
Parte 1: (-k)|m+n=k| (a)
240
En efecto,
m+ne a partir del teorema 32
(-k)|m+n=k| segn propiedad anterior y la definicin 17(iv)
Parte 2: (k)(l)||m+n=k.m+n=l|k=l| (b)
En efecto,
|m+n=k.m+n=l||k=m+n.m+n=l| por teorema 1(ii) y el
corolario
IV.XXXVIII(ii)
k=l a partir del teorema 1(iii)
De la propiedad anterior se sigue que:
(k)(l)||m+n=k.m+n=l|k=l| a partir de la generalizacin
universal de la propiedad
De la conjuncin de (a) y (b) se sigue la siguiente propiedad:
(-k)|m+n=k|.(k)(l)||m+n=k.m+n=l|k=l| a partir del teorema
XVII(ii)
(-!k)|m+n=k| segn propiedad anterior y la
definicin XXXIX(ii).
(m)(n)(-!k)|m+n=k| a partir de la generalizacin
universal de la propiedad anterior

Escolio: A partir de los teoremas anteriores parece claro que al sumar dos
nmeros naturales siempre tendremos como resultado otro nmero natural
(propiedad de cerradura de la suma en ), el cual a su vez, es nico.

Teorema 30 (Asociatividad de la Suma de los Nmeros Naturales):
(m)(n)(k)|(m+ n)+k=m+(n+k)|
Demostracin (por Induccin Finita sobre k):
Si k=0 entonces (m+ n)+k=(m+ n)+0 por hiptesis
= m+ n por definicin 22(i)
= m+ (n+0) usando la definicin 22(i)
= m+ (n+k) por hiptesis
Si (m+ n)+k=m+(n+k) entonces
(m+n)+k=((m+ n)+k) por definicin 22(ii)
= (m+(n+k)) por hiptesis de induccin y el teorema 3
=m+(n+k) por definicin 22(ii)
=m+ (n+k) por definicin 22(ii)
241
(k)| (m+ n)+k=m+(n+k)| a partir del corolario 2.23
(m)(n)(k)| (m+ n)+k=m+( n+k)| por generalizacin universal de la
Escolio: Del teorema anterior es posible obtener una regla muy parecida a la
establecida en la definicin VII(ii), respecto de los signos de agrupacin: en la
suma de nmeros naturales el correr parntesis no altera el resultado, de ah que
introduzcamos la siguiente definicin metamatemtica:

Definicin XLIV (Convenio): En la suma de dos o ms nmeros naturales es
posible omitir los signos de agrupacin.
Ejemplo: Gracias al teorema y la definicin anterior es posible escribir
5+4+9+3+2, en lugar de (((5+4)+9)+3)+2. La propiedad asociativa de la suma
permite simplificar la notacin.

Lema 1.31:
(i) (n)|n=1+ n|.
(ii) (n)| 0+n=n|.
(i) Demostracin (por Induccin Finita sobre n):
Si n=0 entonces n=0 por hiptesis y el teorema 3
=1 por definicin 15(i)
=1+0 por definicin 22(i)
=1+n por hiptesis
Si n=1+ n entonces
n=(1+ n) por hiptesis de induccin
=1+ n por definicin 22(ii)
(n)|n=1+ n| (a partir de la definicin XL).
(ii) Demostracin (por Induccin Finita sobre n):
Si n=0 entonces 0+n =0+0 por hiptesis y el teorema 3
=n por hiptesis y el teorema 3
Si 0+n=n entonces
0+n=(0+ n) por definicin 22(ii)
= n por hiptesis de induccin y el teorema 3
(n)| 0+n=n| a partir del corolario 2.23.

Teorema 31 (Conmutatividad de la Adicin o Suma):
(m)(n)|m+n=n+m|.
Si n=0 entonces m+n=m+0 por hiptesis y el teorema 3
242
=m por definicin 22(i)
=0+m segn lema 1.31(ii) y el teorema 1(ii)
= n+m por hiptesis y el teorema 3
Si m+n=n+m entonces
m+n=(m+ n) por definicin 22(ii)
= (n+m) por hiptesis de induccin y teorema 3
=1+ (n+m) segn lema 1.31(i) y el teorema 29
=(1+ n)+m a partir del teorema 30
=n+m por lema 1.31(i) y el teorema 3
(n)|m+n=n+m| a partir del corolario 2.23
(m)(n)|m+n=n+m| por generalizacin universal de la
Escolio: Estamos listos para dar una definicin ms prctica de la suma de dos
nmeros naturales.

Teorema 32: (n)|n=n+1|.
Demostracin:
n=1+ n a partir del lema 1.29(i)
n=n+1 por el teorema 31 y el teorema 3
(n)| n=n+1| a partir de la generalizacin universal de la
Escolio: De ac en adelante, al sucesor de un nmero natural n, ya no lo
denotaremos por n, sino por n+1. Este cambio de notacin afecta a todos lo
resultados anteriores, principalmente a los concernientes con el mtodo de
demostracin por induccin finita.

Corolario 1.32 (Principio Generalizado de Induccin Finita o Principio de
Induccin Matemtica):
u(m), (n)|u(n)u(n+1)|(k >m)u(k)
Demostracin:
u(m), (n)|u(n)u(n)|(k >m)u(k) por corolario 2.25
n=n+1 por instanciacin universal del teorema 32
u(m), (n)|u(n)u(n+1)|(k >m)u(k) a partir de la
propiedad inicial, la
igualdad anterior y el
axioma 1.
243
Escolio: De ac en adelante, cada vez que nos refiramos al principio de induccin
finita nos estaremos refiriendo al corolario anterior, en donde se usa n+1 en lugar
de n.

Teorema 33 (Suma o Adicin de dos Nmeros Naturales):
(i) m+0=0+m=m.
(ii) m+( n+1)=(m+ n)+1
(i) Demostracin:
m+0=0+m a partir del teorema 31
m+0=m segn definicin 22(i)
m+0=0+m=m a partir de las igualdades anteriores, el
corolario 1.1(iii) y la definicin 3(iv).
(ii) Demostracin:
(m+ n)+1=m+( n+1) a partir del teorema 30 (instanciacin
universal (corolario I.XLVII))
m+(n+1)= (m+ n)+1 segn el corolario 1.1(ii).
Escolio: A continuacin exponemos la tabla bsica de la suma, la cual ser de
suma importancia en el desarrollo de un algoritmo general para la suma de dos
nmeros naturales cualesquiera, el cual ser de vital importancia para clculos
aritmticos posteriores.

Teorema 34 (Tabla Bsica de la Suma entre Nmeros Naturales):

1+1=2 2+1=3 3+1=4 4+1=5 5+1=6 6+1=7 7+1=8 8+1=9 9+1=10
1+2=3 2+2=4 3+2=5 4+2=6 5+2=7 6+2=8 7+2=9 8+2=10 9+2=11
1+3=4 2+3=5 3+3=6 4+3=7 5+3=8 6+3=9 7+3=10 8+3=11 9+3=12
1+4=5 2+4=6 3+4=7 4+4=8 5+4=9 6+4=10 7+4=11 8+4=12 9+4=13
1+5=6 2+5=7 3+5=8 4+5=9 5+5=10 6+5=11 7+5=12 8+5=13 9+5=14
1+6=7 2+6=8 3+6=9 4+6=10 5+6=11 6+6=12 7+6=13 8+6=14 9+6=15
1+7=8 2+7=9 3+7=10 4+7=11 5+7=12 6+7=13 7+7=14 8+=15 9+7=16
1+8=9 2+8=10 3+8=11 4+8=12 5+8=13 6+8=14 7+8=15 8+8=16 9+8=17
1+9=10 2+9=11 3+9=12 4+9=13 5+9=14 6+9=15 7+9=16 8+9=17 9+9=18

(i) Demostracin (Tabla del 1):
(i.i) 1+1= 1 a partir del lema 1.31(i)
=2 por definicin 15(ii)
(i.ii) 1+2=2 a partir del lema 1.31(i)
=3 por definicin 15(iii)
244

(i.iii) 1+3=3 a partir del lema 1.31(i)
=4 por definicin 15(iv)

(i.iv) 1+4 =4 a partir del lema 1.31(i)
=5 por definicin 15(v)

(i.v) 1+5=5 a partir del lema 1.31(i)
=6 por definicin 15(vi)

(i.vi) 1+6=6 por lema 1.31(i)

(i.vii) 1+7=7 por lema 1.31(i)

(i.viii) 1+7=7 por lema 1.31(i)

(i.ix) 1+8=8 por lema 1.31(i)
=9 por definicin 15(ix)

(ii) Demostracin (Tabla del 2):
(ii.i) 2+1=2 segn teorema 32
=3 por definicin 15(iii)

(ii.ii) 2+2=2+(1+1) a partir de la tabla 1(i.i)
=(2+1)+1 por teorema 33(ii)
=3+1 a partir del resultado anterior y el axioma 1
=3 por teorema 32
=4 segn definicin 15(iv)

(ii.iii) 2+3=2+(2+1) a partir de la tabla 2(ii.i)
=4 por teorema 32
=5 segn definicin 15(v)

(ii.iv) 2+4=2+3 por definicin 15(iv)
245
=2+(3+1) por teorema 32
=5+1 a partir del resultado anterior, (ii.iii), y el axioma 1
=5 por teorema 32
=6 segn definicin 15(vi)

(ii.v) 2+5=2+4 por definicin 15(v)
=6+1 a partir del resultado anterior, (ii.iv), y el axioma 1
=6 por teorema 32
=7 segn definicin 15(vii)

(ii.vi) 2+6=2+5 por definicin 15(vi)
=7+1 a partir del resultado anterior, (ii.v), y el axioma 1
=7 por teorema 32
=8 segn definicin 15(viii)

(ii.vii) 2+7=2+6 por definicin 15(vii)
=8+1 a partir del resultado anterior, (ii.vi), y el axioma 1
=9 por teorema 32
=10 segn definicin 15(ix)

(ii.viii) 2+8=2+7 por definicin 15(viii)
=9+1 a partir del resultado anterior, (ii.vii), y el axioma 1
=9 por teorema 32
=10 segn definicin 15(x)

(ii.ix) 2+9=2+8 por definicin 15(viii)
246
=10 por teorema 32
=11 segn definicin 15(xi)

(iii) Demostracin (Tabla del 3):
(iii.i) 3+1=3 segn teorema 32
=4 por definicin 15(iv)

(iii.ii) 3+2=3+(1+1) a partir de la tabla 1(i.i)
=4 por teorema 32

(iii.iii) 3+3=3+(2+1) a partir de la tabla 2(ii.i)
=5 por teorema 32

(iii.iv) 3+4=3+3 por definicin 15(iv)
=6 por teorema 32

(iii.v) 3+5=3+4 por definicin 15(v)
=7 por teorema 32

(iii.vi) 3+6=3+5 por definicin 15(vi)
247
=8 por teorema 32

(iii.vii) 3+7=3+6 por definicin 15(vii)
=9 por teorema 32

(iii.viii) 3+8=3+7 por definicin 15(viii)
=10 por teorema 32

(iii.ix) 3+9=3+8 por definicin 15(viii)
=11 por teorema 32
=12 segn definicin 15(xii)

(iv) Demostracin (Tabla del 4):
(iv.i) 4+1=4 segn teorema 32
=5 por definicin 15(v)

(iv.ii) 4+2=4+(1+1) a partir de la tabla 1(i.i)
=5 por teorema 32
=6 segn definicin 15(vi)

(iv.iii) 4+3=4+(2+1) a partir de la tabla 2(ii.i)
248
=6 por teorema 32

(iv.iv) 4+4=4+3 por definicin 15(iii)
=7 por teorema 32

(iv.v) 4+5=4+4 por definicin 15(v)
=8 por teorema 32

(iv.vi) 4+6=4+5 por definicin 15(vi)
=9 por teorema 32

(iv.vii) 4+7=4+6 por definicin 15(vii)
=10 por teorema 32

(iv.viii) 4+8=4+7 por definicin 15(viii)
=11 por teorema 32

249
(iv.ix) 4+9=4+8 por definicin 15(viii)
=12 por teorema 32
=13 segn definicin 15(xiii)

(v) Demostracin (Tabla del 5):
(v.i) 5+1=5 segn teorema 32
=6 por definicin 15(vi)

(v.ii) 5+2=5+(1+1) a partir de la tabla 1(i.i)
=6 por teorema 32

(v.iii) 5+3=5+(2+1) a partir de la tabla 2(ii.i)
=7 por teorema 32

(v.iv) 5+4=5+3 por definicin 15(iii)
=8 por teorema 32

(v.v) 5+5=5+4 por definicin 15(v)
=9 por teorema 32

(v.vi) 5+6=5+5 por definicin 15(vi)
250
=10 por teorema 32

(v.vii) 5+7=5+6 por definicin 15(vii)
=11 por teorema 32

(v.viii) 5+8=5+7 por definicin 15(viii)
=12 por teorema 32

(v.ix) 5+9=5+8 por definicin 15(viii)
=13 por teorema 32
=14 segn definicin 15(xiv)

(vi) Demostracin (Tabla del 6):
(vi.i) 6+1=6 segn teorema 32

(vi.ii) 6+2=6+(1+1) a partir de la tabla 1(i.i)
=7 por teorema 32

(vi.iii) 6+3=6+(2+1) a partir de la tabla 2(ii.i)
251
=8 por teorema 32

(vi.iv) 6+4=6+3 por definicin 15(iii)
=9 por teorema 32

(vi.v) 6+5=6+4 por definicin 15(v)
=10 por teorema 32

(vi.vi) 6+6=6+5 por definicin 15(vi)
=11 por teorema 32

(vi.vii) 6+7=6+6 por definicin 15(vii)
=12 por teorema 32

(vi.viii) 6+8=6+7 por definicin 15(viii)
252
=13 por teorema 32

(vi.ix) 6+9=6+8 por definicin 15(viii)
=14 por teorema 32
=15 segn definicin 15(xv)

(vii) Demostracin (Tabla del 7):
(vii.i) 7+1=7 segn teorema 32

(vii.ii) 7+2=7+(1+1) a partir de la tabla 1(i.i)
=8 por teorema 32

(vii.iii) 7+3=7+(2+1) a partir de la tabla 2(ii.i)
=9 por teorema 32

(vii.iv) 7+4=7+3 por definicin 15(iii)
=10 por teorema 32

(vii.v) 7+5=7+4 por definicin 15(v)
=11 por teorema 32
253

(vii.vi) 7+6=7+5 por definicin 15(vi)
=12 por teorema 32

(vii.vii) 7+7=7+6 por definicin 15(vii)
=13 por teorema 32

(vii.viii) 7+8=7+7 por definicin 15(viii)
=14 por teorema 32

(vii.ix) 7+9=7+8 por definicin 15(viii)
=15 por teorema 32
=16 segn definicin 15(xvi)

(viii) Demostracin (Tabla del 8):
(viii.i) 8+1=8 segn teorema 32
=9 por definicin 15(ix)

(viii.ii) 8+2=8+(1+1) a partir de la tabla 1(i.i)
=9 por teorema 32
254

(viii.iii) 8+3=8+(2+1) a partir de la tabla 2(ii.i)
=10 por teorema 32

(viii.iv) 8+4=8+3 por definicin 15(iii)
=11 por teorema 32

(viii.v) 8+5=8+4 por definicin 15(v)
=12 por teorema 32

(viii.vi) 8+6=8+5 por definicin 15(vi)
=13 por teorema 32
=14 segn definicin 15(xiiv)

(viii.vii) 8+7=8+6 por definicin 15(vii)
=14 por teorema 32

(viii.viii) 8+8=8+7 por definicin 15(viii)
255
=15 por teorema 32

(viii.ix) 8+9=8+8 por definicin 15(viii)
=16 por teorema 32
=17 segn definicin 15(xvii)

(ix) Demostracin (Tabla del 9):
(ix.i) 9+1=9 segn teorema 32
=10 por definicin 15(x)

(ix.ii) 9+2=9+(1+1) a partir de la tabla 1(i.i)
=10 por teorema 32

(ix.iii) 9+3=9+(2+1) a partir de la tabla 2(ii.i)
=11 por teorema 32

(ix.iv) 9+4=9+3 por definicin 15(iii)
=12 por teorema 32

(ix.v) 9+5=9+4 por definicin 15(v)
256
=13 por teorema 32

(ix.vi) 9+6=9+5 por definicin 15(vi)
=14 por teorema 32

(ix.vii) 9+7=9+6 por definicin 15(vii)
=15 por teorema 32

(ix.viii) 9+8=9+7 por definicin 15(viii)
=16 por teorema 32
=17 segn definicin 15(xvii)

(ix.ix) 9+9=9+8 por definicin 15(viii)
=17 por teorema 32
=18 segn definicin 15(xviii).

Escolio: Si m, ne entonces, del teorema 29, sabemos que existir un nico
ke tal que m+n=k. Al nmero natural, resultado de la operacin de sumar m y n,
esto es, k, lo llamaremos suma o total y a m y n, en m+n=k, sumandos (de k).

Definicin XLV (Componentes de la Adicin):
(i) k es la suma (total) de m y n si y slo si m+n=k.
257
(ii) m y n son sumandos de k si y slo si m+n=k.
Ejemplo: Ya que 4+6=10, segn la tabla del 4 para la suma (teorema 34), se sigue
que 10 es la suma de 4 y 6, y que 4 y 6 son sumandos de 10.

Teorema 35 (Propiedad Cancelativa de la Suma):
(m)(n)(k)|m=nm+k=n+k|.
Parte 1 (): m=nm+k=n+k (a)
En efecto, la propiedad anterior es vlida a partir del axioma 1.
Parte 2 (:, por Contradiccin): m+k=n+km=n (b)
Supngase lo contrario, esto es, m=n.
Entonces, de la suposicin anterior, se sigue que existe un nico l
tal que:
m+k=l (1) por teorema 29
y existe un nico r tal que
n+k=r (2) por teorema 29
donde, l=r (c) a partir de la suposicin
Si m+k=n+k (hiptesis de la propiedad (b)) entonces l=r (a partir
de (1), (2) y el axioma 1), resultado que contradice a la propiedad
(c). Luego, nuestra suposicin inicial es falsa y, por consiguiente,
m=n (es decir, la propiedad (b) es verdadera, a partir del corolario
III.X(ii)).
De las propiedades (a) y (b) se deduce que:
m=nm+k=n+k a partir del corolario V.VIII
(k)|m=nm+k=n+k| por generalizacin universal de la
propiedad anterior
(n)(k)|m=nm+k=n+k| por la misma razn anterior
(m)(n)(k)|m=nm+k=n+k| por la misma razn.
Escolio: La propiedad anterior establece en el metalenguaje la siguiente regla
general: una igualdad entre nmeros naturales no se altera (permanece
equivalente) al sumar miembro a miembro de la igualdad un mismo nmero
natural.

Ejemplo: 5=55+3=5+3 sumando miembro a miembro de la igualdad 3
8=8 a partir de la tabla de la suma (teorema 35)

Lema 1.36 (Monotona de la Suma): (m)(n)(k)|m<nm+1<n+1|.
Parte 1 (, por Contradiccin y por Casos): m<nm+1<n+1 (a)
En efecto, si suponemos lo contrario, esto es, si
258
m+1<
/
n+1 (b)
se sigue, a partir del corolario 1.24, que:
m+1=n+1 m+1>n+1 (b)
As, si m<n (c) hiptesis de la propiedad (a)
Entonces, a partir de (b) se siguen los siguientes casos:
Caso 1: si m+1=n+1 se sigue que m=n (a partir del teorema 35 y la
regla de reemplazo (corolario I.IV)), resultado que
contradice la propiedad (c).
Caso 2: si m+1>n+1, es decir, si n+1<m+1 (segn definicin
19(vi)) se sigue que
n+1em por definicin 19(v) y el teorema 32
n+1em{m} por la definicin 14
n+1emvn+1e{m} (d) por lema 1.9
Caso 2.1: si n+1em entonces
n+1<m (e) por definicin 19(v)
Luego, de (e) y (c), se sigue que:
n+1<n por corolario 2.26(i)
es decir, n<n a partir del teorema 32
Sin embargo, este resultado contradice al
teorema 27(i).
Caso 2.2: si n+1e{m}, se sigue que,
n+1= m (1) por teorema 8(iv)
As, de (1) y (c), se sigue que:
n+1<n por axioma 1
es decir, n<n a partir del teorema 32
teorema 27(i).
Dado que ambos casos posibles (casos 2.1 y 2.2) conducen
a una contradiccin, se sigue que (d) es imposible.
De igual manera, ya que ambos casos (casos 1 y 2) conducen a una
contradiccin, se sigue que la suposicin (b), dada inicialmente, es
falsa. Luego, del razonamiento anterior y del corolario V.X(ii), se
sigue que la propiedad (a) es vlida.
Parte 2 (:, por Contradiccin): m+1<n+1 m<n (f)
Supngase lo contrario a la tesis de la propiedad (f), esto es,
m<
/
n (g)
Entonces, de la suposicin anterior, se sigue, a partir del corolario
1.24, que:
m=n m>n (g)
259
Por otro lado,
m+1<n+1 m+1en por definicin 19(v) y
el teorema 32
m+1en{n} por la definicin 14
m+1envm+1e{n} por lema 1.9
m+1<nvm+1=n (h) por teorema 8(iv) y
definicin 19(v)
As, si m+1<n+1 (i) hiptesis de la propiedad (f)
Se sigue: m+1<nvm+1=n (j) reemplazando (i) por
(h) a partir de la
regla de reemplazo
(corolario I.IV).
Adems, a partir de (g) se siguen los siguientes casos:
Caso 1: si m=n se sigue que
n+1<nvn+1=n a partir de (j) y la regla de
reemplazo (corolario I.IV),
Caso 1.1: si n+1<n, es decir, si n<n (segn el teorema
30) entonces se contradice al teorema 27(i).
Caso 2.1: si n+1=n, es decir, si n=n (por teorema 32)
entonces se contradice al teorema 19(iv).
En ambos casos se obtiene una contradiccin.
Caso 2: si m>n, es decir, si
n<m (k) segn definicin 19(vi)
entonces, a partir de (j), es posible considerar los
siguientes casos:
Caso 2.1: si m+1<n (l)
entonces de (l) y (k), se sigue que:
m+1<m por corolario 2.26(i)
es decir, m<m a partir del teorema 32
teorema 27(i).
Caso 2.2: si m+1=n (2)
de (2) y (k), se sigue que:
m+1<m a partir del axioma 1
es decir, m<m a partir del teorema 32
teorema 27(i).
En ambos casos (casos 2.1 y 2.2) se conduce a una
contradiccin.
260
Ya que ambos casos posibles (casos 1 y 2) conducen a una
contradiccin, la suposicin (g), dada inicialmente, es falsa. Luego, a
partir del corolario V.X(ii), se sigue que la propiedad (f) es vlida.
De (a) y (f) se sigue que
m<nm+1<n+1 a partir del corolario V.VIII
De la aplicacin sucesiva de la generalizacin universal de la propiedad anterior
se sigue la tesis (corolario I.XLV(i)).

Teorema 36 (Monotona de la Suma): (m)(n)(k)|m<nm+k<n+k|.
En efecto, para k=0 tenemos:
m<nm+0<n+0 a partir de la definicin 22(i)
m+k<n+k (a) por hiptesis y el axioma 1
Si m<nm+k<n+k entonces
m+(k+1)<n+(k+1)(m+k)+1<(n+k)+1 a partir del teorema
33(ii) y del axioma 1
m+k<n+k por teorema 32 y el lema 1.36
m<n por hiptesis de induccin.
m<n m+(k+1)<n+(k+1) a partir del corolario III.XXIII(ii)
(k)|m<nm+k<n+k| a partir del razonamiento anterior y
la definicin XL
(m)(n)(k)|m<nm+k<n+k| a partir de la generalizacin de la
I.XLV(i)).
Escolio: El anterior teorema establece una regla general en el metalenguaje: una
desigualdad entre nmeros naturales no se altera (es equivalente) al sumar
miembro a miembro un mismo nmero natural.

Ejemplo: 2<52+3<5+3 sumando miembro a miembro 3
5<8 a partir de la tabla de la suma (teorema 36)
Escolio: Estamos listos para definir la multiplicacin en .

Definicin 23 (Multiplicacin o Producto de dos Nmeros Naturales):
(i) m0
A
= 0
(ii) mn
A
= (mn)+m
A
=mn+m
Escolio: La definicin 23(ii) establece que, cuando se hayan combinadas las
operaciones de multiplicacin y adicin, siempre debe efectuarse primero la
multiplicacin y luego la suma, tal como lo sealan los signos de agrupacin. Esta
regla bsica se desprende del uso de los signos de agrupacin que encierran a la
261
multiplicacin en dicha definicin y que, de ac en adelante, se sobreentendern
(esto es precisamente lo que establece la ltima igualdad del inciso (ii)).

Ejemplo:
5 3= 52 a partir de la definicin 15(iii)
=52+5 segn la definicin 23(ii)
=51+5 a partir de la definicin 15(ii)
=(51+5)+5 por definicin 23(ii)
=(50+5)+5 segn definicin 15(i)
=(((50+5)+5)+5 segn definicin 23(ii)
=(((0+5)+5)+5 por definicin 23(i)
=5+5+5 por teorema 33(i) y la definicin XLIV
=15

Escolio: Dados dos nmeros naturales, cualesquiera, por muy grandes que estos
sean su producto seguir siendo otro nmero natural o el resultado escapa
fuera del conjunto ? El siguiente teorema responde a esta pregunta: La
multiplicacin de dos nmeros naturales siempre es posible, es decir,

Teorema 37 (Cerradura del Producto): (m)(n)|mne |
Si n=0 entonces mn=m0 a partir de la hiptesis y el axioma 1
me a partir de la definicin 17(iv)
mne a partir de la igualdad anterior y del axioma 1
Si mne entonces
mn= mn+m por definicin 22(ii)
mn+me por hiptesis de induccin, definicin 17(iv) y el
teorema 28
mne a partir de la igualdad anterior, el axioma 1 y la
propiedad anterior.
(n)|mne | a partir de la generalizacin universal de la
propiedad anterior (corolario 2.23)
(m)(n)|mne | a partir de la generalizacin universal de la
Escolio: Existe la posibilidad de que al multiplicar dos nmeros naturales
obtengamos dos resultados distintos? El siguiente teorema afirma que esto es
imposible: el producto de dos nmeros naturales es nico.
262

Teorema 38 (Unicidad del Producto): (m)(n)(-!k)|mn=k|.
Demostracin:
Ya que,
Parte 1: (-k)|mn=k| (a)
En efecto,
mne a partir del teorema 32
(-k)|mn=k| segn propiedad anterior y la definicin
17(iv)
Parte 2: (k)(l)||mn=k.mn=l|k=l| (b)
En efecto,
|mn=k.mn=l||k=mn.mn=l| por teorema 1(ii) y el
corolario
IV.XXXVIII(ii)
(k)(l)||mn=k.mn=l|k=l| a partir de la generalizacin
(-k)|mn=k|.(k)(l)||mn=k.mn=l|k=l| a partir del teorema
XVII(ii)
(-!k)|mn=k| segn propiedad anterior y la
(m)(n)(-!k)|mn=k| a partir de la generalizacin
universal de la propiedad anterior

Escolio: A partir de los teoremas anteriores parece claro que al multiplicar dos
nmeros naturales siempre tendremos como resultado otro nmero natural
(propiedad de cerradura del producto en ), el cual a su vez, es nico.

Teorema 39:
(i) (n)|0n=0|.
(ii) (n)|1n=n|.
(iii) (n)|n1=n|.
Si n=0 entonces 0n=00 por hiptesis y el axioma 1
263
Si 0n=0 entonces
0n=0n+0 por definicin 23(ii)
=0+0 por hiptesis de induccin y el axioma 1
(n)|0n=0| a partir del corolario 2.23.
(ii) Demostracin (por Induccin Finita sobre n):
Si n=0 entonces 1n=10 por hiptesis y el axioma 1
=n por hiptesis y el axioma 1
Si 1n=n entonces
1n=1n+1 por definicin 23(ii)
= n+1 por hiptesis de induccin y el axioma 1
= n por teorema 32
(n)|1n=n| a partir del corolario 2.23.
(iii) Demostracin:
n1= n0 por definicin 15(i)
= n0+n por definicin 23(ii)
=0+n por definicin 23(i)
=n por lema 1.31(ii).

Teorema 40 (Distributividad del Producto respecto de la Adicin de dos
Nmeros Naturales):
(i) (m)(n)(k)|m(n+k)=mn+mk|
(ii) (m)(n)(k)|(n+k)m=nm+km|
(i) Demostracin (por Induccin Finita sobre k):
Si k=0 entonces m(n+k)=m(n+0) por hiptesis y el axioma 1
= mn por definicin 22(i)
= mn+0 por teorema 37 y la
definicin 22(i)
= mn+m0 por definicin 23(i)
=mn+mk por hiptesis y el axioma 1
Si m(n+k)=mn+mk entonces
m(n+k) =m(n+k) por definicin 22(ii)
=m(n+k)+m por la definicin 23(ii) y el
teorema 37
= mn+mk+m por hiptesis de induccin y
264
el axioma 1
= mn+mk por teorema 30 y la
definicin 23(ii)
(k)|m(n+k)=mn+mk| a partir del corolario 2.23
(m)(n)(k)|m(n+k)=mn+mk| por generalizacin universal
(ii) Demostracin (por Induccin Finita sobre m):
Si m=0 entonces (n+k)m=(n+k)0 por hiptesis y el axioma 1
= 0 por teorema 28 y la
definicin 23(i)
=0+0 por definicin 22(i)
=n0+k0 por la definicin 23(i)
= nm+km por hiptesis y el axioma 1
Si (n+k)m=nm+km entonces
(n+k)m=(n+k)m+(n+k) por teorema 28 y la
definicin 23(ii)
= nm+km+n+k por hiptesis de induccin,
el axioma 1 y la definicin
XLIV
= nm+n+km+k por teoremas 30 y 31
= nm+km por definicin 23(ii)
(k)|m(n+k)=mn+mk| a partir del corolario 2.23
(m)(n)(k)|m(n+k)=mn+mk| por generalizacin universal

Teorema 41 (Asociatividad del Producto de los Nmeros Naturales):
(m)(n)(k)|(mn)k =m(nk)|
Si k=0 entonces (mn)k=(mn)0 por hiptesis
=n0 usando la definicin 23(i)
= m(n0) a partir de las igualdades
anteriores, de la definicin
23(i) y del axioma 1
=m(nk) por hiptesis
Si (mn)k=m(nk) entonces
265
(mn)k=(mn)k+mn por teorema 37 y la definicin 23(ii)
= m(nk) +mn por hiptesis de induccin y el
axioma 1
=m(nk+n) a partir del teorema 39(i)
=m(nk) por definicin 23(ii)
(k)|(mn)k=m(nk)| a partir del corolario 2.23
(m)(n)(k)|(mn)k=m(nk)| por generalizacin universal de la
I.XLV(i)).
Escolio: Del teorema anterior es posible obtener una regla muy parecida a la
establecida para la suma, en la definicin XLIV, respecto de los signos de
agrupacin: en el producto de tres o ms nmeros naturales, el correr parntesis
no altera el resultado, de ah que introduzcamos la siguiente definicin
metamatemtica:

Definicin XLVI (Convenio): En el producto de dos o ms nmeros naturales
es posible omitir los signos de agrupacin.
Ejemplo: Gracias al teorema y la definicin anterior es posible escribir
54932, en lugar de (((54)9)3)2. La propiedad asociativa del
producto permite simplificar la notacin, evitando los parntesis.

Teorema 42 (Conmutatividad de la Multiplicacin o Producto):
(m)(n)|mn=nm|.
Si n=0 entonces mn=m0 por hiptesis y el axioma 1
=0m segn teorema 39(i)
=nm por hiptesis y el axioma 1
Si mn=nm entonces
mn=mn+m por definicin 23(ii)
= nm+m por hiptesis de induccin y el axioma 1
= nm+1m segn teorema 39(ii)
=(n+1)m a partir del teorema 40(ii)
=nm segn el teorema 32 y el axioma 1
(n)|mn=nm| a partir del corolario 2.23
(m)(n)|mn=nm| por generalizacin universal de la
266
Escolio: Estamos listos para dar una definicin ms prctica de la multiplicacin
de dos nmeros naturales.

Teorema 43 (Multiplicacin o Producto de dos Nmeros Naturales):
(i) m0=0m=0.
(ii) m1=1m=m.
(iii) m(n+1)=mn+m
(i) Demostracin:
m0=0m a partir del teorema 41
m0=0 segn definicin 23(i)
m0=0m=0 a partir de las igualdades anteriores, el
corolario 1.1(iii) y la definicin 3(iv).
(ii) Demostracin:
m1=1m=m segn los teoremas 40, 39(ii), (iii)
(iii) Demostracin:
m(n+1)=mn a partir de la instanciacin universal del
teorema 32 (corolario I.XLVII)
=mn+m segn el definicin 23(ii).

Escolio: Puede notarse que la multiplicacin es, en esencia, la abreviatura de una
suma de sumandos iguales: 53=5+5+5 (es decir, 53 es abreviatura de 3 veces
5, esto es, 5+5+5). En general, esperaramos que:

veces n
m m m n m + + + = ...

Teorema 44: mn=m+m++m (n veces), si n>1.
Si n=1 entonces mn=m1 por hiptesis y el axioma 1
=m (1 vez) por teorema 39
Si mn=m+m++m (n veces) entonces
mn= mn+m por definicin 23(ii)
= m+m++m+m (n veces) por hiptesis de induccin.
(n>1)|mn=m+m++m| a partir del corolario 2.25.
Escolio: Por supuesto, a partir de la propiedad conmutativa del producto de dos
nmeros naturales (teorema 42) es posible tambin interpretar la multiplicacin
como la suma de m sumandos iguales (a n):

veces m
n n n n m + + + = ... , si m>1.
267

En el fondo, la multiplicacin es abreviatura de una suma de sumandos iguales.
Qu ocurre con una suma de sumandos distintos? Podremos definir alguna
operacin o notacin que sea abreviatura para tales sumas? Esto lo contestaremos
hasta en el siguiente artculo.
A continuacin exponemos la tabla bsica de la multiplicacin, la cual ser de
suma importancia en el desarrollo de un algoritmo general para el producto de dos
nmeros naturales cualesquiera.

Teorema 45 (Tabla Bsica de la Multiplicacin entre Nmeros Naturales):

11=1 21=2 31=3 41=4 51=5 61=6 71=7 81=8 91=9
12=2 22=4 32=6 42=8 52=10 62=12 72=14 82=16 92=18
13=3 23=6 33=9 43=12 53=15 63=18 73=21 83=24 93=27
14=4 24=8 34=12 44=16 54=20 64=24 74=28 84=32 94=36
15=5 25=10 35=15 45=20 55=25 65=30 75=35 85=40 95=45
16=6 26=12 36=18 46=24 56=30 66=36 76=42 86=48 96=54
17=7 27=14 37=21 47=28 57=35 67=42 77=49 87=56 97=63
18=8 28=16 38=24 48=32 58=40 68=48 78=56 88=64 98=72
19=9 29=18 39=27 49=36 59=45 69=54 79=63 89=72 99=81

(i) Demostracin (Tabla del 1):
Resultado vlido a partir del teorema 39(ii).

(ii) Demostracin (Tabla del 2):
(ii.i) 21=2 segn teorema 39(iii)

(ii.ii) 22=21 a partir de la definicin 15(ii)
=(21)+2 por definicin 23(ii)
=4 segn teorema 34 (tabla del 2)

(ii.iii) 23=22 a partir de la definicin 15(iii)

(ii.iv) 24=23 a partir de la definicin 15(iv)
268

(ii.v) 25=24 a partir de la definicin 15(v)

(ii.vi) 26=25 a partir de la definicin 15(vi)
=10+1 por definicin 15(ii)
=(10+1) por definicin 22(ii)
=10 a partir del teorema 32
=11 por definicin 15(xi)
=12 por definicin 15(xii)

(ii.vii) 27=26 a partir de la definicin 15(vii)
=13 por definicin 15(xiii)
=14 por definicin 15(xiv)

(ii.viii) 28=27 a partir de la definicin 15(viii)
=15 por definicin 15(xv)
=16 por definicin 15(xvi)

(ii.ix) 29=28 a partir de la definicin 15(ix)
269
=17 por definicin 15(xvii)
=18 por definicin 15(xviii)

(iii) Demostracin (Tabla del 3):
(iii.i) 31=3 segn teorema 39(iii)

(iii.ii) 32=23 por teorema 42

(iii.iii) 33=32 a partir de la definicin 15(iii)

(iii.iv) 34=33 a partir de la definicin 15(iv)

(iii.v) 35=34 a partir de la definicin 15(v)
=12+2 por definicin 15(iii)
=((12+1)) por definicin 22(ii)
=((12)) a partir del teorema 32
=(13) por definicin 15(xiii)

(iii.vi) 36=35 a partir de la definicin 15(vi)
270
=15+2 por definicin 15(iii)
=(16) por definicin 15(xvi)

(iii.vii) 37=36 a partir de la definicin 15(vii)
=19 por definicin 15(xix)
=20 por definicin 15(xx)
=21 por definicin 15(xxi)

(iii.viii) 38=37 a partir de la definicin 15(vii)
=22 por definicin 15(xxii)
=23 por definicin 15(xxiii)
=24 por definicin 15(xxiv)

(iii.ix) 39=38 a partir de la definicin 15(vii)
271
=25 por definicin 15(xxv)
=26 por definicin 15(xxvi)
=27 por definicin 15(xxvii)

(iv) Demostracin (Tabla del 4):
(iv.i) 41=4 segn teorema 39(iii)

(iv.ii) 42=24 a partir del teorema 42

(iv.iii) 43=34 a partir del teorema 42

(iv.iv) 44=43 a partir de la definicin 15(iv)
=12+3 por definicin 15(iv)
=(12+2) por definicin 15(iii)
=((12) a partir del teorema 32
=13 por definicin 15(xiii)
=16 por definicin 15(xvi)

(iv.v) 45=44 a partir de la definicin 15(v)
272
=19 por definicin 15(xix)
=20 por definicin 15(xx)

(iv.vi) 46=45 a partir de la definicin 15(vi)

(iv.vii) 47=46 a partir de la definicin 15(vii)
273
=28 por definicin 15(xxviii)

(iv.viii) 48=47 a partir de la definicin 15(viii)
=29 por definicin 15(xxix)
=30 por definicin 15(xxx)
=31 por definicin 15(xxxi)
=32 por definicin 15(xxxii)

(iv.ix) 49=48 a partir de la definicin 15(ix)
=33 por definicin 15(xxxiii)
=34 por definicin 15(xxxiv)
274
=35 por definicin 15(xxxv)
=36 por definicin 15(xxxvi)

(v) Demostracin (Tabla del 5):
(v.i) 51=5 segn teorema 39(iii)

(v.ii) 52=25 a partir del teorema 42
=10 por teorema 45 (tabla del 2)

(v.iii) 53=35 a partir del teorema 42

(v.iv) 54=45 a partir del teorema 42

(v.v) 55=54 a partir de la definicin 15(v)
=20+4 por definicin 15(v)
=(20+3) por definicin 15(iv)

(v.vi) 56=55 a partir de la definicin 15(vi)
275
=28 por definicin 15(xxviii)
=29 por definicin 15(xxix)
=30 por definicin 15(xxx)

(v.vii) 57=56 a partir de la definicin 15(vii)

(v.viii) 58=57 a partir de la definicin 15(viii)
276
=37 por definicin 15(xxxvii)
=38 por definicin 15(xxxviii)
=39 por definicin 15(xxxix)
=40 por definicin 15(xl)

(v.ix) 59=58 a partir de la definicin 15(ix)
=41 por definicin 15(xli)
=42 por definicin 15(xlii)
=43 por definicin 15(xliii)
=44 por definicin 15(xliv)
=45 por definicin 15(xlv)

(vi) Demostracin (Tabla del 6):
(vi.i) 61=6 segn teorema 39(iii)
277

(vi.ii) 62=26 a partir del teorema 42

(vi.iii) 63=36 a partir del teorema 42

(vi.iv) 64=46 a partir del teorema 42

(vi.v) 65=56 a partir de la definicin 15(v)

(vi.vi) 66=65 a partir de la definicin 15(vi)
=30+5 por definicin 15(vi)
=(30+4) por definicin 15(v)
=((30+3)) por definicin 15(iv)

(vi.vii) 67=66 a partir de la definicin 15(vii)
278
=37 por definicin 15(xxxvii)
=38 por definicin 15(xxxviii)
=39 por definicin 15(xxxix)
=40 por definicin 15(xl)
=41 por definicin 15(xli)
=42 por definicin 15(xlii)

(vi.viii) 68=67 a partir de la definicin 15(viii)
279
=46 por definicin 15(xlvi)
=47 por definicin 15(xlvii)
=48 por definicin 15(xlviii)

(vi.viii) 69=68 a partir de la definicin 15(ix)
=49 por definicin 15(xlix)
=50 por definicin 15(l)
=51 por definicin 15(li)
=52 por definicin 15(lii)
=53 por definicin 15(liii)
=54 por definicin 15(liv)

(vii) Demostracin (Tabla del 7):
(vii.i) 71=7 segn teorema 39(iii)

(vii.ii) 72=27 por teorema 42

(vii.iii) 73=37 por teorema 42

(vii.iv) 74=47 por teorema 42

280
(vii.v) 75=57 por teorema 42

(vii.vi) 76=67 por teorema 42

(vii.vii) 77=76 a partir de la definicin 15(vii)
=42+6 por definicin 15(vii)
=(42+5) por definicin 15(vi)
=((42+4)) por definicin 15(v)
=46 por definicin 15(xlvi)
=47 por definicin 15(xlvii)
=48 por definicin 15(xlviii)
=49 por definicin 15(xlvix)

(vii.viii) 78=77 a partir de la definicin 15(viii)
281
=50 por definicin 15(l)
=51 por definicin 15(li)
=52 por definicin 15(lii)
=53 por definicin 15(liii)
=54 por definicin 15(liv)
=55 por definicin 15(lv)
=56 por definicin 15(lvi)

(vii.ix) 79=78 a partir de la definicin 15(viii)
=57 por definicin 15(lvii)
282
=58 por definicin 15(lviii)
=59 por definicin 15(lix)
=60 por definicin 15(lx)
=61 por definicin 15(lxi)
=62 por definicin 15(lv)
=63 por definicin 15(lvi)

(viii) Demostracin (Tabla del 8):
(viii.i) 81=8 segn teorema 39(iii)

(viii.ii) 82=28 por teorema 42

(viii.iii) 83=38 por teorema 42

(viii.iv) 84=48 por teorema 42

(viii.v) 85=58 por teorema 42

(viii.vi) 86=68 por teorema 42

(viii.vii) 87=78 por teorema 42

(viii.viii) 88=87 a partir de la definicin 15(viii)
=56+7 por definicin 15(viii)
=((56+5)) por definicin 15(vi)
283
=(56+1)por definicin 22(ii)
=57 por definicin 15(lvii)
=58 por definicin 15(lviii)
=59 por definicin 15(lix)
=60 por definicin 15(lx)
=61 por definicin 15(lxi)
=62 por definicin 15(lxii)
=63 por definicin 15(lxiii)
=64 por definicin 15(lxiv)

(viii.viii) 89=88 a partir de la definicin 15(ix)
=64+7 por definicin 15(viii)
=((64+5)) por definicin 15(vi)
=(64+1)por definicin 22(ii)
284
=65 por definicin 15(lxv)
=66 por definicin 15(lxvi)
=67 por definicin 15(lxvii)
=68 por definicin 15(lxviii)
=69 por definicin 15(lxix)
=70 por definicin 15(lxx)
=71 por definicin 15(lxxi)
=72 por definicin 15(lxxii)

(ix) Demostracin (Tabla del 9):
(ix.i) 91=9 segn teorema 39(iii)

(ix.ii) 92=29 por teorema 42

(ix.iii) 93=39 por teorema 42

(ix.iv) 94=49 por teorema 42

(ix.v) 95=59 por teorema 42

(ix.vi) 96=69 por teorema 42

(ix.vii) 97=79 por teorema 42

(ix.viii) 98=89 por teorema 42

(ix.ix) 99=98 a partir de la definicin 15(viii)
=72+8 por definicin 15(ix)
=(72+7) por definicin 15(viii)
285
=((72+6)) por definicin 15(vii)
=73 por definicin 15(lxxiii)
=74 por definicin 15(lxxiv)
=75 por definicin 15(lxxv)
=76 por definicin 15(lxxvi)
=77 por definicin 15(lxxvii)
=78 por definicin 15(lxxviii)
=79 por definicin 15(lxxix)
=80 por definicin 15(lxxx)
=81 por definicin 15(lxxxi).
Escolio: Si m, ne entonces, del teorema 37, sabemos que existir un nico
ke tal que mn=k. Al nmero natural, resultado de operar mediante la
multiplicacin de m y n, esto es, k, lo llamaremos multiplicacin o producto y a m
y n, en mn=k, factores (de k).

Definicin XLVI (Componentes de la Adicin):
(i) k es el producto (multiplicacin) de m y n si y slo si mn=k.
(ii) m y n son factores de k si y slo si mn=k.
Ejemplo: Ya que 46=24, segn la tabla del 4 para la multiplicacin (teorema 45),
se sigue que 24 es el producto de 4 y 6, los factores de 24.

Teorema 46 (Propiedad Cancelativa de la Suma):
(m)(n)(k)|m=nmk=nk|.
286
Parte 1 (): m=nmk=nk (a)
En efecto, la propiedad anterior es vlida a partir del axioma 1.
Parte 2 (:, por Contradiccin): mk=nkm=n (b)
Supngase lo contrario, esto es, m=n.
Entonces, de la suposicin anterior, se sigue que existe un nico l
tal que:
mk=l (1) por teorema 45
y existe un nico r tal que
nk=r (2) por teorema 45
donde, l=r (c) a partir de la suposicin
Si mk=nk (hiptesis de la propiedad (b)) entonces l=r (a partir
de (1), (2) y el axioma 1), resultado que contradice a la propiedad
(c). Luego, nuestra suposicin inicial es falsa y, por consiguiente,
m=n (es decir, la propiedad (b) es verdadera, a partir del corolario
III.X(ii)).
De las propiedades (a) y (b) se deduce que:
m=nmk=nk a partir del corolario V.VIII
(k)|m=nmk=nk| por generalizacin universal de la
propiedad anterior
(n)(k)|m=nmk=nk| por la misma razn anterior
(m)(n)(k)|m=nmk=nk| por la misma razn.
Escolio: La propiedad anterior establece en el metalenguaje la siguiente regla
general: una igualdad entre nmeros naturales no se altera (permanece
equivalente) al sumar miembro a miembro de la igualdad un mismo nmero
natural.

Ejemplo: 5=553=53 sumando miembro a miembro de la igualdad 3
15=15 a partir de la tabla de la suma (teorema 45)

Teorema 47 (Monotona del Producto):
(m)(n)(k>0)|m<nmk<nk|.
En efecto, para k=1 tenemos:
m<nm1<n1 a partir de la definicin 23(i)
mk<nk (a) por hiptesis y el axioma 1
Si m<nmk<nk entonces
m(k+1)<n(k+1)mk+k<nk+k a partir de la definicin
23(ii) y del axioma 1
287
mk<nk por teorema 36
m<n por hiptesis de induccin.
m<nm(k+1)<n(k+1) a partir del corolario III.XXIII(ii)
(k)|m<nm+k<n+k| a partir del razonamiento anterior y
la definicin XL
(m)(n)(k)|m<nm+k<n+k| a partir de la generalizacin de la
I.XLV(i)).
Escolio: El anterior teorema establece una regla general en el metalenguaje: una
desigualdad entre nmeros naturales no se altera (es equivalente) al sumar
miembro a miembro un mismo nmero natural.

Ejemplo: 2<523<53 sumando miembro a miembro 3
6<15 a partir de la tabla de la suma (teorema 36)
Escolio: Estamos interesados en definir una nueva operacin que sea abreviatura
de una multiplicacin de factores iguales: as como la multiplicacin es una suma
abreviada de nmeros naturales (teorema 44), la potenciacin ser una
multiplicacin abreviada de factores iguales. Estamos listos para definir la
potenciacin en .

Definicin XLVII (Notacin y Nomenclatura para la Potenciacin):
(i) m
n
se lee: m elevado a la potencia n, o bien, m elevado a la nsima
potencia.
(ii) m
2
se lee: m elevado al cuadrado.
(iii) m
3
se lee: m elevado al cubo.
(iv) k es la nsima potencia de m si y slo si m
n
=k
(v) m es la base y n el exponente de la potencia k si y slo si m
n
=k.
Ejemplo:
(i) 5
3
se lee: 5 elevado al cubo, siendo 5 la base y 3 el exponente.
(ii) 3
2
se lee: 3 al cuadrado, donde 3 es la base y 2 el exponente.
(iii) 23
5
se lee: 23 elevado a la 5. potencia, donde 23 es la base y 5 el
exponente.

Definicin 24 (La Potenciacin de dos Nmeros Naturales):
(i) m
0
A
=1, si m=0
(ii) m
n
A
=(m
n
)m
A
= m
n
m
Escolio: El parntesis, en la definicin 24(ii), denota que la potenciacin se debe
efectuar primero antes que la multiplicacin, an a pesar de que esto no se
describa de manera explcita (esto es lo que denota la ltima igualdad de la
definicin 24(ii)). Luego, el orden en que se debe efectuar un proceso que
involucre sumas, productos y potencias es el siguiente: primero se efectan las
potencias, luego las multiplicaciones y por ltimo las sumas.
288
Para el caso de 0
0
se dice que no est definida: esto se debe a que la definicin
24(i) restringe precisamente esta expresin (la razn de ello se ver en el artculo
19, en donde notaremos que la expresin 0
0
conduce a paradojas).

Ejemplo:
5
3
=5
2
por definicin 15(iii)

=5
2
5 por definicin 24(ii)
=5
1
5 por definicin 15(i)

=5
1
55 por definiciones 24(ii), XLVI
=5
0
55 por definicin 15(i)

=5
0
555 por definiciones 24(ii), XLVI
=555 por teoremas 36(ii), 40
la definicin 24 es precisamente la definicin que buscbamos para nuestros
propsitos: la potenciacin es precisamente la abreviatura de una multiplicacin de
factores iguales.

Teorema 48 (Propiedades de la Potenciacin I):
(i) (m)(n)|m
n
e |
(ii) (m)(n)(-!k)|m
n
=k|
(iii) (m)|m
1
=m|
(iv) m
n
=mmm (n veces), si n>1.
Si n=0 entonces m
n
=m
0
por hiptesis y el axioma 1
=1 (1) por definicin 24(i)
1e (a) por teorema 21(ii), (iii)
m
n
e a partir de (1), (a) y el teorema 3
Si m
n
e entonces
m
n
=m
n
m (2) por definicin 24(ii)
m
n
me (b) por hiptesis de induccin y
el teorema 37
m
n
e a partir de (2), (b) y el teorema 3

(n)|m
n
e | por corolario 2.23
(m)(n)|m
n
e | por corolario I.XLV(i)
(ii) Demostracin:
Ya que,
Parte 1: (-k)|m
n
=k| (a)
289
En efecto,
m
n
e a partir del teorema 38(i)
(-k)|m
n
=k| segn propiedad anterior y la definicin
17(iv)
Parte 2: (k)(l)||m
n
=k. m
n
=l|k=l| (b)
En efecto,
|m
n
=k.m
n
=k||k=m
n
.m
n
=l| por teorema 1(ii) y el
Corolario IV.XXXVIII(ii)
(k)(l)||m
n
=k.m
n
=l|k=l| a partir de la generalizacin
(-k)|mn=k|.(k)(l)||mn=k.mn=l|k=l|
a partir del teorema XVII(ii)
(-!k)|mn=k| segn propiedad anterior y la
(m)(n)(-!k)|mn=k| a partir de la generalizacin
anterior (corolario I.XLV(i)).
(iii) Demostracin:
m
1
=m
0
por definicin 15(i)

= m
0
m por definicin 24(ii)
=1m por definicin 24(i)
=m por teorema 39(ii)
(m)|m
1
=m| a partir del corolario I.XLV(i)
(iv) Demostracin (por Induccin Finita sobre n):
Sea n>1.
Si n=1 entonces m
n
=m
1
=m (1 veces) por teorema 48(ii)
m
n
=m (n veces) por hiptesis y el axioma 1
Si m
n
=mmm (n veces) entonces
m
n
=m
n
m por hiptesis y el axioma 1
= mmmm (n+1 veces) por hiptesis de induccin y
el axioma 1.
290
Escolio: El teorema 48(iii) establece lo que pretendamos probar: la potenciacin es
abreviatura de la multiplicacin. Estamos listos para desarrollar las propiedades
elementales de la potenciacin.

Teorema 49 (Propiedades de la Potenciacin II):
(i) (m)|m
n+1
=m
n
m|
(ii) (m)(n)(k)|m
n+k
=m
n
m
k
|
(iii) (m)(n)(k)|(m
n
)
k
=m
nk
|
(iv) (m)(n)(k)|(mn)
k
=m
k
n
k
|
(i) Demostracin:
n=n+1 (a) por teorema 32
n=n+1m
n
= m
n+1
(b) por axioma 1
m
n
= m
n+1
(c) por (a) y (b) y el
corolario IV.III
m
n
m=m
n+1
por (c) y la definicin 24(i)
m
n+1
=m
n
m (d) a partir del corolario 1.1(ii)
(m)|m
n+1
=m
n
m| a partir de la generalizacin
universal de (d) (corolario
I.XLV(i)).
(ii) Demostracin (por induccin finita sobre k):
Si k=0 entonces m
n+k
=m
n+0
=m
n
por definicin 22(i)
=m
n
1 por teorema 43(ii)
= m
n
m
0
por definicin 24(i)
=m
n
m
k
Si m
n+k
=m
n
m
k
entonces
m
n+k
=m
(n+k)
por definicin 22(ii)

=m
n+k
m por definicin 24(ii)
=m
n
m
k
m por hiptesis de induccin, el axioma
1 y la definicin XLVI
=m
n
m
k

(k)|m
n+k
=m
n
m
k
| a partir del corolario 2.23
(m)(n)(k)|m
n+k
=m
n
m
k
| por corolario I.XLV(i)
(iii) Demostracin (por induccin finita sobre k):
Si k=0 entonces (m
n
)
k
=(m
n
)
0
=m
0
por la misma razn
291
=m
n0
por definicin 23(i)
=m
nk
Si (m
n
)
k
=m
nk
entonces
(m
n
)
k
=(m
n
)
k
m
n
por definicin 24(ii) y el teorema
48(i)
=m
nk
m
n
por hiptesis de induccin y el
axioma 1
=m
nk+n
por teorema 49(iii)
= m
nk

(k)|(m
n
)
k
=m
nk
| por corolario 2.23
(m)(n)(k)|(m
n
)
k
=m
nk
| por corolario I.XLV(i)
(iv) Demostracin:
Si k=0 entonces (mn)
k
=(mn)
0
=1 por teorema 37 y la definicin 24(ii)
=m
0
n
0
por definicin 24(i)
=m
k
n
k
Si (mn)
k
=m
k
n
k
entonces
(mn)
k
=(mn)
k
(mn) por definicin 22(ii)
= m
k
n
k
mn por hiptesis de induccin, el axioma
1 y la definicin XLVI
=m
k
mn
k
n por teoremas 41 y 42

=m
k
n
k

(k)|(mn)
k
=m
k
n
k
| a partir del corolario 2.23
(m)(n)(k)|(mn)
k
=m
k
n
k
| por corolario I.XLV(i).
Escolio: El teorema 49(ii) afirma el siguiente principio metamatemtico: el
producto de dos potencias de igual base se iguala a la misma base elevada a la
suma de sus exponentes correspondientes. De igual manera, el teorema 49(iii)
afirma el siguiente principio metamatemtico: la potencia de una potencia es igual
a la misma base elevada al producto de los exponentes correspondientes.
Finalmente, el teorema 49(iv) establece que el producto de dos potencias de
distinta base pero de igual exponente se iguala al producto de las bases elevado a
dicho exponente.

Ejemplos:
(i) 5
2
5
3
=5
2+3
=5
5
por teorema 49(ii)
(ii) (5
3
)
2
=5
32
=5
6
por teorema 49(iii)
292
(iii) 5
3
4
3
=(54)
3
=20
3
por teoremas 49(iv), 45 (tabla del 5)
Escolio: Hasta el momento contamos con tres operaciones fundamentales con los
nmeros naturales, a saber, la suma, la multiplicacin y la potenciacin, sin
embargo, qu es una operacin? Poco o nada se ha dicho acerca de lo que es una
operacin en s. Intuitivamente, una operacin es una regla que asigna a un par de
nmeros un nico nmero, esta es una propiedad fundamental para establecer
cundo una operacin est bien definida. Por ejemplo, la suma, la multiplicacin y
la potenciacin son operaciones bien definidas, segn los teoremas 29, 38 y el
teorema 48(ii), respectivamente. El siguiente artculo est encaminado a responder
de manera ms exacta lo que es una operacin.

17. Relaciones. Funciones. Funciones Recursivas.

18. El Teorema Fundamental de la Aritmtica.
Escolio: Un resultado fundamental de la Aritmtica es el hecho de que un
conjunto, novaco, de nmeros naturales siempre contiene un elemento mnimo
(conocido como elemento minimal)

19. El Conjunto de los Nmeros Reales.
20. El Problema del Infinito.
Definicin 12 (Parejas Ordenadas): ( ) b a
A
={x,x={a}vx={a, b}}

Capítulo 2

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Capítulo 2

Hochgeladen von

Copyright:

Verfügbare Formate

172

por definicin 15(iii)

5 por definicin 15(i)

55 por definicin 15(i)

e a partir de (2), (b) y el teorema 3

por definicin 15(i)

por definicin 22(ii)

por definicin 24(ii)

por definicin 23(ii)

por definicin 24(ii)

Das könnte Ihnen auch gefallen