是否存在可证ℕ是PA模型但不证PA+Con(PA)一致的弱集合论？

你问的这个问题其实是集合论与证明论交叉领域里的经典方向——我们确实能找到满足要求的弱集合论，而且思路和哥德尔不完备定理紧密相关。

• 核心结论：存在这样的弱集合论
  我们要找的集合论T需要满足两个关键条件：一是能证明自然数结构ℕ（带0、后继、加法、乘法）确实存在，并且是PA的模型；二是T的证明强度不足以推出PA+Con(PA)一致（甚至连Con(PA)都推不出）。

• 具体例子：与PA强度等价的弱集合论
  最直接的构造就是做一个「PA的集合论包装版」：
  这个理论T包含以下公理：

  1. 外延公理（保证集合相等的定义）
  2. 空集公理（对应自然数0）
  3. 后继公理（每个集合x的后继是x∪{x}，对应自然数的+1操作）
  4. 无穷公理（存在一个包含空集、且对后继操作封闭的集合，直接保证自然数集合ℕ的存在性）
  5. Σ₀-分离公理（足够用来递归定义加法和乘法运算，保证这些运算在ℕ上是良定义的）
  6. 对应PA归纳公理的集合论版本（或通过Σ₀-归纳覆盖PA的归纳需求）

  这个理论T和PA是证明强度等价的：你可以把PA的语句翻译成集合论语言在T中证明，反过来也能把T的核心语句翻译成算术语言在PA中证明。

  它完全满足你的要求：

  • 一方面，T明确能证明ℕ作为集合存在，且上面的加法、乘法完全符合PA的所有公理，所以ℕ是PA的模型；
  • 另一方面，根据哥德尔第二不完备定理，PA无法证明自身的一致性Con(PA)，而T和PA等价，所以T也不能证明Con(PA)——自然更无法证明PA+Con(PA)一致（如果能证明PA+Con(PA)一致，就必然能推出Con(PA)，这会和不完备定理矛盾）。

• 为什么ZF/ZFC能做更多？
  ZF/ZFC的强度远高于PA，它包含了更强的归纳和集合构造公理（比如替换公理、幂集公理），这些公理让ZF能在集合论内部构造出PA的模型，还能跳出PA的框架，证明这个模型的一致性——简单来说，ZF有足够的「资源」来证明PA不会自相矛盾。

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