天才一秒记住【长江书屋】地址：https://www.cjshuwu.com
集合论的宇宙是一种特殊的对象。
多元宇宙理论的主要任务是不仅提供集合的解释，还提供宇宙的解释（这意味着我们的理论应该有目的地设计成也包含宇宙的描述）。
集合的概念是充分确定的，以生成结构（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的宽度延伸”
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！