0467132人目の素数さん垢版 | 大砲2017/12/06(水) 23:10:38.21ID:NQmNhB8q >>465 論理学に興味があるんですか? こういうのが屁理屈ではないちゃんとした論理ですよ↓ ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません