0476132人目の素数さん垢版 | 大砲2018/05/17(木) 15:38:11.25ID:RMm2CIYv 「ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能である」という命題が証明可能であることを示せ という問題が分かりません。教えてください