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

という問題が分かりません。教えてください