Martínez Ruíz, IvánLozano Galindo, Edwin Gabriel2026-04-142026-04-142025-09https://hdl.handle.net/20.500.12371/31959"Kurt Gödel ha sido uno de los matemáticos más prolíficos en el ámbito de la Lógica. Es ampliamente reconocido por su trabajo en la completez de las Teorías de Primer Orden, por la consistencia del axioma de elección y la hipótesis del continuo. Además, revolucionó por completo el estudio y concepción que se tenían de las matemáticas en el siglo XX con sus famosos Teoremas de incompletitud. Este trabajo tiene como objetivo hacer un análisis exhaustivo de dichos teoremas que revolucionaron la matemática, construyendo todo lo necesario para poder demostrarlos de la manera más precisa posible. Por ello es que se comenzará introduciendo los números de Gödel, que fue la manera en que Gödel codificó toda la aritmética de Peano, después se analizarán proposiciones fundamentales para poder probar los teoremas de incompletitud y concluiremos con el análisis de los dos teoremas".pdfspaCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAMatemáticas--Filosofía--Lógica matemática--Metodología de los sistemas deductivos--Teorema de GödelMatemáticas--Geometría--Temas especiales en geometría plana--AxiomasTeoremas de incompletitudTesis de licenciaturaopenAccess