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

Desiderata3的一个重要后果是，尽管标准对于超宇宙计划中制定的首选宇宙是非一阶的（实际上是我们将在第3节中介绍的标准不是——它们量化了整个超宇宙），尽管如此超宇宙程序一得出集合论的一阶公理，这些是首选宇宙共享的一阶真理。

在证明Desiderata3的合理性时，可以援引向下的LöwenheimSkolem定理，然而，它本身只意味着必须存在V一阶反射到的超宇宙的成员。这些可以被选为超宇宙的首选元素是一种假设这在超宇宙计划中是临时的，因为它认为表达了扩大集合论范畴的合理程序真相在超宇宙计划中没有必要表明策略是获得集合论新真理的正确策略。事实上没有该计划的基础是柏拉图主义假设，没有对V的观点做出承诺作为一个独立于数学实践而存在的确定的现实在推广集合论知识时应忠实于此。

因此，在超宇宙计划中，没有先验的​区别在正确与错误之间寻找新集合论的策略真相。相反，我们的目标是制定和证明寻找新事物的程序设定一个人希望视为最终和决定性的理论陈述。

建议程序的合理性是，声称所达成的陈述应在第五节中被视为真实。

Desiderata 2和3相当于一个寻找策略的建议新的集合论真理（一个完整形式的提案，必须包括超宇宙优选元素的明确标准；我们认为在第3节中）。如何论证这种策略的合理性？

考虑一下超宇宙计划的目标。一个人希望掌握人们所面对的V的各种不同的图片，当代集合论，它忠实地被超宇宙所代表。由于向下的Löwenheim-Skolem定理，成员。超宇宙的是传递一阶信息的候选者关于V.面临着令人困惑的各种选择。这是我们不仅在当代集合论中所熟悉的情况。

在这种情况下，我们自然会采取以下行为：

分析可能性是什么，从中选择那些在合理的标准下看起来比其他人更好的可能性（因此可以先验地享有特权理由），并作出有利于这些的决定。这正是一个人在超宇宙计划。在寻找V的新真理的过程中，我们从超宇宙，它最忠实地反映了集合论宇宙。因为一个人不满足于超宇宙终极的、不可超越的语境，一个人被引导到由desiderata 2和3，这相当于挑选出超宇宙中具有最佳元数学​性质的成员（即那些遵守首选宇宙的标准），以便做出有利于它们的决定以丰富第五章真理的境界。的战略。

因此，从其目标来看，超宇宙计划是完全合理的。让我们强调，不能保证我们。下面的列表将引出新的公理，它们都能解决独立的问题并且与事实上的集合论真理相容。也就是说，跟随他们一开始就不确定自己能否成功地扩大这个领域V中的真理超越了已经被公认为权威的句子在集合论中。这是标准的公正性的结果正在使用的首选宇宙。然而，事实证明，通过选择根据我们提出的标准，一个宇宙确实得到了解独立的问题，而不与现有的明确真理相冲突集合论。这种事实上的发生可能被援引为相关的关于合理性的后验论证（来自成功的论证）超宇宙计划提出的策略。

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