Introducción (0)

• Aclaraciones sobre el concepto de conjunto. Conjuntos y no conjuntos. El lenguaje de la teoría de conjuntos. (0)
• Construcción de conjuntos. ¿Cómo construimos conjuntos? (0)
• El conjunto universo local. La colección de todos los conjuntos no es un conjunto. (0)
• Subtema sin clasificar (0)

Algebra de conjuntos (23)

• Par ordenado, producto cartesiano (3)
• Relaciones, particiones y funciones (7)
• Funciones. Inyectivas, suprayectivas, biyectivas, monótonas, etc. (3)
• Ordenes parciales, totales y buenos. Conjuntos bien fundados e inducción fuerte. (7)
• Subtema sin clasificar (3)

Los números naturales, inducción y recursión (10)

• Construcción de los números naturales. Conjuntos inductivos, axioma de infinito, principio de inducción. (6)
• El Teorema de Recursión para números naturales (2)
• Sistemas de Peano. Unicidad. (0)
• Aritmética en los naturales. Variantes de teorema de recursión. (2)
• Subtema sin clasificar (0)

Equipotencia, finitud, dominancia y aritmética cardinal (7)

• Equipotencia. Ejemplos clásicos. (2)
• Finitud. Propiedades, definiciones alternativas. (2)
• Dominancia. Teo. Cantor-Bernstein. Teo. Cantor. (2)
• Aritmética cardinal. Suma, producto y exponenciación. (1)
• El problema del continuo: la Hipótesis del Continuo (HC) y la Hipótesis Generalizada del Continuo (HGC) (0)
• Subtema sin clasificar (0)

El Axioma de Elección (4)

• Varios equivalentes del Axioma de Elección (AE). Lema de Zorn, Teorema del Buen Orden, la Dominancia es Total. (3)
• Más aritmética cardinal con AE. Dedekind infinito e infinito. (0)
• Aplicaciones de AE, en especial de Lema de Zorn. (1)
• Subtema sin clasificar (0)

Tema sin clasificar (9)

• Subtema sin clasificar (9)

---