webjb

数学的相对一致性，不完备性和CH独立性。

送交者: xing0gong 于 2026-07-29 11:42:08

回答: 接着昨天，为什么逻辑没有成功编码集合论，由于 2026-07-29 08:19:49

这里的CH是连续统假设的缩写。一致性指的是无矛盾性，也称作相容性。公理化集合论是数学的基础。因此数学的相对一致性和不完备性归结为集合论的相对一致性和不完备性。公理化集合论中的标准公理化系统是ZF和ZFC这两个系统。直观上，自然数的算数系统和分析学的实数系统都是上述标准系统的实例。

我们给出以下结论。
1，公理化集合系统无法在自己的系统内证明自己的一致性，只能假设自己的一致性。然后根据这个假设，证明引入新公理的新系统的一致性。这就是系统的相对一致性。
2，上述系统ZF或者ZFC是不完备的。也就是说，在系统内存在命题，命题既不能证实也不能证伪。事实上，这种既不能证实也不能证伪的命题可能是无穷多的。
3，把CH分别加入上述两个系统，或者CH的否命题加入上述系统得到新系统。如果假设上述两个系统的无矛盾性，那么所得到的新系统也不会发生矛盾，不会造成新系统的崩溃。我们把连续统假设CH的这个“性质”，称作CH的独立性。

实际上，任何一个命题或者假设，如果命题以及其否命题对于无矛盾的系统仍旧保持一致性。那么都可以说这个命题对该系统有独立性。如果觉得这过于抽象，我们举一个例子。欧氏几何抽出平行公设第五公设得到新系统。假定这个新系统没有矛盾。那么平行公设对于新系统来说有独立性。即，欧氏几何或者其他非欧几何都有一致性。考虑高中文科生没有足够的知识储备，我们不展开讨论连续统假设CH的具体内涵。只要知道一点，连续统假设对于分析学和其他与之相关的近代数学分支来说，都是基础性的假设。如同平行公设对于欧氏几何的基础性质。

总结一下。由于ZF，ZFC的相对一致性和不完备性。数学或者宇宙真理被建立在相对一致性和不完备性的基础之上。当然，这里相对一致性和不完备性的定义如上所述。

阅读次数：66

所有跟贴:

上帝是存在的，所以数学是一致的； xing0gong (267字节) 07/29 11 56:54 (10388173)

加跟贴