《模态逻辑新引论》定理6.3：s-一致集的最大s-一致集扩充

嘿，咱们来拆解模态逻辑里这个关键结论——出自《模态逻辑新引论》第115页的定理6.3，它解决的是最大s-一致集的存在性问题。下面给你理清楚定理内容、核心定义和证明思路：

定理6.3：假设Δ是一个s-一致的合式公式（wff）集合，则存在一个最大s-一致的合式公式集合Γ，使得Δ⊆Γ。

先明确核心定义：s-一致性 #

要理解这个定理，首先得搞懂什么是s-一致性：

• 一个合式公式集合Δ是s-一致的，当且仅当不存在任何合式公式α，使得从Δ出发，既能通过s系统的推导规则得到α（记作Δ⊢ₛα），又能得到α的否定~α（Δ⊢ₛ~α）。简单说就是，这个集合里不能推出矛盾。

证明的核心思路 #

这个定理的证明本质是对原s-一致集进行逐步扩张，最终得到满足要求的最大集合，步骤可以拆解成：

1. 先把所有的合式公式排成一个可数序列：α₀, α₁, α₂, ...（因为合式公式是可数的，所以总能完成这种排序）
2. 从原集合Δ开始，构建一系列扩张集合：
   • 初始集合Δ₀=Δ
   • 对每个n≥0，处理序列里的第n个公式αₙ：
     • 如果Δₙ∪{αₙ}是s-一致的，就把αₙ加进去，得到Δₙ₊₁=Δₙ∪{αₙ}
     • 如果Δₙ∪{αₙ}不一致，就把_{αₙ加进去，得到Δₙ₊₁=Δₙ∪{}αₙ}
3. 最后把所有这些扩张后的集合取并集，得到Γ=∪ₙΔₙ

接下来要验证Γ的两个关键性质：

• Γ是s-一致的：假设Γ不一致，那必然存在一个有限子集是不一致的，但这个有限子集肯定包含在某个Δₙ里（因为Δ是逐步扩张的），而每个Δₙ都是s-一致的，这就产生了矛盾，所以Γ一定是s-一致的。
• Γ是最大s-一致的：随便拿一个合式公式α，它肯定在之前的序列里（比如是αₖ），那在构建Δₖ₊₁的时候，要么αₖ被加进去了，要么_{αₖ被加进去了，所以α要么属于Γ，要么}α属于Γ，不存在第三种情况——这就满足了“最大”的定义：没法再往Γ里加任何合式公式而不破坏s-一致性。

内容的提问来源于stack exchange，提问作者oliver