17/12/06 23:10:38.21 NQmNhB8q.net
>>465
論理学に興味があるんですか？
こういうのが屁理屈ではないちゃんとした論理ですよ↓
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
17/12/06 23:10:38.21 NQmNhB8q.net
>>465
論理学に興味があるんですか？
こういうのが屁理屈ではないちゃんとした論理ですよ↓
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません