]> 2026-08-13T06:43:20+00:00 Model theory 14 en Model theory Original proof of Gödel's completeness theorem 0 en Original proof of Gödel's completeness theorem Soundness theorem 0 en Soundness theorem Consequence operator 0 en Consequence operator First-order logic 0 en First-order logic Cointerpretability 0 en Cointerpretability Cotolerant sequence 0 en Cotolerant sequence Cointerpretability 0 en Cointerpretability Consequence operator 0 en Consequence operator Cotolerant sequence 0 en Cotolerant sequence First-order logic 0 en First-order logic Original proof of Gödel's completeness theorem 0 en Original proof of Gödel's completeness theorem Soundness theorem 0 en Soundness theorem INST 102 en INST