BITÁCORA

Anotaciones sobre la clase y otros temas.

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