0888132人目の素数さん垢版 | 大砲2019/10/17(木) 10:23:35.70ID:YlilKasD >>887 ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ