V -logic多元宇宙（第二版本）篇章 (6-1)

目前大多数关于V -logic多元宇宙的工作源自/扩展了之前在超宇宙计划中进行的工作(其中，

[Antos et al.， 2015]，[Friedman, 2016]，

[Barton and Friedman， 2017]，[Antos etal.，nd])

我们还要感谢约翰·斯蒂尔、茹科·维纳宁和托比·梅多斯提供的进一步见解

我们的研究项目将追求一个主要目标：

阐明多元宇宙的正式理论

比较以下两种主要策略：

ZFC公理(或任何其他集合T理论，就此而言)是不完整的。我们怎么知道的？

通过“建造”ZFC的模型。因此，在ZFC的元理论中，我们可以讨论(并研究)集合论的多元宇宙。

集合论的宇宙是一种特殊的对象。

多元宇宙理论的主要任务是不仅提供集合的解释，还提供宇宙的解释(这意味着我们的理论应该有目的地设计成也包含宇宙的描述)。

集合的概念是充分确定的，以生成结构(V，∈)，以及“描述”它的公理集合(ZFC)。

此外，集合的所有性质没有被ZFC唯一地阐明(通过集合的概念)‘共存于’V([Väänänen，2014]).

因此，就“ZFC以外的真理”而言，可以说V继承了集合概念的不确定性。

设Vmult是所有V的集合，使得它们中的每一个都满足ZFC，并且每一个在“边缘”都不同于另一个。

我们多元宇宙理论的目的是cisely

Vmult

我们多元宇宙理论的目的是ciselytodescribeVmult.

特尔努洛·德切利 加

The V -logic Multiverse

我们多元宇宙理论的目的是cisely

Vmult

HP1设法证明Vmult是正确的，假设：

1.V是可数的。

2.V的宽度延伸可以通过“围绕”V构建的结构中的“理论”来处理(见下一张幻灯片)。

挑战假设V是不可数的。

我们的项目旨在：

1.保持V的“宽度扩展”的可定义性。

2.断言各种各样的“宇宙”的存在。

1参见[Antos et al.， 2015]，[Friedman，2016]，[Barton and Friedman， 2017]，[Antos et al., nd]详情请见。

2在一些与惠普相关的工作中，已经表明惠普的策略与关于V的各种本体论立场是一致的([Antos et al.， 2015]，

[Barton and Friedman, 2017]).

特尔努洛·德切利 加

The V -logic Multiverse

给定V和V的a(宽度)延伸W，V和W在我们的理论中应该是‘标准的’(不需要的解释应该被排除)。

通过“标准”推理，每当我们有W |= ϕ，对于一些W |= T，其中w是v的外部模型，t是我们的“基础理论”，那么我们的公理应该能够陈述w是多元宇宙的一员。

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