コンパクト性定理

コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。