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 (0)

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

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

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

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

• Equipotencia. Ejemplos clásicos. (0)
• Finitud. Propiedades, definiciones alternativas. (0)
• Dominancia. Teo. Cantor-Bernstein. Teo. Cantor. (0)
• Aritmética cardinal. Suma, producto y exponenciación. (0)
• 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 (0)

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

Tema sin clasificar (8)

• Subtema sin clasificar (8)

---