teoría de conjuntos

La teoría de conjuntos es la rama de la lógica matemática que estudia los conjuntos , que pueden describirse informalmente como colecciones de objetos. Aunque cualquier tipo de objeto puede agruparse en un conjunto, la teoría de conjuntos —como rama de las matemáticas— se centra principalmente en aquellos que son relevantes para las matemáticas en su conjunto. ^{[ 1 ] [ 2 ]}

El estudio moderno de la teoría de conjuntos fue iniciado por los matemáticos alemanes Richard Dedekind y Georg Cantor en la década de 1870. En particular, Georg Cantor es comúnmente considerado el fundador de la teoría de conjuntos. ^{[ 3 ]} Los sistemas no formalizados investigados durante esta etapa temprana se conocen como teoría ingenua de conjuntos . ^{[ 4 ]} Después del descubrimiento de paradojas dentro de la teoría ingenua de conjuntos (por ejemplo, la paradoja de Russell , ^{[ 5 ]} la paradoja de Cantor , ^{[ 6 ]} y la paradoja de Burali-Forti , ^{[ 7 ]} entre otras), se propusieron varios sistemas axiomáticos a principios del siglo XX, de los cuales la teoría de conjuntos de Zermelo-Fraenkel (con o sin el axioma de elección ) sigue siendo la más conocida y estudiada. ^{[ 8 ]}

La teoría de conjuntos se emplea comúnmente como un sistema fundamental para todas las matemáticas , ^{[ 9 ]} particularmente en la forma de la teoría de conjuntos de Zermelo-Fraenkel con el axioma de elección. ^{[ 10 ]} Además de su papel fundamental, la teoría de conjuntos también proporciona el marco para desarrollar una teoría matemática del infinito , ^{[ 11 ]} y tiene diversas aplicaciones en ciencias de la computación (como en la teoría del álgebra relacional ), ^{[ 12 ] [ 13 ]} filosofía , ^{[ 1 ]} semántica formal , ^{[ 14 ]} y dinámica evolutiva . ^{[ 15 ]} Su atractivo fundamental, junto con sus paradojas y sus implicaciones para el concepto de infinito y sus múltiples aplicaciones han hecho de la teoría de conjuntos un área de gran interés para lógicos y filósofos de las matemáticas . ^{[ 16 ] [ 4 ]} La investigación contemporánea en teoría de conjuntos abarca una amplia gama de temas, que van desde la estructura de la recta numérica real hasta el estudio de la consistencia de los cardinales grandes . ^{[ 1 ]}

La teoría de conjuntos comienza con una relación binaria fundamental entre un objeto o y un conjunto A. Si o es un miembro (o elemento ) de A , se utiliza la notación o ∈ A. Un conjunto se describe enumerando sus elementos separados por comas, o mediante una propiedad que los caracteriza, entre llaves { }. ^{[ 27 ]} Dado que los conjuntos son objetos, la relación de pertenencia también puede relacionar conjuntos; es decir, los propios conjuntos pueden ser miembros de otros conjuntos.

Una relación binaria derivada entre dos conjuntos es la relación de subconjunto, también llamada inclusión de conjuntos . Si todos los miembros del conjunto A también son miembros del conjunto B , entonces A es un subconjunto de B , denotado A ⊆ B. Por ejemplo, {1, 2} es un subconjunto de {1, 2, 3} , y también lo es {2}, pero {1, 4} no lo es. Como implica esta definición, un conjunto es un subconjunto de sí mismo. Para los casos en que esta posibilidad no es adecuada o tendría sentido rechazarla, se define el término subconjunto propio , denotado de diversas maneras.${\displaystyle A\subset B}$,${\displaystyle A\subsetneq B}$, o${\displaystyle A\subsetneqq B}$(tenga en cuenta, sin embargo, que la notación${\displaystyle A\subset B}$a veces se usa como sinónimo de${\displaystyle A\subsetequ B}$; es decir, permitiendo la posibilidad de que A y B sean iguales). Llamamos a A un subconjunto propio de B si y solo si A es un subconjunto de B , pero A no es igual a B. Además, 1, 2 y 3 son miembros (elementos) del conjunto {1, 2, 3} , pero no son subconjuntos de él; y a su vez, los subconjuntos, como {1} , no son miembros del conjunto {1, 2, 3} . Pueden existir relaciones más complicadas; por ejemplo, el conjunto {1} es a la vez un miembro y un subconjunto propio del conjunto {1, {1}} .

Así como la aritmética presenta operaciones binarias sobre números , la teoría de conjuntos presenta operaciones binarias sobre conjuntos. ^{[ 28 ]} La siguiente es una lista parcial de ellas:

• La unión de los conjuntos A y B , denotada A ∪ B , es el conjunto de todos los objetos que son miembros de A , o de B , o de ambos. ^{[ 29 ]} Por ejemplo, la unión de {1, 2, 3} y {2, 3, 4} es el conjunto {1, 2, 3, 4} .
• La intersección de los conjuntos A y B , denotada A ∩ B , es el conjunto de todos los objetos que son miembros tanto de A comode B. ^{[ 30 ]} Por ejemplo, la intersección de {1, 2, 3} y {2, 3, 4} es el conjunto {2, 3} .
• La diferencia de conjuntos de U y A , denotada U ∖ A , es el conjunto de todos los miembros de U que no son miembros de A. ^{[ 31} ]La diferencia de conjuntos {1, 2, 3} ∖ {2, 3, 4} es {1} , mientras que, a la inversa, la diferencia de conjuntos ^{ 2, 3, 4} ∖ {1, 2, 3} es {4} . Cuando A es un subconjunto de U , la diferencia de conjuntos U ∖ A también se denomina complemento de A en U. En este caso, si la elección de U es clara por el contexto, a ^veces se utiliza la notación Ac en lugar de U ∖ A , particularmente si U es un conjunto universal como en el estudio de diagramas de Venn . ^{[ 32 ]}
• La diferencia simétrica de los conjuntos A y B , denotada A △ B o A ⊖ B , es el conjunto de todos los objetos que pertenecen exactamente a uno de los conjuntos A y B (elementos que están en uno de los conjuntos, pero no en ambos). Por ejemplo, para los conjuntos {1, 2, 3} y {2, 3, 4} , el conjunto de diferencia simétrica es {1, 4} . Es la diferencia de conjuntos de la unión y la intersección, ( A ∪ B ) ∖ ( A ∩ B ) o ( A ∖ B ) ∪ ( B ∖ A ) .
• El producto cartesiano de A y B , denotado A × B , es el conjunto cuyos miembros son todos los pares ordenados posibles ( a , b ) , donde a es un miembro de A y b es un miembro de B. Por ejemplo, el producto cartesiano de {1, 2} y {rojo, blanco} es {(1, rojo), (1, blanco), (2, rojo), (2, blanco)}. ^{[ 33 ]}

Algunos conjuntos básicos de importancia central son el conjunto de los números naturales , el conjunto de los números reales y el conjunto vacío , el único conjunto que no contiene elementos. El conjunto vacío también se denomina ocasionalmente conjunto nulo , ^{[ 34 ]} aunque este nombre es ambiguo y puede dar lugar a varias interpretaciones. El conjunto vacío se puede denotar con llaves vacías.${\displaystyle \{\}}$" o el símbolo "${\displaystyle \varnothing }$" o "${\displaystyle \emptyset }$".

El conjunto potencia de un conjunto A , denotado${\displaystyle {\mathcal {P}}(A)}$, es el conjunto cuyos miembros son todos los subconjuntos posibles de A . Por ejemplo, el conjunto potencia de {1, 2} es { {}, {1}, {2}, {1, 2} } . Cabe destacar que${\displaystyle {\mathcal {P}}(A)}$contiene tanto A como el conjunto vacío.

Un conjunto es puro si todos sus miembros son conjuntos, todos los miembros de sus miembros son conjuntos, y así sucesivamente. Por ejemplo, el conjunto que contiene solo el conjunto vacío es un conjunto puro no vacío. En la teoría de conjuntos moderna, es común restringir la atención al universo de von Neumann de conjuntos puros, y muchos sistemas de teoría axiomática de conjuntos están diseñados para axiomatizar solo los conjuntos puros. Esta restricción tiene muchas ventajas técnicas y se pierde poca generalidad, porque esencialmente todos los conceptos matemáticos pueden modelarse mediante conjuntos puros. Los conjuntos en el universo de von Neumann están organizados en una jerarquía acumulativa , basada en la profundidad de anidamiento de sus miembros, miembros de miembros, etc. A cada conjunto en esta jerarquía se le asigna (por recursión transfinita ) un número ordinal.${\displaystyle \alpha }$, conocido como su rango. El rango de un conjunto puro${\displaystyle X}$se define como el ordinal más pequeño que es estrictamente mayor que el rango de cualquiera de sus elementos. Por ejemplo, al conjunto vacío se le asigna el rango 0, mientras que al conjunto que contiene solo el conjunto vacío se le asigna el rango 1. Para cada ordinal${\displaystyle \alpha }$, el conjunto${\displaystyle V_{\alpha }}$se define como el conjunto de todos los conjuntos puros con rango menor que${\displaystyle \alpha }$Todo el universo de von Neumann se denota ${\displaystyle V}$.

La teoría elemental de conjuntos puede estudiarse de forma informal e intuitiva, por lo que puede enseñarse en la escuela primaria mediante diagramas de Venn . El enfoque intuitivo presupone tácitamente que un conjunto puede formarse a partir de la clase de todos los objetos que satisfacen una condición definitoria particular. Esta suposición da lugar a paradojas, las más simples y conocidas de las cuales son la paradoja de Russell y la paradoja de Burali-Forti . La teoría axiomática de conjuntos se ideó originalmente para eliminar dichas paradojas de la teoría de conjuntos. ^{[ nota 1 ]}

Los sistemas de teoría axiomática de conjuntos más estudiados implican que todos los conjuntos forman una jerarquía acumulativa . ^{[ b ]} Dichos sistemas se presentan en dos variantes: aquellos cuya ontología consiste en:

• Conjuntos únicamente . Esto incluye la teoría de conjuntos axiomática más común, la teoría de conjuntos de Zermelo-Fraenkel con el axioma de elección ( ZFC ). Algunos fragmentos de ZFC incluyen:
  • teoría de conjuntos de Zermelo , que reemplaza el esquema axiomático de reemplazo por el de separación ;
  • Teoría general de conjuntos , un pequeño fragmento de la teoría de conjuntos de Zermelo suficiente para los axiomas de Peano y los conjuntos finitos ;
  • La teoría de conjuntos de Kripke-Platek , que omite los axiomas de infinito, conjunto potencia y elección, y debilita los esquemas axiomáticos de separación y reemplazo .
• Conjuntos y clases propias . Estos incluyen la teoría de conjuntos de Von Neumann-Bernays-Gödel , que tiene la misma fuerza que ZFC para teoremas sobre conjuntos únicamente, y la teoría de conjuntos de Morse-Kelley y la teoría de conjuntos de Tarski-Grothendieck , ambas más fuertes que ZFC.

Los sistemas mencionados anteriormente pueden modificarse para permitir urelementos , objetos que pueden ser miembros de conjuntos pero que no son conjuntos en sí mismos y no tienen miembros. La teoría de conjuntos de Zermelo se definió originalmente sobre un dominio que constaba tanto de conjuntos como de urelementos.

Los sistemas de Nuevas Fundaciones ( NFU , que permite urelementos ) y NF , que carece de ellos), asociados con Willard Van Orman Quine , no se basan en una jerarquía acumulativa. NF y NFU incluyen un "conjunto de todo", con respecto al cual cada conjunto tiene un complemento. En estos sistemas, los urelementos importan porque NF, pero no NFU, produce conjuntos para los cuales el axioma de elección no se cumple. A pesar de que la ontología de NF no refleja la jerarquía acumulativa tradicional y viola la buena fundamentación, Thomas Forster ha argumentado que sí refleja una concepción iterativa de conjunto . ^{[ 35 ]}

Los sistemas de teoría constructiva de conjuntos , como CST, CZF e IZF, incorporan sus axiomas de conjuntos en la lógica intuicionista en lugar de la clásica . Otros sistemas aceptan la lógica clásica, pero presentan una relación de pertenencia no estándar. Entre ellos se incluyen la teoría de conjuntos aproximados y la teoría de conjuntos difusos , en las que el valor de una fórmula atómica que representa la relación de pertenencia no es simplemente verdadero o falso . Los modelos booleanos de ZFC constituyen un tema relacionado.

Edward Nelson propuso en 1977 una ampliación de ZFC denominada teoría de conjuntos internos. ^{[ 36 ]}

Muchos conceptos matemáticos pueden definirse con precisión utilizando únicamente conceptos de la teoría de conjuntos. Por ejemplo, estructuras matemáticas tan diversas como grafos , variedades , anillos , espacios vectoriales y álgebras relacionales pueden definirse como conjuntos que satisfacen diversas propiedades (axiomáticas). Las relaciones de equivalencia y orden son omnipresentes en matemáticas, y la teoría de las relaciones matemáticas puede describirse mediante la teoría de conjuntos. ^{[ 37 ] [ 38 ]}

La teoría de conjuntos es también un sistema fundamental prometedor para gran parte de las matemáticas. Desde la publicación del primer volumen de Principia Mathematica , se ha afirmado que la mayoría (o incluso todos) los teoremas matemáticos pueden derivarse utilizando un conjunto de axiomas de la teoría de conjuntos diseñado adecuadamente, complementado con numerosas definiciones, mediante lógica de primer o segundo orden . Por ejemplo, las propiedades de los números naturales y reales pueden derivarse dentro de la teoría de conjuntos, ya que cada uno de estos sistemas numéricos puede definirse representando sus elementos como conjuntos de formas específicas. ^{[ 39 ]}

La teoría de conjuntos como fundamento del análisis matemático , la topología , el álgebra abstracta y las matemáticas discretas es igualmente indiscutible; los matemáticos aceptan (en principio) que los teoremas en estas áreas pueden derivarse de las definiciones y los axiomas pertinentes de la teoría de conjuntos. Sin embargo, aún quedan pocas derivaciones completas de teoremas matemáticos complejos de la teoría de conjuntos que hayan sido verificadas formalmente, ya que dichas derivaciones formales suelen ser mucho más largas que las demostraciones en lenguaje natural que los matemáticos presentan habitualmente. Un proyecto de verificación, Metamath , incluye derivaciones escritas por humanos y verificadas por computadora de más de 12 000 teoremas que parten de la teoría de conjuntos ZFC , la lógica de primer orden y la lógica proposicional . ^{[ 40 ]}

La teoría de conjuntos es un área importante de investigación en matemáticas con muchos subcampos interrelacionados:

Desde sus inicios, algunos matemáticos se han opuesto a la teoría de conjuntos como fundamento de las matemáticas . La objeción más común, expresada por Kronecker en sus primeros años, parte de la visión constructivista que considera que las matemáticas están vagamente relacionadas con la computación. Si se acepta esta visión, el tratamiento de conjuntos infinitos, tanto en la teoría de conjuntos ingenua como en la axiomática, introduce en las matemáticas métodos y objetos que, en principio, no son computables. La viabilidad del constructivismo como fundamento alternativo para las matemáticas aumentó considerablemente gracias al influyente libro de Errett Bishop , *Fundamentos del análisis constructivo* . ^{[ 44 ]}

Otra objeción planteada por Henri Poincaré es que definir conjuntos utilizando los esquemas axiomáticos de especificación y reemplazo , así como el axioma del conjunto potencia , introduce impredicatividad , un tipo de circularidad , en las definiciones de objetos matemáticos. El alcance de las matemáticas basadas en la predicación, si bien es menor que el de la teoría de Zermelo-Fraenkel comúnmente aceptada, es mucho mayor que el de las matemáticas constructivas, hasta el punto de que Solomon Feferman ha afirmado que «todo análisis científicamente aplicable puede desarrollarse [utilizando métodos predicativos]». ^{[ 45 ]}

Ludwig Wittgenstein condenó filosóficamente la teoría de conjuntos por sus connotaciones de platonismo matemático . ^{[ 46 ]} Escribió que «la teoría de conjuntos es errónea», puesto que se basa en el «absurdo» del simbolismo ficticio, tiene «idiomas perniciosos» y que es absurdo hablar de «todos los números». ^{[ 47 ]} Wittgenstein identificó las matemáticas con la deducción humana algorítmica; ^{[ 48 ]} la necesidad de una base segura para las matemáticas le parecía absurda. ^{[ 49 ]} Además, puesto que el esfuerzo humano es necesariamente finito, la filosofía de Wittgenstein requería un compromiso ontológico con el constructivismo radical y el finitismo . Las afirmaciones metamatemáticas —que, para Wittgenstein, incluían cualquier afirmación que cuantificara sobre dominios infinitos, y por lo tanto casi toda la teoría de conjuntos moderna— no son matemáticas. ^{[ 50 ]} Pocos filósofos modernos han adoptado las ideas de Wittgenstein tras un error garrafal en Observaciones sobre los fundamentos de las matemáticas : Wittgenstein intentó refutar los teoremas de incompletitud de Gödel tras haber leído únicamente el resumen. Como señalaron los críticos Kreisel , Bernays , Dummett y Goodstein , muchas de sus críticas no se aplicaban al artículo en su totalidad. Solo recientemente filósofos como Crispin Wright han comenzado a rehabilitar los argumentos de Wittgenstein. ^{[ 51 ]}

Los teóricos de categorías han propuesto la teoría de topos como una alternativa a la teoría de conjuntos axiomática tradicional. La teoría de topos puede interpretar varias alternativas a dicha teoría, como el constructivismo , la teoría de conjuntos finitos y la teoría de conjuntos computables . ^{[ 52 ] [ 53 ]} Los topos también proporcionan un entorno natural para la imposición y las discusiones sobre la independencia de la elección respecto de ZF, además de proporcionar el marco para la topología sin sentido y los espacios de Stone . ^{[ 54 ]}

Un área activa de investigación son los fundamentos univalentes y, relacionada con ellos, la teoría de tipos homotópicos . Dentro de la teoría de tipos homotópicos, un conjunto puede considerarse como un homotopía de tipo 0, con propiedades universales de conjuntos que surgen de las propiedades inductivas y recursivas de tipos inductivos superiores . Principios como el axioma de elección y la ley del tercero excluido pueden formularse de manera que corresponda a la formulación clásica en la teoría de conjuntos o, quizás, de maneras distintas propias de la teoría de tipos. Algunos de estos principios pueden demostrarse como consecuencia de otros. La variedad de formulaciones de estos principios axiomáticos permite un análisis detallado de las formulaciones necesarias para derivar diversos resultados matemáticos. ^{[ 55 ] [ 56 ]}

A medida que la teoría de conjuntos ganó popularidad como fundamento de las matemáticas modernas, ha habido apoyo a la idea de introducir los conceptos básicos de la teoría ingenua de conjuntos desde las primeras etapas de la enseñanza de las matemáticas .

En Estados Unidos, en la década de 1960, el experimento de las Nuevas Matemáticas tenía como objetivo enseñar teoría básica de conjuntos, entre otros conceptos abstractos, a estudiantes de primaria , pero recibió muchas críticas. ^{[ 57 ]} El programa de matemáticas en las escuelas europeas siguió esta tendencia y actualmente incluye la materia en diferentes niveles en todos los grados. Los diagramas de Venn se utilizan ampliamente para explicar relaciones básicas de la teoría de conjuntos a estudiantes de primaria (aunque John Venn los ideó originalmente como parte de un procedimiento para evaluar la validez de las inferencias en lógica de términos ).

La teoría de conjuntos se utiliza para introducir a los estudiantes a los operadores lógicos (NOT, AND, OR) y a la descripción semántica o de reglas (técnicamente definición intensional ) ^{[ 58 ]} de conjuntos (por ejemplo, "meses que comienzan con la letra A "), lo cual puede ser útil al aprender programación informática , ya que la lógica booleana se utiliza en varios lenguajes de programación . Asimismo, los conjuntos y otros objetos similares a colecciones, como los multiconjuntos y las listas , son tipos de datos comunes en informática y programación. ^{[ 59 ]}

Además de eso, ciertos conjuntos se utilizan comúnmente en la enseñanza de las matemáticas (como los conjuntos${\displaystyle \mathbb {N} }$de números naturales ,${\displaystyle \mathbb {Z} }$de enteros ,${\displaystyle \mathbb {R} }$de números reales , etc.). Estos se utilizan comúnmente al definir una función matemática como una relación de un conjunto (el dominio ) a otro conjunto (el rango ). ^{[ 60 ]}

• Paul Halmos , Teoría ingenua de conjuntos , 1960, Springer Verlag.
• Thomas Jech , Teoría de conjuntos, Tercera edición del milenio , revisada y ampliada. Springer , 2006, 772 páginas, ISBN 978-3-540-44085-7Teoría de conjuntos en Google Libros
• Matthew Foreman y Akihiro Kanamori (editores), Handbook of Set Theory , 2010, 2196 páginas ISBN 978-1-4020-4843-2(Impresión) ISBN 978-1-4020-5764-9(En línea)

• Clase (teoría de conjuntos)
• Teoría elemental de la categoría de conjuntos
• Glosario de teoría de conjuntos
• Lista de temas de teoría de conjuntos
• Modelo relacional  : toma prestados elementos de la teoría de conjuntos.
• Teoría de conjuntos estructurales
• Diagrama de Venn

• Devlin, Keith (1993), The Joy of Sets: Fundamentals of Contemporary Set Theory , Undergraduate Texts in Mathematics (2.ª  ed.), Springer Verlag, doi : 10.1007/978-1-4612-0903-4 , ISBN 0-387-94094-4
• Ferreirós, José (2001), Laberinto del pensamiento: Una historia de la teoría de conjuntos y su papel en las matemáticas modernas , Berlín: Springer, ISBN 978-3-7643-5749-8
• Monk, J. Donald (1969), Introducción a la teoría de conjuntos , McGraw-Hill Book Company, ISBN 978-0-898-74006-6
• Potter, Michael (2004), Teoría de conjuntos y su filosofía: una introducción crítica , Oxford University Press , ISBN 978-0-191-55643-2
• Smullyan, Raymond M .; Fitting, Melvin (2010), Teoría de conjuntos y el problema del continuo , Dover Publications , ISBN 978-0-486-47484-7
• Tiles, Mary (2004), La filosofía de la teoría de conjuntos: una introducción histórica al Paraíso de Cantor , Dover Publications , ISBN 978-0-486-43520-6
• Dauben, Joseph W. (1977), "Georg Cantor y el Papa León XIII: Matemáticas, Teología y el Infinito", Journal of the History of Ideas , 38 (1): 85–108 , doi : 10.2307/2708842 , JSTOR 2708842 
• Dauben, Joseph W. (1979), [ No disponible en archive.org ] Georg Cantor: sus matemáticas y filosofía del infinito , Boston: Harvard University Press, ISBN 978-0-691-02447-9
• Kanamori, Akihiro (2003), El infinito superior (2ª  ed.), Springer-Verlag , ISBN 978-3-540-88866-6

• "Teoría axiomática de conjuntos" , Enciclopedia de Matemáticas , EMS Press , consultado el 12 de mayo de 2026.
• Bagaria, Joan, Zalta, Edward N. (eds.), "Teoría de conjuntos" , Enciclopedia de filosofía de Stanford , Laboratorio de investigación en metafísica, Universidad de Stanford , consultado el 12 de mayo de 2026.
• Bell, John L., Zalta, Edward N. (eds.), "El axioma de la elección" , Enciclopedia de filosofía de Stanford , Laboratorio de investigación en metafísica, Universidad de Stanford , consultado el 12 de mayo de 2026.
• Cunningham, Daniel, "Teoría de conjuntos" , Enciclopedia de filosofía en Internet , consultado el 12 de mayo de 2026.
• Ferreirós, José (2007) [1999], Laberinto del pensamiento: una historia de la teoría de conjuntos y su papel en las matemáticas modernas (2ª  ed.), Basilea: Birkhäuser, ISBN 978-3-7643-8349-7
• Foreman, Matthew ; Kanamori, Akihiro (eds.), "Manual de teoría de conjuntos" , handbook.assafrinot.com , Índice no oficial mantenido por Assaf Rinot , consultado el 12 de mayo de 2026.
• Kennedy, Juliette, Zalta, Edward N. (eds.), "Kurt Gödel" , Enciclopedia de Filosofía de Stanford , Laboratorio de Investigación en Metafísica, Universidad de Stanford , consultado el 12 de mayo de 2026.
• Koellner, Peter, Zalta, Edward N. (eds.), "La hipótesis del continuo" , Enciclopedia de Filosofía de Stanford , Laboratorio de Investigación en Metafísica, Universidad de Stanford , consultado el 12 de mayo de 2026.
• Koellner, Peter, Zalta, Edward N. (eds.), "Large Cardinals and Determinacy" , Stanford Encyclopedia of Philosophy , Metaphysics Research Lab, Stanford University , consultado el 12 de mayo de 2026.
• "Teoría de conjuntos" , Enciclopedia de Matemáticas , EMS Press , consultado el 12 de mayo de 2026.
• "Teoría de conjuntos" , nLab , consultado el 12 de mayo de 2026.
• Weisstein, Eric W. , "Teoría de conjuntos" , MathWorld , Wolfram Research , consultado el 12 de mayo de 2026.
• "Teoría de conjuntos de Zermelo-Fraenkel" , Enciclopedia de Matemáticas , EMS Press , consultado el 12 de mayo de 2026.