コンパクト性定理

3行要約

1. 述語論理において、文の集合がモデルを持つための必要十分条件を述べる定理。
2. 集合の任意の有限部分集合がモデルを持つならば、集合全体もモデルを持つ。
3. 超実数の構成や、無限構造の性質を調べるモデル理論の根幹をなす。