0575132人目の素数さん2018/12/16(日) 20:06:25.78ID:j9apN2sE >>573 ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ 1日中勉強してるならわかるはずですね