Paradojas en teoría de conjuntos

Resumen

El objetivo del trabajo es presentar de forma unificada algunas de las paradojas clásicas ligadas al origen y desarrollo de la teoría de conjuntos, poniendo el foco tanto en su mecanismo lógico interno como en la manera en que el marco axiomático moderno (ZF/ZFC) las evita, las “desactiva” o las reformula. El hilo conductor es identificar patrones comunes —autorreferencia, intentos de formar totalidades máximas (como “el conjunto de todos los conjuntos” o “el de todos los ordinales”) y argumentos de tipo diagonal— y mostrar cómo este tipo de fenómenos obliga a precisar el lenguaje y las reglas de construcción, delimitando qué colecciones pueden considerarse “conjuntos” dentro de una teoría formal y cuáles deben tratarse de otra manera.

Para ello, el trabajo se organiza en dos partes. En primer lugar se construye el vocabulario técnico necesario (axiomas de ZF/ZFC, relaciones y funciones, noción de cardinalidad, ordinales y números aleph), de manera que el análisis posterior sea autocontenido y coherente. En la segunda parte se estudian varias paradojas representativas: las paradojas de la comprensión irrestricta (en conexión con el sistema de Frege, en particular la paradoja de Russell), las paradojas de la cardinalidad del infinito (Galileo, biyecciones “contraintuitivas”, el método diagonal y la paradoja de Cantor), y las paradojas asociadas a la buena ordenación (Burali–Forti y Banach–Tarski). El resultado pretende servir como una introducción accesible pero rigurosa a estas paradojas, mostrando cómo se insertan en los fundamentos de la matemática contemporánea.

ABSTRACT

The aim of this work is to present, in a unified way, some of the classical para doxes connected with the origins and development of set theory, focusing both on their internal logical mechanism and on the way the modern axiomatic frame work (ZF/ZFC) avoids, “neutralizes,” or reformulates them. The guiding idea is to identify common patterns—self-reference, attempts to form maximal totalities (such as “the set of all sets” or “the set of all ordinals”), and diagonal-style arguments—and to show how phenomena of this kind force us to sharpen the language and the rules of formation, thereby clarifying which collections can count as “sets” within a formal theory and which must be treated differently.

To this end, the thesis is organized into two parts. First, the necessary technical background is introduced (axioms of ZF/ZFC, relations and functions, the notion of cardinality, ordinals, and the aleph numbers) so that the subsequent discussion is self-contained and coherent. The second part studies several representative paradoxes: Russell’s paradox (in connection with Frege’s system and the failure of unrestricted comprehension), paradoxes related to the cardinality of the infinite (Galileo’s observations, “counterintuitive” bijections, the diagonal method, and Cantor’s paradox), and paradoxes tied to well-ordering (Burali–Forti and Banach–Tarski). The overall goal is to provide an accessible yet rigorous introduction to these paradoxes, showing how they fit into the foundations of contemporary mathematics.