momo电子书

手机浏览器扫描二维码访问

第76章 人物志璃梦（第2页）

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

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

集合的概念是充分确定的，以生成结构（V，∈），以及“描述”

它的公理集合（ZFC）。

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

因此，就“ZFC以外的真理”

而言，可以说V继承了集合概念的不确定性。

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

都不同于另一个。

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

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

特尔努洛·德切利加

TheV-logicMultiverse

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

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

1.V是可数的。

2.V的宽度延伸可以通过“围绕”

V构建的结构中的“理论”

来处理（见下一张幻灯片）。

挑战假设V是不可数的。

我们的项目旨在:

1.保持V的“宽度扩展”

的可定义性。

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

的存在。

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

[BartonandFriedman，2017]）.

特尔努洛·德切利加

TheV-logicMultiverse

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

通过“标准”

推理，每当我们有W|=?，对于一些W|=T，其中w是v的外部模型，t是我们的“基础理论”

，那么我们的公理应该能够陈述w是多元宇宙的一员。

这章没有结束，请点击下一页继续阅读！

设Lκ，λ是无限语言（λ＜κ），允许形成:

1.长度＜κ的合取和析取

2.＜λ个变量的量化

无限逻辑比一阶逻辑有更强的表达能力。

使用这样的逻辑之一将确保满足约束1:“V的宽度延伸”