今回は趣味でやってる基礎論の話題について書こうと思います。 といってもそんな大した話ではなく，古典一階命題論理の完全性定理について自分の覚え書きのためも兼ねてつらつらと書いていきます。 数理論理学pdf モデル存在定理 完全性定理 おわりに 数理論…