COMAL: Teoría de los Conjuntos - [Detalles]

En este curso en notas tipo blog, comenzamos con una introducción a los axiomas de ZFC y sus consecuencias. A partir de ahí, definimos relaciones, funciones y órdenes. Definimos a los números naturales desde la perspectiva de conjuntos inductivos. Exploramos la definición de equipotencia y finitud, hablando un poco de aritmética cardinal. Terminamos discutiendo el axioma de elección, sus equivalencias y consecuencias. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323.