0825ご冗談でしょう?名無しさん垢版 | 大砲2018/06/24(日) 01:50:21.70ID:??? >>819 ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません