0681132人目の素数さん垢版 | 大砲2018/12/27(木) 22:52:15.26ID:+2u3pnJ5 >>680 ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ