Completitud de la lógica de primer orden (Teorema de Completitud de Gödel) y Teorema de Löwenheim-Skolem

León Muñoz, Cristina
Barrera Esteban, Fernando (dir.) ; Montaner Frutos, Fernando (dir.)

Universidad de Zaragoza, CIEN, 2023

Graduado en Matemáticas

Resumen: En este trabajo de describe el sistema lógico de la lógica de primer orden y se prueba la completitud del mismo, resultado conocido como Teorema de Completitud de Gödel, además de otros resultados importantes de teoría de modelos como son los Teoremas de Löwenheim-Skolem que en la actualidad se pueden demostrar como corolarios del Teorema de Completitud de Gödel.

Tipo de Trabajo Académico: Trabajo Fin de Grado