0725132人目の素数さん垢版 | 大砲2017/11/12(日) 17:26:52.72ID:cPywtfD3 >>723 この問題も大学数学の常識なんですが、解いていただけませんか? ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません