TEORÍA DE CONJUNTOS

YEIREMI FREITES MUÑOZ

Resumen
La teorı́a de conjuntos es una rama de la matemática que estudia los
conjuntos, sus propiedades y relaciones. Se atribuye a Georg Cantor
(1845-1918), matemático alemán, su inicio y desarrollo. La idea prin-
cipal es la noción de conjunto a partir de la cual se contruyen el resto
de los objetos y estructuras conocidos en matemáticas para la época,
funcionando entonces como fundamento de esta. Lo que da cuenta de
lo rica que es la teorı́a de conjuntos que además de ser suficientemente
interesante en si misma, traspasa sus lı́mites y abarca todas las otras
áreas de la matemática.
Sin embargo, las ideas de Cantor, en particular su definición de con-
junto, generó posteriormente contradicciones. El filósofo, matemático y
escritor británico Bertrand Russell (1872-1970) al estudiar los trabajos
de Cantor, nota que puede definir conjuntos que conlleven a paradojas,
por ejemplo, un conjunto cuyos elementos son aquellos que no se perte-
necen a si mismos (la conocida paradoja de Russell). Esto hizo que los
matemáticos de la época y el propio Russell se interesarán en trabajar
para construı́r un sistema axiomático riguroso que fundamentara las
matemáticas, apoyándose en la lógica y la teorı́a de conjuntos dando
origen a distintos sistemas axiomáticos (Zermelo-Fraenkel, Neumann-
Bernays-Gdel, entre otros).
Más tarde se demostrarı́a que no existe sistema axiomático consistente
que contenga toda proposición matemática: el teorema de incompleti-
tud de Gödel. (Kurt Gödel, 1906-1978). Todas estas teorı́as es lo que
hoy llamamos teorı́a axiomática de conjuntos.
No obstante, las ideas intuitivas iniciales de Cantor son suficientes para
desarrollar gran parte de la matemática actual, por lo que esta teorı́a,
sus definiciones y resultados, aún son útiles y se estudian bajo el nom-
bre de teoria intuitiva de conjuntos.

Referencias
[1] Newmark, Joseph. Mathematics as a second language, Addison-Wesley, 1975.
1
2 YEIREMI FREITES MUÑOZ

[2] Di Prisco, Carlos Augusto. Una introducción a la teorı́a de conjuntos y los

fundamentos de las matemáticas, UNICAMP, Centro de Lógica, Epistemologı́a
e Historia de la Ciencias, 1997.

UCV
E-mail address: yeiremi.freites@ciens.ucv.ve