论文部分内容阅读
自从哥德尔和科恩证明了康托连续统假设相对于集合论公理系统ZFC的独立性之后,围绕着连续统问题,形式主义者和柏拉图主义者展开了持久争论。我们在本文中试图论证,武丁有关连续统假设所取得的最新进展有力地支持了柏拉图主义的立场。另一方面,我们把这些新进展看作是在哥德尔纲领下进行的工作,因此,作为一种哲学立场,柏拉图主义也推动着对集合宇宙的日益深刻的理解。