>>919
任意の整合的な公理系τは少なくとも一つのモデルを持つことを既知とします
このとき、τの任意のモデルに対してφが真であれば、τからφがLKにおいて証明可能であることを示せ、という問題がわかりません