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