翻译版（玄宇宙计划原文）超宇宙计划 (7-1)

注：翻译篇章总共分为两部分篇章内容到（2/2）结束，后续发布第三篇章翻译章节作品。

注：本章现状（1/2）。

ASL

超宇宙计划

HYPERUIVERS计划

塔蒂亚娜·阿里戈尼和赛-大卫·弗里德曼

摘要：Hopenaniwrae程序是一种新的集论真理的方法，它基于可分割原理，AZD独立于ZFC解决了许多问题。本文的目的就是提出这一方案。说明它的数学内容和含义，并讨论它的哲学假设。

AB)

1美元。介绍。本文的目的是讨论和说明超宇宙计划(以及内部模型假说(IMH)及其变体，作为实现它的建议)，第二作者(sce[7])提出的一种方法，其灵感来自于对已知独立于公理系统ZFC¹.的问题的研究

近年来，不同的研究项目，在独立的激励下

现象已在集合论中被表述出来。哥德尔在[9]中宣布的新公理计划，为他们中的大多数人奠定了基础，当时连续统假说独立于ZFC只能(正确地)推测。[9]及其修订和扩充[10]在集合论基础的争论中起到了基础性的作用。为了捍卫他们的观点，哥德尔引用了对数学本质的哲学思考，逻辑数学概念的分析，以及纯数学性质的技术论证。类似的成分可以在大多数

随后提出的克服独立性的建议结果。

哥德尔的程序值得仔细研究一下。作为一种根本动机

通过添加新的公理来扩展ZFC的程序。在[9]中表达了信念，即有可能给出最终答案

Reoeived，2012年1月31日。

关键词和短语。独立、大枢机、多元宇宙、柏拉图主义与反柏拉图主义、集合论真理。

两位作者都得到了奥地利科学基金(FWF)P22430-N13项目的支持。第一作者还得到了欧洲科学基金会在ESF活动“Infinky的新前沿：数学”框架内的交换基金的支持。哲学与计算展望。

我们所说的独立疑问句子 ф 是指ZFC一阶语言的句子，这样ZFC既不能证明ф也不能证明￢ф。　　

塔蒂亚娜·阿里戈尼和赛-大卫·弗里德曼

78

关于连续体的基数问题，尽管它可能独立于ZFC。这一信念显然是建立在柏拉图式的数学观之上的，根据柏拉图式的数学观，集合论概念和定理描述了一些确定无疑的现实，"其中康托的猜想必须是对的或错的，它不能从今天所知的公理中判断出来，这只能说明这些公理不能包含对这个现实的完整描述"，([9].第181页)。

(AB)

在讨论新公理的建议时，[9]中指出，新公理的候选应该是合理的，表现出对激励原则的一致性，比候选人本身更明显、更有说服力。集合的概念被用于这个目的，其中的观点是，集合是可以通过迭代应用操作“集合的”([9])从整数(或一些其他定义良好的对象)获得的东西。第180页)。特别强调了这一概念的最大含义，大意是公理“说明运算集的进一步迭代的存在性”，如“小”大基数假设。被认为是新集合论公理的完全合法的候选者²。

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