■ちょっとした物理の質問はここに書いてね226■

[0471 ご冗談でしょう？名無しさん 2018/06/13(水) 18:23:33.40 ID:???]

>>470
じゃあ、ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題に答えてください

そんなググればわかるようなレベルの低いテストとは違いますよ