紧致性定理 紧致性定理是符号逻辑和模型论中的基本事实它断言一阶句子的可能无限的集合是可满足的就是说有一个模型当且仅当它的所有有限子集是可满足的 命题演算的紧致性定理是吉洪诺夫定理它声称紧致空间的积是紧致的应用于紧致Stone空间的结果