STEEL计划：证据框架 核心与终极-L (12-2)

和（3）Ultimate-L是核心，也是这一主张的理由（第5节）。

但首先，我们想非常简要地介绍一下可以讨论斯蒂尔计划的哲学背景。

1.2两种普世主义。

MV定位于当前的宇宙/多元宇宙辩论，因此，在关于多元主义的辩论中，也就是关于是否

数学真理分成许多相互矛盾的真理，通常被认为与“本体论”多元主义相对应，也就是说，与以下观点相对应：

（【本体论】）多元主义。集合论有许多可供选择的宇宙（集合论多元宇宙）。但请注意，一些多元主义者只会致力于语义多元主义，也就是说，所有集合论陈述的真值都是不可判定的，其来自ZFC的公理是不确定的（既不是真的也不是假的）。相反的阵营是

代表人：

（【本体论】）非多元主义。集合论只有一个宇宙，在下文中，我们主要将上述立场称为：

经典大学主义。集合论是一个单一宇宙V的理论，其特征是被ZFC公理（以及潜在的扩展ZFC的其他公理）所束缚。

斯蒂尔本人介绍并思考了几篇性质和强度不同的论文，关于集合论本体论和真理论。假设的哲学命题MV多元宇宙核心的存在就是斯蒂尔所说的弱绝对主义：

软弱的绝对主义。多元宇宙有一个核心。对于我们的目的至关重要的是，弱绝对主义很自然地会导致以下结果

更强的视角：

核心大学主义。集合论是多个（集合论）宇宙的理论 是一个多元宇宙，它也包含一个核心宇宙。这样的宇宙有更好的，声称自己比任何其他宇宙都被视为“集合的终极宇宙”。

我们认为这一立场是有道理的，特别是考虑到钢铁公司的计划，只要MV多元宇宙的核心存在，那么声称V是这种多元宇宙的核心。

快速陈述经典大学主义和核心大学主义之间的主要区别：

经典大学主义可能被标准地描述为相信我们集合的直觉，或集合的概念本身，将为我们提供一种独特的、一致的ZFC公理的扩展，它将唯一地固定不可判定的真值声明相比之下，核心大学主义可以被描述为认为所有可供选择的“宇宙”都是同样合法的；然而，这样一个世界大学主义也会认为每个宇宙（或者，如果你愿意的话，理论）都包含单个的“痕迹”，“首选”宇宙，该位置的大部分价值在于表明这种说法是正确的，也就是说，核心宇宙在多元宇宙中是可以探测到的。

当然，核心大学主义也希望能够描述核心以令人满意的方式。为了减少集合论的不完全性，古典大学主义将建议进一步探索我们对集合的直觉，或锐化集合的概念，而核心大学主义将建议进一步探索核心的性质通过多元宇宙公理。

现在，很明显，钢铁计划倡导核心大学主义的观点，因此，它对核心相对于经典的偏好有着深刻的影响。

大学主义：如前所述，该计划如果成功，将为核心大学主义。事实上，核心大学生对该计划目标的理解

其结果可以概括为：集合论本体论的非多元主义，不可能是正确的，因为我们意识到存在许多替代宇宙（如以及扩展ZFC的替代理论）。但是，如果多元宇宙，一个基于当前集合论实践的重要部分（基于在下一节中讨论的“证据框架”），我们可以确定一个“首选”多元宇宙中的宇宙。但是，为了我们所有的基本目的宇宙可能被视为我们理论前期概念的充分例证，关于“单一宇宙”，也许并不完全是经典大运会的宇宙，事实上，是一个更大的宇宙“务实”但同样合理的说法，Usuba的结果已经证明了弱势绝对主义者的立场：如果

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