Barrera Esteban Fernando Montaner Frutos Fernando 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 /> TAZ