代数なんていうおもちゃみたいな分野で遊んでないで、全ての基礎である論理の勉強しましょう

ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ