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 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 /> spa Universidad de Zaragoza Zaragoza 2023

http://zaguan.unizar.es/record/134440/files/TAZ-TFG-2023-3732.pdf;

Imported from Invenio.