Edison Huérfano
4 dic 2020
Consistencia de ZFC
Por fin, nuestro objetivo del blog: La consistencia de ZFC. Ya sabemos que para probar que ZFC es cosistente si y solo si existe un...
31 visualizaciones0 comentarios
Edison Huérfano
18 nov 2020
El Universo Constructible de Gödel
El universo de constructible de Gödel, o solamente el universo constructible, se denota L y es la unión de la jerarquía L alpha. En esta...
17 visualizaciones0 comentarios
Edison Huérfano
11 oct 2020
Consistencia Relativa de ZFC
De acuerdo al segundo teorema de incompletitud de Gödel, no se puede probar la consistencia de ZFC dentro de ZFC. Es un enunciado...
9 visualizaciones0 comentarios
Edison Huérfano
12 sept 2020
Axiomas del Sistema ZFC y Teorema de Buen Orden
El sistema axiomático Zermelo Fraenkel con Axioma de Elección es la forma estándar de la teoría axiomática de conjuntos. La Teoría de...
95 visualizaciones0 comentarios
Edison Huérfano
1 sept 2020
Conceptos de independencia y forcing
Este es un breve resumen de un tema que fue una propuesta de tema para el proyecto blog. Independencia Un enunciado S es independiente de...
19 visualizaciones0 comentarios