0432132人目の素数さん垢版 | 大砲2018/06/02(土) 18:53:15.29ID:K0/bPyHw >>431 ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません わからないんですか? あなたもバカだということですか?