緊緻性定理

緊緻性定理是符號邏輯和模型論中的基本事實 ， 它斷言一階句子的 （ 可能無限的 ） 集合是可滿足的 （ 就是說有一個模型 ） ， 當且僅當它的所有有限子集是可滿足的 。 命題演算的緊緻性定理是吉洪諾夫定理 （ 它聲稱緊緻空間的積是緊緻的 ） 應用於緊緻Stone空間的結果 。