超宇宙计划（第二版本）篇章 (6-2)

它是通过援引成功的标准来做出关于集合论公理候选者的真理[9] 用于将纯数学特性的考虑纳入关于新公理建议的讨论。公理的成功意味着在于其结果的丰富性，其“照亮整体”纪律”，及其产生的“解决给定问题的强大方法”（[9]，第183页）。数学结果（事实“在康托时代​是未知的”）是也被用来解释Cantor猜想的预测结果会证明是错误的。因此，[9]的寓意是在制定公理时作为集合论的候选者，一个人不仅致力于寻找一般激励原则证明了它们的合理性，但也必须考虑到已经存在并被接受的数学结果的语料库​，基于该语料库新的公理应该阐明，或者至少，不是不可调和的反驳我们在这里介绍的方法有许多共同的特点，尽管不是全部哥德尔的新公理程序。让我们简单地说明一下。超宇宙程序​试图阐明哪些一阶集合论陈述（超越ZFC及其含义）在V中被视为真，通过创建一个上下文，在这个上下文中，集合论宇宙的不同图片可以进行比较。这个上下文是超宇宙，定义为所有ZFC的可数传递模型。这些模型的比较让人想起原则（最大性原则和全知性原则​，我们将命名为两个其中的），提出了基于正当理由偏好某些集合相对于其他集合的普遍性。从优选普遍性的标准出发，一个应用的原则是，一阶陈述​适用于所有优选的宇宙（希望包括独立问题的解决方案）也适用于V（一个部分基于向下的LöwenheimSkolem定理的假设），并将这些陈述作为集合论的新公理。

简而言之，这就是超宇宙计划，人们可以清楚地看到它与哥德尔计划​的基本目标相同，即通过新的扩展ZFC从更深刻的基本认识看集合论公理事实上，在超宇宙计划中，人们制定了首选宇宙的原则和标准是由逻辑数学提出的分析的超宇宙。

此外，哥德尔建议考虑“最大属性属于的系统，这个程序解决了扩展ZFC的“所有集合”问题 这是一个很好的原则，启发了首选宇宙的标准。此外在哥德尔的计划和超宇宙计划中，人们都试图找到以一种可以被视为终极的方式解决独立问题并且不可修改，因此在V中可以被视为决定性的或真实的所有集合的宇宙。

然而，必须明确指出的是，在形成超宇宙的过程中程序，柏拉图主义在任何地方都没有被调用，无论是关于V还是超宇宙。相反，它的一些特征很明显表达了反柏拉图主义的态度，这使得该节目与哥德尔的截然不同。在超宇宙计划在论证寻求独立问题解决方案的合法性。相反，人们认为尽管在集合论中得到了大量的独立性结果，没有反对寻找问题最终答案的先验依据比如CH。这将举证责任​转移到那些声称存在的人身上。

此外，在制定超宇宙计划时，“V中为真”这一表述并不用于反映事物的本体状态，关于作为存在的现实的所有集合的宇宙可以独立于集合论实践。相反“V中为true”是指作为一个只传达关于集合论者的认识态度的信息的谈判法，作为对某些陈述所具有的地位的描述，或者预计将在理论家的眼中出现。句子“V中的true”是指是集合论者认为或应该认为是决定性的句子，即最终的和不可修改的。在超宇宙计划中有两种的语句符合此状态。第一种是集合论的陈述，由于它们在集合论实践中的作用，更普遍地说，数学不应与任何进一步的矛盾集合论陈述的候选者作为终极和不可修改。让我们称这些声明为“事实上的”“集合论”真相。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。