章节出错了,点此刷新,刷新后小编会在两分钟内校正章节内容,请稍后再试。
前言：逻辑之海＝超脱者
逻辑之海＝世界观总体但是又不等于世界观总体。
在诸界至高眼里可以短暂理解（贷款未来超脱视角）逻辑之海，所以明白逻辑之海便是整体世界观。
但是诸界至高之下无法理解逻辑之海，所以分化逻辑之海，分化的地方作为他们各自的世界（地图）
逻辑之海的意识仁慈的允许了他们的无理，并用超脱者的力量守护着他们的世界。
他们开辟而出的世界是可以对等逻辑之海的，因为受到了超脱力量的庇佑。（逻辑之海＝逻辑之海）
实际便是在超脱者眼里世界只有逻辑之海，但是在至高之下的生灵眼里世界是有许多地图的但是他们也没有错，因为逻辑之海默许了他们的所作所为与理解。
总而言之，逻辑之海＝世界观≠逻辑之海
数学原理：
全称量词的模型论解释是对论域M进行量化，而不是默认对最大的论域进行量化
“对任意XXX…”这样的语句能历遍的最大范围只是在M内而已
比如说La里面量词能历遍的最大范围就是a
记逻辑之海的论域为P，对P的某一局域M
sup{x|(M,E)|=x∈ω_1}不一定是真正的阿列夫一，他仅仅只是阿列夫一在局域M中的相对化
在某一局域M中，是可以出现P中强大的存在的“投影”的，不过这只是某位强大存在在M内的相对化
每个局域M对同一件特定事物φ的看法可能不同：
比较初级的例子就是根号二，有理数集会认为根号二不存在，实数集则会认为根号二存在
不过这种例子比较初级，有理数集和实数集甚至满足的公理都不一样
再进阶一点的例子就是同一个公理体系内的两个论域M与N，可能会有M认为某个X不可数，但N却认为X可数
对两个不同的论域M与N，二者可能会对X可不可数持不同看法
这里默认X的可数性需要跑到最大的论域中去判定，也就是说最大的论域认为x可数，那他就是可数的，反之亦然
对一个以不可数无穷作为论域基数的论域M
必然存在M的可数模型与他同构，这点是由罗文海斯科伦定理保证的
所以理论上底层的人无法区分可数与不可数，毕竟不可数的结构可数中都有
一个不可数无穷是完全可以“占山为王”，使得自己拥有超越万有的强大性(毕竟它之上的结构在它之下也有类似的体现)