ヘンキンの定理を経由した完全性定理の証明
命題論理の完全性定理の証明の流れmrsekut.icon
https://gyazo.com/4b544d226e853b99fb18617f005ea48e
あとで書き換えるmrsekut.icon
流れ
以下2つの補題を使えばいい
参考
述語論理の完全性定理の証明の流れ
https://gyazo.com/fd96a76e1992771a35365d1c7eadd1f0
参考
授業のPDF
位置関係
https://gyazo.com/42c494c6ea17143f06c40d39d1bd1b75
ヘンキンの定理はだいぶ言い方を変えている？