コンパクト性定理
理論$ Tがモデルを持つ$ \iff$ Tの有限部分集合がモデルを持つ