（这一章是送的，每当有重要人物或者是神永久下线都会单独出一章人物志。林化羽创造出的巨兽的量级在下面。）
名称：璃梦。
物种：原本是七维宇宙的生物，投影到三维宇宙就是一个青色头发的少女，后来得到了“自由”的概念权限成为伪神，“物种”一词已不适用。
身高：165cm～不可知、不适用
体重：40kg～不可知、不适用
外貌：青色长发，容貌无可挑剔，即总是会在不同的人的眼中呈现出不同的模样，但一定最贴合那个人的审美，祂的实质是“自由”。
性别：女/不适用
名号：向往高天的飞鸟，不可计量的永在，无边疆域的解放。
概念权限：完全，但有瑕疵的“自由”。
性格：阳光开朗，为人和善，懂得尊重所有人，有一点腹黑，对于敌人毫不留情……
故事：她原本是七维宇宙的一颗类似于蓝星的星球上的一个家境显赫的女孩子。那个星球——姑且叫它蓝星_7吧——和蓝星有一点一样，都有“神眷者”的存在，而璃梦从小到大都是品学兼优，而且也对这些东西感兴趣，不出意外的成为了“神眷者”。
事实上有一次璃梦差点就要改姓为云梦了，那是她五岁的时候，因为一件小事和家里闹矛盾而离家出走，然后就顺理成章的被拐走了……当时买家都找好了，那一家姓云，因为一些原因始终没有孩子，于是就买了一个……
后来璃家发现并找到璃梦的时候，她已经改姓两周了……这让她爷爷气的，一大把年纪了，拄着拐杖撵着她爹打……在璃家的影响下，人贩子被找到了，说来也怪，找到人贩子的第二天他们就又不见了……说得好听，其实就是已经被璃家私下解决了……
言归正传，璃梦成为“神眷者”后的一段时间里风平浪静，时不时有不长眼的高级文明打过来，不过也都被“神眷者”在所有人都不知道的情况下处理掉了……
直到后来，璃梦到了“忘我期”，有一次她“本心”的呐喊差点置她于死地，也就是在那个时候出现了一个恐怖的存在，祂帮璃梦解决了“本心”的麻烦，并给了她“自由”的概念权限，唯一条件是：……（因为璃梦已死，此条件作废，被抹除。）
能力：可以自己添加或修改。
设定：可以自己添加或修改。
量?级（逻辑多元，来自知乎大佬，我自己写的世界观尚未完善，）：阐明多元宇宙的正式理论
比较以下两种主要策略:
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.断言各种各样的“宇宙”的存在。
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是多元宇宙的一员。
设Lκ，λ是无限语言(λ ＜ κ)，允许形成:
1.长度＜κ的合取和析取
2.＜λ个变量的量化
无限逻辑比一阶逻辑有更强的表达能力。使用这样的逻辑之一将确保满足约束1:“V的宽度延伸”的表示将排除“不想要的”解释。
v逻辑是无限逻辑Lκ+，ω，即一阶逻辑，增加了:
1.＜κ+个变量和常数(每个a ∈ V一个)，其中κ是任意基数＞ω
2.＜ω量词
3. 一个特殊的常数V，表示地面宇宙
4.一个特殊的常数W，表示地面宇宙的一般外部模型
5.长度小于κ+的无限合取和析取
我们知道证明可以用集合来编码。在V-逻辑中，证明是由Hyp(V)中的集合编码的，这是V之后最不允许的集合。
M上的容许集是KPU的模型AM，其形式为
AM =(M；一，∈，...).M上的纯容许集是容许集，M没有u元素(A集合A s.t. KP |= A)。
M上的最小容许集(记为HypM)是M上所有容许集的交集(并且等价于可构造论域的第α级Lα，其中α是M上最小容许序数)。
因此，在V-逻辑中，Hyp(V)(以下简称V +)只是一些Lα(V)。
V -logic中的证明代码在V +中。
现在，假设我们想要断言存在一个‘宇宙’W，一个V的宽度延伸。
我们从句法上进行:这样一个世界的存在等价于以下一致性陈述的证明:
Con(T + ?)
其中t是我们的基础理论(BST)，?= w的w性质。
|= ψ”，而ψ是一些对于每一个扩张v并定义性质ψ的世界w，我们在V +中有一个? = Con(T + ψ)的证明码。
属性ψ可以这样选择，以便表达所讨论的模型的某些相关特征。
(例如，对于W是基论域的集泛扩张，我们可以将W刻画为‘包含V上的P-泛滤子G并满足ψ’)。
对于每一个扩张v并定义性质ψ的世界w，我们在V +中有一个? = Con(T + ψ)的证明码。
特别是，我们可能有:
集合-类属扩展(" W是s.t. W包含一个P-类属G超过V并满足ψ’)
1.类通用扩展(如上，有一些修改)
2.超类-泛型扩展(同上)