紧致性定理若可滿足一族一階句子的任意有限條,則可全部滿足 / 维基百科,自由的 encyclopedia 紧致性定理是符号逻辑和模型论中的基本事实,它断言一阶句子的(可能无限的)集合是可满足的(就是说有一个模型),当且仅当它的所有有限子集是可满足的。 此条目没有列出任何参考或来源。 (2020年5月24日) 命题演算的紧致性定理是吉洪诺夫定理(它声称紧致空间的积是紧致的)应用于紧致Stone空间的结果。 Jetson Nano B01 4GB Developer Kit
紧致性定理是符号逻辑和模型论中的基本事实,它断言一阶句子的(可能无限的)集合是可满足的(就是说有一个模型),当且仅当它的所有有限子集是可满足的。 此条目没有列出任何参考或来源。 (2020年5月24日) 命题演算的紧致性定理是吉洪诺夫定理(它声称紧致空间的积是紧致的)应用于紧致Stone空间的结果。