緊緻性定理若可滿足一族一階句子的任意有限條,則可全部滿足 / 維基百科,自由的 encyclopedia 緊緻性定理是符號邏輯和模型論中的基本事實,它斷言一階句子的(可能無限的)集合是可滿足的(就是說有一個模型),當且僅當它的所有有限子集是可滿足的。 此條目沒有列出任何參考或來源。 (2020年5月24日) 命題演算的緊緻性定理是吉洪諾夫定理(它聲稱緊緻空間的積是緊緻的)應用於緊緻Stone空間的結果。
緊緻性定理是符號邏輯和模型論中的基本事實,它斷言一階句子的(可能無限的)集合是可滿足的(就是說有一個模型),當且僅當它的所有有限子集是可滿足的。 此條目沒有列出任何參考或來源。 (2020年5月24日) 命題演算的緊緻性定理是吉洪諾夫定理(它聲稱緊緻空間的積是緊緻的)應用於緊緻Stone空間的結果。