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

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

分からない問題はここに書いてね438 - 暇つぶし2ch336:１３２人目の素数さん
17/12/04 12:11:56.08 Ajf6r9+J.net
>>322
正解ですよ
>>323 >>324
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

次ページ

続きを表示

1を表示