León Muñoz, Cristina Barrera Esteban, Fernando Montaner Frutos, Fernando Completitud de la lógica de primer orden (Teorema de Completitud de Gödel) y Teorema de Löwenheim-Skolem 2023 2023 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.<br /><br />