Teoría de Conjuntos y el "Universo Constructible"

El primer objetivo de esta charla es entender cuál es un "modelo" de ZF. Después vamos a ver como construir, a partir de un modelo de ZF, un modelo de ZFC (ZF + axioma de elección).

Empezaré con una discusión sobre los axiomas de ZF y daré ejemplos de cómo usarlos en un modelo. Luego definiré el axioma de elección. Al fin, explicaré como, a partir de un modelo de ZF, construir un modelo que cumple el axioma de elección. El modelo que vamos a construir se llama: "El Universo Constructible". Sin embargo, no voy a hacer pruebas (que son demasiado largas para una charla tan corta).