モデルが存在するならば無矛盾というのは
健全性定理という一つの定理