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

注：超宇宙计划（1/2）篇章

摘要：超宇宙计划​是一种设置理论真理的新方法基于合理的原则并导致决议独立的许多问题来自ZFC。本文的目的是介绍这个程序，来说明它的数学性质内容和含义，并探讨其哲学假设。　

§1.引言。本文的目的是讨论和说明超宇宙计划（以及内部模型假说（IMH）和它的变体作为实现它的提议），一种由于第二个作者（见[7]），其灵感来自于寻找问题的解决方案已知独立于公理系统​ZFC。

近年来，不同的研究项目，出于独立性​的动机现象，已经在集合论​中被公式化了。大部分的舞台它们是由哥德尔​的新公理​程序设置的，在[9]中宣布当连续统假说​与ZFC的独立性只能（正确地）推测。[9] ，及其修订和扩展版本[10]，在关于集合论的基础。为捍卫那里表达的观点，Godei援引了对数学本质的哲学思考​、逻辑数学概念的分析以及纯粹的技术论证数学特征。类似的成分可以在大多数随后提出的克服独立性的建议取得了成果。

哥德尔的计划值得仔细研究。作为基本动机对于通过添加新的公理来扩展ZFC的程序，[9]中表达了这样的信念，即有可能给出最终的答案关于连续体​的基数问题，尽管它很可能独立于ZFC。这一信念显然基于柏拉图主义​的观点数学的，根据它建立理论概念和定理描述一些确定无疑的现实”，其中康托尔​的猜想一定是无论是真是假，以及它从今天已知的公理中的不可判定性，只能意味着这些公理不包含对的完整描述这一现实”，（[9]，第181页）。

当谈到讨论新公理的建议时，重点是在[9]中，新公理的候选者应该是合理的，显示与激励原则的一致性比候选人本人。集合的概念​是为了这个目的而提出的，其中认为集合是从整数（或一些其他定义良好​的对象）的迭代应用的”（[9]，第180页）。特别强调最大化的含义关于这个概念，大意是公理“进一步陈述的存在运算集的迭代，像“小”大基数假设，被视为新集合论公理​的完全合法候选者。[9] 然而，不排除的可能性是，超出的概念设定，可能还有其他动机成功地表明了合理扩展ZFC的策略。事实上，人们猜测“可能存在除了普通公理[…]集合的其他（迄今未知的）公理对其背后的概念有更深刻理解的理论逻辑和数学将使我们能够认识到这些概念”（[9]，第182页）。[10]中还提出集合系统的最大性质可以被设计成不是直接的由集合的概念提出，但可以作为一个合理的新公理集合论​（“[…]在某种意义上来自与此相反的公理[V=L]康托猜想​的否定也许可以推导出来。我在想一个公理的[…]将陈述系统的一些最大性质所有集合的[…]”，[10]，第478页）。

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