分からない問題はここに書いてね438

分からない問題はここに書いてね438at MATH

分からない問題はここに書いてね438 - 暇つぶし2ch203:１３２人目の素数さん
17/11/29 11:18:07.75 DBWfWJCL.net
>>197
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

次ページ

続きを表示

1を表示