0078132人目の素数さん垢版 | 大砲2018/10/21(日) 20:53:43.62ID:8ktDrJAT >ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません 完全性定理より自明ですね。QED