0460132人目の素数さん垢版 | 大砲2018/05/17(木) 12:49:27.37ID:wzusziGa >>458 ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ 精密な議論でよろしくお願いしますね これがわからないということは、論理や証明とは何かが分かっていないことと同義です