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

[0189 ご冗談でしょう？名無しさん 2018/07/14(土) 08:19:52.74 ID:???]

あ、数理論理の話に興味があるということですか？

ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ