紧致性定理
(数学术语)
紧致性定理是符号逻辑和模型论中的基本事实,它断言一阶句子的(可能无限的)集合是可满足的(就是说有一个模型),当且仅当它的所有有限子集是可满足的。命题演算的紧致性定理是吉洪诺夫定理(它声称紧致空间的积是紧致的)应用于紧致Stone空间的结果。
知识树
时光轴
论点集
总题库
阅读模式
知识树 创建页面
知识树 创建说明
领域
提 交
数学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》
加载更多
加载更多
加载更多
加载更多