紧致性定理
紧致性定理是符号逻辑和模型论中的基本事实，它断言一阶句子的（可能无限的）集合是可满足的（就是说有一个模型），当且仅当它的所有有限子集是可满足的。
命题演算的紧致性定理是吉洪诺夫定理（它声称紧致空间的积是紧致的）应用于紧致Stone空间的结果。
| 单词 | Compactness theorem |
| 释义 |
Compactness theorem
中文百科
紧致性定理紧致性定理是符号逻辑和模型论中的基本事实，它断言一阶句子的（可能无限的）集合是可满足的（就是说有一个模型），当且仅当它的所有有限子集是可满足的。 命题演算的紧致性定理是吉洪诺夫定理（它声称紧致空间的积是紧致的）应用于紧致Stone空间的结果。
英语百科
Compactness theorem 紧致性定理In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for constructing models of any set of sentences that is finitely consistent. |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。