**紧致性定理**是符号逻辑和模型论中的基本事实，它断言一阶句子的（可能无限的）集合是可满足的（就是说有一个模型），当且仅当它的所有有限子集是可满足的。

命题演算的紧致性定理是吉洪诺夫定理（它声称紧致空间的积是紧致的）应用于紧致Stone空间的结果。

应用
--

从这个定理可以得出，如果某个一阶句子对于特征值为零的所有域都成立，则存在着一个常量*p*，使得这个句子对特征值大于*p*的所有域都成立。这可以被看作为如下：假定*S*是要考虑的句子。那么它的否定~*S*，和域公理与句子的无限序列1+1 ≠ 0, 1+1+1 ≠ 0, ...一起，不能被假定所满足。所以这些句子的有限子集是不可满足的，意味着*S*在有足够大特征值的这些域中成立。

从这个定理还得出，有一个无限模型的任何理论都有任意大基数的模型。所以，有着带有不可数多个自然数的皮亚诺算术有非标准模型。非标准分析是出现无限个自然数的另一个例子，是不能被任何公理化所排除的可能事物，也是紧致性定理的一个推论。

证明
--

紧致性定理可以使用哥德尔完备性定理来证明，它确立了一组句子是可满足的，当且仅当没有矛盾可以证明自它们。事实上，紧致性定理等价于哥得尔完备性定理，并且二者都等价于超滤子引理，它是弱形式的选择公理。因为证明总是有限的，所以只涉及有限多个给定句子，就得出了紧致性定理。

哥德尔最初就是以这种方式证明紧致性定理的，但是后来又找到了紧致性定理的一些"纯语义"证明，就是说提及"真理"但不提及"可证明性"的证明。这些证明倚赖于依仗选择公理的超乘积：

证明：固定一个一阶语言L，并设Σ为L-句子的搜集，使得所有L-句子的子搜集*i* ⊆ Σ都有模型{\mathcal {M}}\_{i}。还设\prod \_{{i\subseteq \Sigma }}{\mathcal {M}}\_{i}是这些结构的直接乘积，和*I*是Σ的有限子集的搜集。对于*I*中每个*i*设A*i* := { *j* ∈ *I* : *j* ⊇ *i*}。所有这些集合A*i*的家族形成一个滤子（filter），所以有一个超滤子（ultrafilter）*U*包含形如A*i*的所有集合。

现在对于Σ中任何公式φ我们有：

* 集合A{φ}在*U*中
* 只要*j* ∈ A{φ}，则φ ∈ *j*，因此φ在{\mathcal M}\_{j}中成立
* 带有φ在{\mathcal M}\_{j}中成立的性质的所有*j*的集合是A{φ}的超集，因此也在*U*中

使用Łoś定理我们看到φ在超乘积\prod \_{{i\subseteq \Sigma }}{\mathcal {M}}\_{i}/U中成立。所以这个超乘积满足Σ中所有的公式。

紧致性定理（版本2）
----------

### 紧致性定理的定义

紧致性定理定义：

1）在一阶逻辑中，如果我们有一个公式集合（记作）\Delta 并且\Delta 是一个**不满足式的**公式集合，那么\Delta 至少有一个有限个数元素的子集（记作）\Delta ^{\prime }（\Delta ^{\prime }\subseteq \Delta ）并且\Delta ^{\prime }也是不满足式的集合
我们注意到：
2)（换一句话说），如果我们有一个公式集合（记作）\Delta 并且\Delta 是一个**可满足式的**公式集合，那么对于所有\Delta 有限个数元素的子集（记作）\Delta ^{\prime } (\Delta ^{\prime }\subseteq \Delta ) , \Delta ^{\prime }也是可满足式的集合
3)（换一句话说），前提假设我们有一个子句（Clause）集合（记作）S，并且S中的所有子句是**封闭的**（Clause Fermee，也就是说子句中不含有变量），如果S是不可满足式的子句集合，当且仅当S至少有一个子集合S'，S'是有限集合并且S'是不可满足的集合
我们注意到：
在3)中我们把公式集合\Delta 转化成子句集合S，（根据定理：\Delta SAT\Leftrightarrow Clause(\Delta )SAT），我们说\Delta 的可满足性和转化成的子句集合S的可满足性是**等价的**
### 紧致性定理的证明

我们对1)的证明如下：
在证明前，我们需要知道如下定义：

a)完备性（Completude）定理的定义：前提假设我们有一个有限个数元素的子句集合（记作）S并且S中不含有变量（符号），如果S是不可满足的集合，那么S必定拥有一个驳斥（Refutation）
b)驳斥（Refutation）的定义：一个子句集合S的驳斥是一个通过应用衍生方法产生的一系列子句C\_{1},C\_{2},......C\_{n}并且最后的C\_{n}是一个空子句，我们叫做S拥有（或接受）一个驳斥，记作S\vdash \Box 
我们注意到当S拥有一个驳斥时，那么很显然集合S是有限的，产生的子句C\_{1},C\_{2},......C\_{n}也是有限的，这是因为我们不能再运用衍生规则产生其它新的子句
c)衍生（Derivation）的定义：从一个子句集合S,通过应用解决规则（regle de resolution）或因式分解规则（regle de factorisation）产生得到的一系列子句C\_{1},C\_{2},......C\_{n}叫做衍生
d)正确性（Correction）定理的定义：前提S是一个不含变量符号的子句集合，如果子句C是子句集合S通过应用解决规则或因式分解规则所的到的子句，那么子句C是子句集合S的逻辑子序列（Consequence Logique），记作S\models C，也就是说集合S的所有模型（或称解释，指派）也是子句C的模型
e)逻辑子序列（Consequence Logique）的定义：一个公式（或公式集合）\phi 是另一个公式（或公式集合）\psi 的逻辑子序列，当且仅当所有\psi 的模型（或称解释，指派）是\phi 的模型，记做\psi \models \phi 
**证明：**
根据完备性定理我们可以知道子句集合S拥有一个驳斥，那么对应的集合\Delta 也拥有驳斥，那么这两个集合都是有限的，所以一个S的子集合S'在衍生驳斥中也是有限的，我们根据正确性定理可以知道，通过应用衍生规则,S'也是不可满足的，那么很显然存在对应于S'的公式集合\Delta ^{'}（\Delta ^{'}\subseteq \Delta ）来说，由于\Delta 含有以子句形式的集合S',那么集合\Delta ^{'}必定是不可满足的
\Box

参见
--

* 布尔代数主题列表
* 哥德尔完备性定理
* Löwenheim-Skolem定理

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
数理逻辑 |
| --- |
|  |
| 基本概念 | 
* 公理
	+ 列表
* 势
* 一阶逻辑
* 形式证法（英语：）
* 邏輯語義學
* 数学基础
* 信息论
* 蕴涵
* 结构
* 集合
* 定理
* 形式理论
* 类型论

 |
|  |
| 定理（列表（英语：）及悖论（英语：）） | 
* 哥德尔完备性定理及哥德尔不完备定理
* 塔斯基不可定義定理
* 巴拿赫-塔斯基定理
* 康托尔 定理、悖论和對角論證法
* 紧致性定理
* 停机问题
* 林德斯特伦定理（英语：）
* 勒文海姆–斯科伦定理
* 罗素悖论

 |
|  |
| 逻辑 | 

|  |  |
| --- | --- |
| 传统逻辑 | 
* 邏輯真理
* 恆真式
* 命题
* 推理
* 逻辑等价
* 一致性
	+ 相同一致性（英语：）
* 逻辑论证
* 可靠性定理
* 有效性
* 直言三段论
* 对立四边形
* 文氏图

 |
|  |
| 命题逻辑 | 
* 逻辑代数
* 布尔函数
* 逻辑运算符
* 命题逻辑
* 命题公式
* 真值表
* 多值逻辑
	+ 三值
	+ 有限值（英语：）
	+ 无限值（英语：）

 |
|  |
| 经典逻辑 | 
* 经典逻辑
* 一阶逻辑
* 二階邏輯
	+ 一元（英语：）
* 高阶逻辑
* 自由逻辑
* 量化
* 谓词（英语：）
* 一元谓词演算

 |

 |
|  |
| 集合论 | 

|  |
| --- |
| 
* 集合
	+ 遗传集（英语：）
* 类
* （基本）元素
* 有序对
* 序数
* 子集
* 相等
* 外延性
* 力迫
* 关系
	+ 等价关系
	+ 集合划分
* 集合运算
	+ 交集
	+ 并集
	+ 补集
	+ 笛卡儿积
	+ 冪集
	+ 同一性（英语：）

 |
|  |
| 集合种类 | 
* 可數集
* 不可數集
* 空集
* 居集（英语：）
* 单元素集合
* 有限集合
* 无限集合
* 传递集合
* 超滤子（英语：）
* 递归集合
* 模糊集
* 全集
	+ 可构造全集（英语：）
	+ 格伦迪克全集（英语：）
	+ 冯·诺伊曼全集

 |
|  |
| 映射与势 | 
* 函数、映射
	+ 定义域
	+ 到达域
	+ 像
* 单射、满射、双射
* 康托尔-伯恩斯坦-施罗德定理
* 同构
* 哥德尔数
* 列举法
* 大基数
	+ 不可達基數
* 阿列夫數
* 运算
	+ 二元运算

 |
|  |
| 集合理论 | 
* 策梅洛-弗兰克尔 (ZFC)
	+ 选择公理
	+ 连续统假设
* 广义集合论 (GST)（英语：）
* 克里普克-普拉克 (KP)（英语：）
* 莫尔斯-凯利集合论 (MK)（英语：）
* 朴素集合论
* 新基础集合论
* 塔斯基-格罗滕迪克 (TG)（英语：）
* 冯·诺伊曼-博内斯-哥德尔 (NBG)
* 建构式集合论（英语：）

 |

 |
|  |
| 句法（英语：）及语言 | 

|  |
| --- |
| 
* 字母表
* 元数
* 自動機理論
* 公理模式
* 表達式
	+ 基础表达式（英语：）
* 扩展（英语：）
* 关系
* 形式
	+ 文法
	+ 语言
	+ 证明
	+ 系统
	+ 理论
* 形成规则（英语：）
* 合式公式
	+ 原子公式
	+ 封闭式
	+ 基本式（英语：）
	+ 开放式
* 自由变量和约束变量
* 元語言
* 逻辑运算符
	+ ¬
	+ ∨
	+ ∧
	+ →
	+ ↔
	+ 逻辑相等（英语：）
* 谓词（英语：）
	+ 泛函谓词
	+ 谓词变量
	+ 命题变量
* 量化
	+ ∃
	+ !
	+ ∀
	+ 级别（英语：）
* 句子
	+ 原子句子
* 逻辑签名（英语：）
* 字符串
* 替换法（英语：）
* 逻辑符号
	+ 函数符号
	+ 逻辑常量（英语：）
	+ 非逻辑符号（英语：）
	+ 變數
* 逻辑术语（英语：）

 |
|  |
| 公理系统示例（列表（英语：）） | 
* 实算术（英语：）
	+ 皮亚诺公理
	+ 二阶（英语：）
	+ 初等函数（英语：）
	+ 原始递归（英语：）
	+ 罗宾逊算术（英语：）
	+ 斯科勒姆算术（英语：）
* 實數的構造
	+ 塔尔斯基公理化（英语：）
* 布尔代数
	+ 正则定义（英语：）
	+ 最小公理（英语：）
* 几何（英语：）
	+ 欧几里得几何
	+ 《原本》
	+ 希尔伯特公理
	+ 非欧几里得几何
	+ 塔尔斯基公理（英语：）
* 《数学原理》

 |

 |
|  |
| 证明论 | 
* 形式证明
* 自然演绎
* 蕴涵
* 推理规则
* 相继式演算
* 定理
* 系统
	+ 形式
	+ 公理
	+ 演绎
	+ 希尔伯特演绎系统
		- 列表（英语：）
* 完备理论（英语：）
* ZFC系统的独立性（英语：）
	+ 列表
* 不可能证明（英语：）
* 序数分析（英语：）
* 逆数学
* 自恰理论（英语：）

 |
|  |
| 模型论 | 
* 解释
* 结构
	+ 初等等价
	+ 有限模型（英语：）
	+ 飽和模型
	+ 子结构
* 非标准模型
	+ 算术（英语：）
* 结构图（英语：）
	+ 基本图（英语：）
* 分类理论（英语：）
* 完备模型论（英语：）
* 可满足性（英语：）
* 邏輯語義學
* 强度（英语：）
* 真理
	+ 语义理论
	+ 塔尔斯基
	+ 克里普克
* T-模式
* 转移原则（英语：）
* 真理谓词（英语：）
* 真值
* 型
* 超積
* 有效性

 |
|  |
| 可计算性理论 | 
* 邱奇数
* 邱奇-图灵论题
* 递归可枚举集合
* 可计算函数
* 递归集合
* 決定性問題
	+ 可决定性（英语：）
	+ 不可决定性
	+ P
	+ NP
	+ P/NP问题
* 柯氏复杂性
* Λ演算
* 原始递归函数
* 递归
* 递归集合
* 图灵机
* 类型论

 |
|  |
| 其他相关 | 
* 抽象逻辑（英语：）
* 范畴论
* 具象范畴、抽象范畴
* 集合范畴
* 逻辑史
* 数理逻辑
	+ 历史年表（英语：）
* 邏輯主義
* 数学对象
* 数学哲学
* 超任务（英语：）

 |
|  |
|  **数学主题** |

 |