spaLeón Muñoz, CristinaBarrera Esteban, FernandoMontaner Frutos, FernandoCompletitud de la lógica de primer orden (Teorema de Completitud de Gödel) y Teorema de Löwenheim-SkolemTAZ-TFG-2023-3732En 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 />Universidad de Zaragoza2023http://zaguan.unizar.es/record/134440http://zaguan.unizar.es/record/134440oai:zaguan.unizar.es:134440