You are on page 1of 12

Sara Lamarti Elvira

La teora axiomtica de conjuntos de Zermelo como articulacin de la


concepcin continua del infinito de Cantor

0. Justificacin:
I. Aclaracin previa de algunos conceptos importantes del texto
II. La relacin entre la matemtica, la lgica y la teora de conjuntos
III. Antecedentes de la axiomatizacin de la teora de conjuntos
IV. La primera axiomatizacin de la teora de conjuntos: Zermelo
V. Cmo los axiomas vistos articulan el universo conjuntista que descubrimos en Cantor
VI. Conclusin

0. Justificacin:
En el este trabajo trato la axiomatizacin de la teora de conjuntos de Zermelo como articulacin de
la concepcin iterativa (continua) de los conjuntos infinitos de Cantor, postura defendida por
autores como I. Jan, en oposicin a quienes la consideran surgida con la finalidad de solucionar las
paradojas de la teora fregeana de conjuntos.

I. Aclaracin previa de algunos conceptos importantes:


- Sistema axiomtico:
En la evolucin y desarrollo de las teoras (matemticas) suele haber al menos 2 etapas:
1) Etapa intuitiva o ingenua: se prueban los enuncados de la teora pero no se explica de
dnde parte la prueba ni qu procedimientos son admisibles para ella. Los antiguos egipcios
por ejemplo ya tenan algoritmos (recetas) para calcular volmenes y reas (agrimensura).
2) Etapa axiomatizada: se clarifican conceptos con precisin y se organizan
sistemticamente de manera que haya unos cuantos primitivos a partir de los cuales se
definen todos los dems. Fue Euclides (s.III a.C.) quien forj la base del sistema axiomtico.
La palabra axioma proviene del griego "lo que parece justo" o aquello evidente que no tiene
necesidad de demostracin. Es una premisa que se acepta sin demostracin, como punto de
partida para demostrar otras frmulas de forma deductiva.
Un sistema axiomtico puede tener expresados sus axiomas de manera formal o informal: si
es formal cada axioma es una cadena finita de signos en el alfabeto del lenguaje formal,
siguiendo reglas combinatorias precisas.
El objetivo de cualquier sistema axiomtico es que sea completo, es decir, que a partir de l
pueda derivarse cualquier enunciado de la disciplina a la cual fundamenta. Para ello debe
ser:
1. Indecidibile: Ningn axioma del sistema puede ser obtenido como un teorema partiendo de los restantes.
2. No contradictorio: un axioma no contradice a cualquiera de los restantes axiomas del sistema .
3. Consistente internamente: Nunca podr ser derivada una contradiccin como teorema.
Adems una teora axiomtica es ms universal que la intuitiva ya que sus teoremas no solo
son vlidos para los objetos de la teoria originaria sino para todo sistema de objetos que
cumpla las condiciones expresadas en los axiomas.

- Conjunto: Coleccin de objetos bien definidos que la mente puede concebir en s misma como un
objeto. Al referirnos a conjuntos en la teoria de conjuntos no nos referiremos a los conjuntos finitos,
ya que la esencia de la teora de conjuntos es el estudio de los conjuntos infinitos, la cual puede
definirse como la teora matemtica del infinito actual (no potencial).
- Infinito1: Su sentido en el lenguaje coloquial intuitivo (algo muy muy grande) se parece muy poco
a la idea matemtica de infinito como unidad total. Siendo una nocin ya formulada por
Aristteles, hoy da se sigue concibiendo de las dos maneras que acu, el potencial y el actual:
El infinito actual se refiere al un infinito existente como una idea que la inteligencia puede captar
como un todo o unidad. Por ejemplo al pensar en la serie de los nmeros naturales no necesitamos
prueba fsica de que es posible seguir aadiendo un nmero ms para concebir tal idea.
Por otro lado, la nocin de infinito potencial se centra en la operacin reiterativa e ilimitada,
quienes la defienden sostienen que lo que hoy nos parece infinito, por ejemplo el nmero pi, algn
da lo consideraremos finito, cuando encontremos su final.

Gonzalez Alvarez, J. (2011), La Fisica Y La Filosofia En La Alborada Del Siglo XXI (ver en Bibliografa)

II. La relacin entre la matemtica, la lgica y la teora de conjuntos:


Babilonios y egipcios se dedicaron solamente a una aritmtica explcita de uso prctico. Ms tarde,
los griegos, centrados en la geometra, al ver que no podan dibujar las figuras con una precisin
exacta (tendra que ser infinita) fueron apoyndose cada vez ms en la deduccin formal para
llegar a conclusiones fiables. Como dijimos antes, en este contexto destaca Euclides cuyo
Elementos sera el texto bsico del pensamiento deductivo hasta el s.XVIII, pero la aritmtica y el
lgebra (que a diferencia de la geometra tratan con entidades discretas) seguirn usando el clculo, ms
intuitivo.
Ser a partir de la revolucin cientfica del s.XVIII y de los avances de la cada vez ms abstracta
matemtica cuando se evidenciar que sta no puede seguir basndose en la intuicin cotidiana.
Empieza entonces la bsqueda de su fundamentacin como ciencia.
Al tratar de demostrar toda la matemtica bajo bases lgicas Cantor, Dedekind, Frege o Russell lo
intentaron partiendo de la nocin de conjunto. Tal nocin es tan vieja como contar. Es difcil
determinar su origen, pero la idea actual est muy relacionada con la nocin moderna de infinito,
formulada ya por los antiguos griegos, quienes mediante paradojas como la de Aquiles y la tortuga
reflexionaban sobre la relacin entre lo continuo y lo discreto2.
La teoria de conjuntos tuvo dos enfoques, el primero ms ingenuo, que se vio debilitado por la
aparicin de algunas paradojas; otro ms tardo fue el axiomtico, siendo el sistema de Zermelo la
primera axiomatizacin coherente: ya no se necesit definir los conjuntos, dado que conjunto
pas a ser cualquier cosa que satisficiera los axiomas.3

Lo infinito y lo finito.

Lazzer, Sandra (2005)

III. Antecedentes de la axiomatizacin de la teora de conjuntos:


A Cantor se debe fundamentalmente la teora de conjuntos intuitiva, aunque ya en el s.XIX se haba
logrado probar la existencia de conjuntos infinitos: Bolzano haba dado dicha prueba de infinito con
su nocin de equipolencia4 de un conjunto con sus subconjuntos5. Y Dedekind mediante la
biyeccin6.
Pero fue de fue de Cantor el primer artculo puramente terico sobre teora de conjuntos infinitos
(infinito actual). Su famoso argumento de la diagonal (1892) es una demostracin matemtica con
la cual hace patente que el infinito (cardinalidad7) de los nmeros reales es mayor que el de los
naturales (u ordinales, pues le sirven para ordenar los primeros). Demuestra que los nmeros reales
no son numerables ya que, sea cual sea el nmero real que tengamos podemos aplicar la
diagonalizacin para cear un nmero con cifras diferentes. Por tanto hay nmeros fuera del infinito
de los racionales8. El de los naturales es un subconjunto del de los racionales pero a su vez es
biyectable con l (tienen la misma cardinalidad). Esto contradice la idea comunmente aceptada de
que el todo es mayor que las partes.
Ese uso intuitivo que hace Cantor de los conjuntos al tratar de explicar las distintas infinitudes de
los nmeros (naturales, enteros, racionales, reales...) es advertido por autores como Frege, quien trat de
reducir los nmeros naturales a conjuntos regidos por las reglas de la lgica.
Para Frege los nmeros son las clases que agrupan conjuntos equinumricos. Ser equinumrico es
una funcin que relaciona de manera biunvoca los elementos de los conjuntos involucrados (lo
cual solo es posible si tienen la misma cantidad de elementos). Y esque para este filsofo logicista
un concepto (o una propiedad), sera un conjunto bajo el cual caen exactamente los objetos que
tienen la propiedad en cuestin (extensin del conjunto); es decir, que dan a la funcin valor de
verdad. Este es su famoso principio de comprensin (o de formacin de conjuntos). El ser
4

Equipolencia: Bolzano di prueba de infinito partiendo de la afirmacin P: "Existe al menos una afirmacin verdadera". Esto es verdad dado
que cualquier afirmacin Q, (bien Q o bien su negacin) ser verdadera; por lo tanto es verdad que existe alguna afirmacin verdadera:
P; P es verdadera.; "P es verdadera" es verdadera.; ""P es verdadera" es verdadera" es verdadera. etc. Hasta llegar a la conclusin de que el conjunto de todas las

afirmaciones verdaderas es infinito.


5

Aunque ello contradeca el principio clsico euclidiano de que el todo es mayor que sus partes.

Biyeccin: Dedekind trat de definir el nmero bajo la teora de conjuntos con un argumento que paradjicamente ligaba lo continuo y lo
discreto: la biyeccin (poner en correspondencia uno a uno) de elementos de dos conjuntos. Lo hizo determinando el conjunto R de los nmeros
reales a partir de los racionales. Caracteriz los nmeros reales como un cuerpo ordenado y completo en la recta real R y estableci que a cada
corte en R le correspondiera un elemento en R).

Cantidad de elementos.

Para establecer un orden, agotados los nmeros naturales en numerar a los racionales, hace falta un ndice nuevo y ah es cuando Cantor
introduce los nmeros transfinitos.

equinumrico sera una funcin que se da no entre elementos y conjuntos, sino entre conjuntos entre
s.

El inconveniente de la teora ingenua de conjuntos de Frege, que equipara la extensin al concepto,


es que cae en paradojas como la de Russell cuando se intenta formar un conjunto de los elementos
cuya propiedad es ser conjuntos que no pertenecen a s mismos; para que un conjunto tenga esa
propiedad tiene que quedar fuera del conjunto de elementos que la cumplen. Esta contradiccin,
pues tenemos un enunciado que tiene que ser simultneamente verdadero y falso, hace inconsistente
la teora de conjuntos de Frege.
Cantor en cambio nunca equipar el concepto a su extensin. Para l puede haber conceptos cuya
extensin est siempre abierta y nunca pueden equipararse a esta. Pretenda as que toda posible
coleccin estuviera adecuadamente representada por un conjunto (es la llamada concepcin iterativa o
continua de la formacin de conjuntos).

IV. La primera axiomatizacin de la teora de conjuntos: Zermelo


Con la axiomatizacin de Zermelo ya no se necesit definir los conjuntos, dado que conjunto
pas a ser cualquier cosa que satisficiera los axiomas.9 Sus siete axiomas (1908) ms las
aportaciones posteriores de Fraenkel y Von Neumann constituyen el sistema axiomtico estndar de
la teora de conjuntos ms aceptado como fundamentacin10 de (casi toda) la matemtica actual.
1) Axioma de extensionalidad: Si dos conjuntos tienen los mismos elementos entonces son
iguales.
Este principio ya estaba en Frege, solo que Zermelo no lo fundamenta en el principio de
comprensin como hace este (no le hace falta fundamentarlo, lo impone directamente como
axioma), ya que Zermelo prescinde de tal principio.
2) Axioma de formacin de conjuntos (o de separacin, o de especificacin, o del conjunto vaco):
Si el principio de comprensin de Frege permita formar un conjunto a partir de una propiedad, en
cambio con este axioma necesariamente tenemos que contar con conjuntos previamente dados y por
tanto, nunca es posible que x se pertenezca a s mismo, pues el conjunto x no puede ser obtenido sin
ms que l mismo (Frege, sin embargo, introdujo el conjunto universal mediante su principio de
comprensin, con solo establecer la propiedad de ser el conjunto de todos los conjuntos).
As, Zermelo separa conjunto de propiedad, por tanto cuando decimos que los elementos de A
tienen la propiedad este axioma nos permite dividir A (un conjunto ya dado) en dos
conjuntos:
el de aquellos elementos de A que tienen la propiedad y
el de los elementos de A que no la tienen.
3) Axioma del par no ordenado (axioma de los conjuntos elementales): para dos objetos no
ordenados existe un conjunto que los contiene a ambos como miembros: Si a y b son conjuntos,
{a,b} tambin lo es. Es decir todo conjunto pertenece a otro conjunto.
4) Axioma de la gran unin: para toda coleccin o familia de conjuntos existe otro conjunto que
contiene todos los elementos de cada conjunto de la familia.
9 Lazzer, Sandra (2005), Consideraciones en torno a la naturaleza conjuntista de la semntica de la Teora de Conjuntos (ver en bibliografa)
10 Fundamentacin en el sentido de que se pueden expresar sus teoremas como relaciones entre los trminos propios del lenguaje conjuntista
axiomatizado (trminos como conjunto, elemento, etc.)

5) Axioma del conjunto potencia (conjunto de las partes): dado cualquier conjunto, la unin de
todos sus subconjuntos posibles es tambin un conjunto.
7) Axioma de infinitud: afirma la existencia de un conjunto infinito (actual).

6) Axioma de eleccin: Este axioma afirma que para cada familia de conjuntos no vacos, existe
otro conjunto que contiene un elemento de cada uno de aquellos. Este procedimiento puede realizarse
siempre que dicha familia sea finita o cuando existe una regla bien determinada para elegir un nico elemento de cada
uno de sus conjuntos. Sin embargo, el axioma es indispensable en el caso ms general de una familia infinita arbitraria

V. Cmo los axiomas vistos articulan el universo conjuntista que descubrimos en Cantor:
Dejando a parte el 6 axioma, que pese a tener que ver con la ordenacin de los conjuntos infinitos
de Cantor, no me es necesario, solo quiero hacer posible su concepcin iterativa, no ordenarla -tiene
que ver con la hiptesis del Continuo de Cantor. );

me voy a centrar en explicar cmo los axiomas vistos

articulan el universo conjuntista que descubrimos en Cantor, su concepcion iterativa


(continua) de formacin de conjuntos, que es de una jerarqua acumulativa de dominios cada vez
ms incluyentes y de los conjuntos en ellos incluidos.
Como vimos en el 2 axioma, dado un conjunto, cualquier subconjunto suyo que definamos con
una propiedad es a su vez un conjunto, incluso aunque la propiedad no se d en ninguno de sus
elementos11: Ahora ya podemos obtener el conjunto vaco a partir de cualquier conjunto (as, dado
un conjunto x, el conjunto vaco sera resultante de aplicar el esquema del axioma de separacin a
tal conjunto con la frmula x que no pertenece a x). Adems, el conjunto vaco es nico porque,
tal como muestra el 1 axioma (de extensionalidad) cualquier conjunto que tiene los mismos
elementos (en este caso la nada) que otro conjunto, es el mismo.
La posibilidad de obtener el conjunto vaco de cualquier conjunto hace posible siempre abrir
conjuntos de manera continua, siempre podemos crear otro conjunto dentro de otro conjunto
dentro de otro conjunto... hasta el infinito. Lo cual posibilitar la concepcion iterativa (continua)
de la formacin de conjuntos propia de Cantor (sus ordinales forman una jerarqua de estratos
siempre en expansin; siempre hay un ordinal mayor a cualquier sucesion de ordinales: no
puede haber ninguna coleccin no vaca de ordinales que est cerrada, es infinita en todas sus partes
y, al mismo tiempo, el todo es mayor que las partes).
11

Por ejemplo la propiedad de tener motor no se da en el conjunto de los mamferos, por tanto el subconjunto con tal propiedad estara vaco.

Pero para poder separar el conjunto vaco de un conjunto se nos ha de garantizar que hay al menos
un conjunto ya, esto lo hace Zermelo con su 7 axioma, el de infinitud. A partir de estos 2 axiomas
(el 2 y el 7) ya podemos crear al menos el conjunto vaco.
Ahora que ya tenemos un conjunto en que podemos establecer la existencia del conjunto vaco,
usaremos el 3 axioma (el del par no ordenado: siempre que tenemos un conjunto, el conjunto
vaco por ejemplo, tendremos un conjunto que lo posee). Ahora ya tenemos la garanta de poder
formar conjuntos cada vez ms inclusivos y siempre abiertos a contener infinitos conjuntos en su
interior. Solo nos falta la posibilidad de combinar entre s tales conjuntos y subconjuntos.
Para ello necesitamos el 4 axioma (de la gran unin) permite la unin de TODOS los elementos
(en este caso subconjuntos) de un conjunto, es decir, antes de combinarlos entre s necesitamos
poder tenerlos todos en la misma habitacin. Tal unin de conjuntos es un conjunto que contiene
infinitos conjuntos. Esto junto a las infinitas combinaciones en que pueden unirse a su vez entre s
gracias al conjunto potencia (5 axioma: dado cualquier conjunto la unin de todos sus
subconjuntos posibles es tambin un conjunto); nos permite la generacin infinita de conjuntos.
Adems, una vez tengamos ese conjunto infinito tras aplicar los 6 axiomas, podremos volver a
aplicar el 2 para generar otro conjunto! Esta infinita inclusin y generacin de conjuntos junto a la
posibilidad de unir sus infinitas combinaciones y convertirlas en conjuntos a su vez, en conclusin:
esta infinita apertura garantiza la concepcin iterativa de formacin de conjuntos que subyace a los
infinitos cantorianos. Pues lo que haca la diagonal de Cantor era mostrarnos que es posible la
generacin de ordinales sin lmite concebible.

VI. Conclusin:
Tal como he tratado de mostrar en el apartado anterior, los axiomas de la teora de conjuntos de
Zermelo constituyen la primera articulacin de la concepcin iterativa de los conjuntos implcita en
las intuiciones de Cantor sobre el infinito. Lo que hacen estos axiomas es garantizar mediante
reglas la apertura ilimitada de los conjuntos infinitos (en Cantor, la generacin sin lmite de
ordinales).
Hay quien considera la axiomatizacin hecha por Zermelo una respuesta a las paradojas en que caa
la teora de conjuntos ingenua de Frege. A esto responden autores como Ignacio Jan 12 que, aunque
gracias a su rechazo del principio comprensin fregeano Zermelo nos salve de caer en muchas de
esas paradojas, su principal motivacin fue sistematizar ese infinito actual que defenda Cantor.

12

10

Ver Jan, I.: en la bibliografa

BIBLIOGRAFA:
Jan, I., (2004), De qu trata la teora de conjuntos?, en Enciclopedia Iberoamericana de Filosofa, Madrid, ed.
Trotta (2004), vol.27: Filosofa de la Lgica, pp. 247-275.
Lazzer, Sandra (2005), Consideraciones en torno a la naturaleza conjuntista de la semntica de la Teora de
Conjuntos, Anlisis Filosfico vol.25 (2):121-138.
Suppes, Patrick, Axiomatic Set Theory (Dover Books on Mathematics,1972).
Gonzalez Alvarez, J. (2011), La Fisica Y La Filosofia En La Alborada Del Siglo XXI [en lnea],
https://books.google.es/books?id=FvoxAwAAQBAJ&lpg=PA2&ots=dF79er8Y3o&dq=La%20Fisica%20Y%20La
%20Filosofia%20En%20La%20Alborada%20Del%20Siglo%20XXI%2C%20(2011)%2C%20Joaquin%20Gonzalez
%20Alvarez&hl=es&pg=PP1#v=onepage&q=La%20Fisica%20Y%20La%20Filosofia%20En%20La%20Alborada
%20Del%20Siglo%20XXI,%20(2011),%20Joaquin%20Gonzalez%20Alvarez&f=false , (consultado el 8 de mayo
2016)
Ferreirs, Jos, "The Early Development of Set Theory", The Stanford Encyclopedia of Philosophy (Winter 2012
Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/win2012/entries/settheory-early/>.
(consultado 20/04/2016)
Morscher, Edgar, "Bernard Bolzano", The Stanford Encyclopedia of Philosophy (Fall 2014 Edition), Edward N.
Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2014/entries/bolzano/>. (consultado 23/04/2016)
Irvine, Andrew David and Deutsch, Harry, "Russell's Paradox", The Stanford Encyclopedia of Philosophy (Winter
2014 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/win2014/entries/russell-paradox/>.
(consultado 23/04/2016)
Reck, Erich, "Dedekind's Contributions to the Foundations of Mathematics", The Stanford Encyclopedia of
Philosophy
(Summer
2016
Edition),
Edward
N.
Zalta
(ed.),
forthcoming
URL
=
<http://plato.stanford.edu/archives/sum2016/entries/dedekind-foundations/>. (consultado 25/04/2016)
Hallett, Michael, "Zermelo's Axiomatization of Set Theory", The Stanford Encyclopedia of Philosophy (Fall 2013
Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2013/entries/zermelo-set-theory/>.
(consultado 25/04/2016)
Bagaria, Joan, "Set Theory", The Stanford Encyclopedia of Philosophy (Winter 2014 Edition), Edward N. Zalta (ed.),
URL = <http://plato.stanford.edu/archives/win2014/entries/set-theory/>. (consultado 20/04/2016)

Wikipedia, Foundations of mathematics [en lnea]


https://en.wikipedia.org/wiki/Foundations_of_mathematics#Foundational_crisis , (consultado
10/04/2016)
Wikipedia, Logicism [en lnea] https://en.wikipedia.org/wiki/Logicism , (consultado 10/04/2016)
Wikipedia, Naive set theory [en lnea] https://en.wikipedia.org/wiki/Naive_set_theory , (consultado 15/04/2016)
Wikipedia, Axiomatic system [en lnea] https://en.wikipedia.org/wiki/Axiomatic_system (consultado 15/04/2016)
Wikipedia, Infinito [online] https://es.wikipedia.org/wiki/Infinito (consultado 23/05/2016)
Gonzlez, M.O. (1950): La crisis actual de los fundamentos de la Matemtica, Revista Cubana de Filosofa [en
lnea], vol.1, n6 (1950), pp.25-30, http://www.filosofia.org/hem/dep/rcf/n06p025.htm , (Consulta: 30/04/2016)
ARRIECHE ALVARADO, Mario Jos. Papel de la teora de conjuntos en la construccin de los nmeros
naturales. Paradgma [online]. 2006, vol.27, n.1, pp. 349-363. http://www.scielo.org.ve/scielo.php?
script=sci_arttext&pid=S1011-22512006000100010 , (Consulta: 02/05/2016)

11

Brown, Robert G. (2007): Set Theory and the Laws of Thought [online].
https://www.phy.duke.edu/~rgb/Philosophy/axioms/axioms/node17.html (consulta 03/05/2016)

EARLY JEFFREY J.(1999): Russells Paradox and Possible Solutions [online]


http://www.math.ups.edu/~bryans/Current/Journal_Spring_1999/JEarly_232_S99.html (consultado 06/05/2016)
Pieiro, G. (2013): Bolzano, Russell y el infinito [online]
http://eltopologico.blogspot.com.es/2013/05/bolzano-russell-y-el-infinito.html (consultado 06/05/2016)
Kiersz, Andy (2013): Russell's Paradox: Here's Why Math Can't Have A Set Of Everything [online]
http://www.businessinsider.com/how-russells-paradox-changed-set-theory-2013-11 (consultado 09/05/2016)
Dowden, Bradley, Liar Paradox, The Internet Encyclopedia of Philosophy (IEP) [online]
http://www.iep.utm.edu/par-liar/ (consultado 09/05/2016)
Ivorra, Carlos, La Axiom atica de la Teor a de Conjuntos [online] https://www.uv.es/ivorra/Libros/Axiomas.pdf
(consultado 11/05/2016)
Tamariz Mascara, ngel, (2002): Los infinitos. El paraso de Cantor Ciencias 68, octubre-diciembre, pp.66-77.
[online]
http://www.revistacienciasunam.com/es/85-revistas/revista-ciencias-68/733-los-infinitos-el-paraiso-de-cantor.html
(consultado
22/05/2016)

12