

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...

Edison Huérfano
4 dic 2020
31 visualizaciones
0 comentarios


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...

Edison Huérfano
18 nov 2020
17 visualizaciones
0 comentarios


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...

Edison Huérfano
11 oct 2020
9 visualizaciones
0 comentarios


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...

Edison Huérfano
12 sept 2020
95 visualizaciones
0 comentarios


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...

Edison Huérfano
1 sept 2020
19 visualizaciones
0 comentarios