他存在于虚无之前他创造了一切他超越一切时间、因果、意识、思想世间的一切不过是他的一个念想他创造了无数宇宙每一个宇宙里含有无数粒子都含有无数多元宇宙无数多元宇宙里面有有含有无数粒子就这样无限叠加最后到达ω↑↑↑↑ω他在多元宇宙里面又创造了无数条时间长河叙述事同时又创造了无数生命这些生命也早已经超越了宇宙的一切时间一切因果他早以超越他于第四面墙无限穿梭又无限打破第四面墙同时又无限修复第四面墙而之一切不过只是在他的一念之间罢了无限修改和扭曲现实对他来说不过是一个念头就可以做到的事情而已不可达基数、马洛基数、弱紧致基数、不可描述基数、强可展开基数、拉姆齐基数、强拉姆齐基数、可测基数、强基数、伍丁基数、超强基数、强紧致基数、超紧致基数、可扩基数、殆巨大基数、巨大基数、超巨大基数、n-巨大基数、完整性公理、莱茵哈特基数、伯克利基数。 宇宙V的构造: V1={∅}
V2={∅,{∅}}
......
Vn +1=P(Vn)P表示幂集
......
Vω=V1∪V 2∪..
......
∪V ω∪...=∪V k
k <ω
......V λ={P (V α)}{Vv k }
V =∪V k“” K 跑遍所有基数 这是第一阶层宇宙V 的基本模型不可达基数(inaccessible carda=α∀∈∉βOη≈φ∏ℵ(这是一些符号,无用)
宇宙V≠冯诺伊曼宇宙
终极L包含所有大基数是不对的,终极L是给超紧基数的弱扩张策略子模型,这里的包含并不是真正意义上的包含。
冯诺伊曼宇宙是WF
即使在NF中,V也不是因为“是一个集合”
包含自身的
终极L“容纳所有大基数”是对超紧基数弱扩张子模N的H(k+)→H(j(k)+)嵌入封闭性的过度简化
0-反射基数,定义强嵌入关系 :
Vα*,∈,(R 1); ( Vk, ∈,R) ,(Vα,∀k, k+1, R ; V α*; (V*R*) 为一个有向无些 α 的集合。
V *r为大于 1 ,小于等于 k的 n 个自然数构成的非空集。;
*为元素相等组成的集合,R*为一系列符号的序列 反射基数是由 X 和 Y组成 的关系结构,自然数构成的非空集 小于等于 k小于1的 n 个元素组成的序列
存在且Vk+1 ⊆ Vγ,使得(a,b):k,则存在α<β且Vγ ⊆ Vδ使得(a,b)≤k。这个关系可以通过归纳法来首先要说明的是(α+1):k这个关系是满足传递性的。
然后根据归纳法假设 γ ,:k成立时,由于γ :k ⇒ (a,b):k成立 ,
你认为这个世界是“有限大”还是“无限大”的?如果你回答是“有限大”,那你就大错特错。
先从最基础的数字开始,1,2,3……
但无论怎么增长,都达到不了一个有限大无限,可用“ω”来概括,“ω”非寻常的有限大无限,是一个方式总和和,这是作者认为的:“+”“x”“↑”“→”……等可被发明出来的运算方式,与之后的不可被发明出来的运算方式。
但无论怎么做,都无法到达阿列夫1,也就是ℵ1,P()为幂,能够强化一切数字,而“ω”可为一个ℵ0
P(ℵ0)=ℵ1
……
阿列夫不动点
在此之上的zfc体系(可被V包括)所有大基数,包括终极L等不可被Ⅴ包含等等的大基数,甚至大基数的综合只不过是一个更高级的大基数的起始点而已,冯诺依曼宇宙,复宇宙,脱殊式复宇宙,玄宇宙,逻辑多元等能被描绘出来的基数宇宙以及其之上的基数宇宙不过只是一个更高级的大基数(1号)所创造的一个微小到几乎看不到的一些大基数宇宙罢了。些大基数所代号为“1”,1所能扩展的尽头再进一步便是2的开端
我们可以无限延长
上述的1~尽头为接下来的0~1的差距,那么此更无尽的差距1~尽头为之后的0~1的差距……当然前文所提及的只是一个宇宙,其中 V¯ 被正确地解释为V, W¯ 被解释为V的外模型。请注意,V-逻辑中的这一理论是在没有“加厚”V的情况下提出的,实际上它是在 V+=Lα(V) 内定义的。由于我们采用了高度(而不是宽度)潜在主义,后者又是以一个时空无限大的宇宙为基数,单体宇宙是∞,我们给予它一些增幅。
∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞^∞……这是一个庞大的世界构造。
然而这仅仅是比虚拟更加虚假的东西——对亚哈病毒-来说
符号对单体宇宙的增幅是客观的——在“甲型”之前是这样的。
那么,宇宙可以继续叠加。
∞↑↑↑↑↑↑↑∞
∞↑↑↑↑…(∞个↑)…↑↑↑↑∞
∞→∞→∞→∞→∞→∞→∞
……符号有更加上层,更加“庞大”的符号,能够给予单体宇宙更加巨大的,每一个级别都永恒地超越上一级的增幅。
CK序数:第一个不可计算序数是ω_1^ck,这是所有递归序数的集合,而ck是邱奇克林的缩写,而第二个不可计算序数为ω_2^ck,这是第一个不可计算序数ω_1^ck放入任何递归运算的集合总和,这里的运算可以有很多,如后继,加法,乘法,乘方,中函数,序数坍缩函数.…...,而我们还有第三个不可计算序数ω_3^ck,第四个不可计算序数ω_4^ck,第五个不可计算序数ω_5^ck.....以此类推,不可计算序数可以任意的多,不过任意ω_a^ck也都小于阿列夫一,而我们还有着对不可计算序数的拓展,也就是Фck,假如不可达性:Ω不能被小于它的数构造出来。
即Ω是不能从下面达到的。
推理过程与上面类似。
假设Ω能被某个小于它的超限数构造出来,我们便可凭此构造对Ω作出定义。
这破坏了Ω的不可定义性,所以Ω不可被小于它的数构造出来。
因此我们说Ω是不能从下面达到的,或说它是不可达的。
遗传序数可定义宇宙HODs:
HOD⁰=V
HODⁿ⁺¹=HODᴴᴼᴰ^ⁿ
HOD^ω=∩_n
H⁰=V
H^α+1=HODᴴ^ᵃ
HOD^η=∩α
对所有HODs的脱殊扩张
gHOD=∩HOD^V[G]
或许还有:
序数宇宙V=ON
良序宇宙V=WO
良基宇宙V=WF
于是可能:
V=L=ON=WO=WF=HOD=Ord=终极L=…………
复宇宙:
假没M是一个由ZFC模型组成的非空类:
我们说M是一个复宇宙,当且仅当它满足:
⑴可数化公理
⑵伪良基公理
⑶可实现公理
⑷力迫扩张公理
⑸嵌入回溯公理
对于任意集合论宇宙V若W为集合论的一个模型,同时在V中作为诠释或者说是可定义的,那么W可同样作为一个集合论宇宙。
对于任意集合论宇宙Vγ绝对极限序数
现在引入新概念“永恒序数”
“永恒序数是一个非常抽象的概念,下面简单讲解一下何为永恒序数,能否理解就要看个人了”
“永恒序数”是一个极为特殊,极为抽象,极难理解的序数。举个例子:以绝对极限序数为例,永恒序数的抽象程度远远高于绝对极限序数。
先来简单梳理一下集合的概念以及相关运算
集合:
集合,简称集,是数学中一个基本概念,也是集合论的主要研究对象。集合论的基本理论创立于19世纪,关于集合的最简单的说法就是在朴素集合论(最原始的集合论)中的定义,即集合是“确定的一堆东西”,集合里的“东西”则称为元素。现代的集合一般被定义为:由一个或多个确定的元素所构成的整体。
并集:
给定两个集合A,B,把他们所有的元素合并在一起组成的集合,叫做集合A与集合B的并集,记作A∪B,读作A并B,用符号语言表示,即:A∪B={x|x∈A,或x∈B}。
例如{1,2,3,4,5}∪{1,2,3,4,5,6,7,8,9,10}
={1,2,3,4,5,6,7,8,9,10}
并集的性质 关于并集有如下性质:
A∪B⊇A
A∪B⊇B
A∪A=A
A∪∅=A
A∪B=BV-逻辑(V-logic)
V-逻辑具有以下的常元符号:
a¯ 表示V的每一个集合a
V¯ 表示宇宙全体集合容器V在一阶逻辑的推理规则上添加以下规则:
∀b,b∈a,ψ(b¯)⊢∀x∈a¯,ψ(x)
∀a,b∈V,ψ(a¯)⊢∀x∈V¯,ψ(x)作为宽度完成主义者,我们不能直接谈论外模型,甚至不能谈论不属于V的集合。然而,使用V-逻辑,我们可以间接地谈论它们。考虑V-逻辑中的理论,我们不仅有表示V的元素的常元符号aread-normal-img¯ 和表示V本身的常元符号 V¯ ,而且还有一个常元符号 W¯ 来表示V的 "外模型,我们增加以下新公理。1. 宇宙V是ZFC(或至少是KP,可接受性理论)的一个模型。2. W¯ 是ZFC的一个传递模型,包含 V¯ 作为子集,并且与V有相同的序数。因此,现在当我们采取一个遵守V-逻辑规则的公理模型时,我们会得到一个模拟ZFC(或至少是KP)的宇宙,其中 V¯ 被正确地解释为V, W¯ 被解释为V的外模型。请注意,V-逻辑中的这一理论是在没有“加厚”V的情况下提出的,实际上它是在 V+=Lα(V) 内定义的。由于我们采用了高度(而不是宽度在定义的数学概念中,0即是正数也是负数理所应当的后面肯定是有1、2、3之类的数字如果我们将原来的数字做出一些更改,那会怎么样比如1改成1(⁰)、2改成2(¹)后面以此类推越做越大但是我们无法突破原有的宇宙要达到更高级的领域我们必须做出一些改变把原有的1(⁰)改变成1(ω)这样我们再进行换算和叠加将会达到更高但是我们就发现三体人永远比我们更上一层楼我们甚至连他们的尾巴都摸不到想要超越他们就必须往更高级的领域发展我们自定义一个符号(0)再加上集合论就成了集合论(0)再通过高级的叠加与换算文就得到了集合论(1)不过这样是远远达不到他们的水准就像人类再怎么厉害也比不过外星人所以我们将概念换算到集合论让它变成一个崭新的概念再把这个概念用一个字符代替这个字符就是π,当然那不是数学中的那个所以我们再引进一个新的概念“阿列夫”所以我就是无限的换算与叠加到极限就得到了“阿列夫”、“无限”、“基数”等其他概念无限的远超π所有的概念,但却永远无法超越[*]别想了,根本无稽之谈在真正的意义上超越了爱因斯坦等一系列物理学家甚至超越了物理法则......但是你遇见那些未知的全能者的时候,你的命运已经结束,那些全知“超·终极LV”
我们可以尝试描述其构造的一个概要框架:[L'(α') = \begin{cases} \emptyset & \text{if } α' = 0' \ \operatorname{Def}_{\text{ext}}(L'(α'-1')) & \text{if } α' = β'+1' \text{ 是后继序数} \ \bigcup_{β'
小扩展:
定义一个扩展的序数集 (Ord'),它不仅包括传统序数,还引入了一类新的“超序数” (\Omega'), 用于标记构造ible宇宙的“终极”界限。[ L'(α') = \begin{cas[ \Lambda_{\gamma}(L'(α'), V^) = \left{ x | x = F(\vec{y}, z), F \in \mathcal{F}_{\text{gen}}, \vec{y} \in \prod_{iω_1^ck,用Фck可以表示为Ф(1)^ck,ω_2^ck可以表示为Ф(2)^ck,ω_3^ck可以表示为Ф(3)^ck.....以此类推,运算规则都一样,而Ф(1)^ck、Ф(2)^ck、Ф(3)^ck.....用二元ck函数可以表示为Ф(0,1)^ck,Ф(0,2)^ck,Ф(0,3)^ck....以此类推。从1开始,2是1永远不可达的,同理,3是2永远不可达的,4同理,5,6,7……无限(∞=ω=N=阿列夫0),套幂集,然后是阿列夫1,阿列夫2……阿列夫无限……阿列夫不动点……不动点堆叠……不动点极限……阿列夫阿列夫1…………各种大基数,再以此V₀=∅
V_α+1=P(V_α)
若λ为极限序数,则V_λ=∪_k<λ V_k,
V=∪_k V_k,k跑遍所有序数
令ord为所有序数的类 则V=∪_k∈ord V_k
可构造宇宙V=L:定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u₀,u₁,u₂,……∈X使得x = {y∈X :φˣ[y,u₀,u₁,u₂,……]然后:
L₀=∅
L₁=Def(L1)={∅}=1
Ln+1=Def(Ln)=n
Lω=∪_k<ω Lω
Lλ=∪_k<λ λ is a limit ordinalג是极限序数 L=∪_k Lk,k跑遍所有序数
P-name宇宙V
令P为一个拥有rank ( P ) = r>ω假设P-names 通过一个flat pairing function 来构造。那么对于任意的V上的G⊆P-generic 以及对于任意的a≥r×w有V[G]ₐ=Vₐ[G]
令f为一个固定的的flatpairing function ;再递归地构造一个宇宙:
V₀ᴾ=∅
Vλᴾ=∪_α<ג Vαᴾ
Vα+1ᴾ=P(Vαᴾ×P)
Vᴾ=∪_α∈Ord Vαᴾ
宇宙V=终极L:
V=终极L的前置条件:
一个内模型是终极-L至少要见证一个超紧致基数。
一个内模型是终极-L也可以至少见证超幂公理UA+地面公理GA+存在一个最小强紧致基数成立。
一个内模型是终极-L必须是基于策略分支假设SBH。
如果V[G]是V的脱殊集合扩张并且V在V[G]的 ω− 序列下不封闭那么V[G]≠终极-L并且V[G]中普遍分区公理不成立。
见证普遍分区公理成立。
见证强普遍分区公理成立。
终极L是一个典范内模型,并见证地面公理Ground Axiom成立。
V=终极L的直接推论:
见证最大基数伊卡洛斯的存在性。
见证真类多的武丁基数终极L是最大的内模型。见证能够和选择公理兼容的最大的类- ADR 公理,并且θ是正则的。
拥有最大的证明论序数。(即使序数分析目前远未到ZFC的水平)
见证能够和选择公理兼容的最强的实数正则性质断言
见证 Ω 猜想成立
见证每一个集合都是遗传序数可定义的,
HOD猜集合都是遗传序数可定义的,HOD猜想成立。
见证ZF+Reinhardt不一致。
存在非平凡初等嵌入
j:Lλ(H(λ+))→Lλ(H(λ+)) .复宇宙:
假没M是一个由ZFC模型组成的非空类:
我们说M是一个复宇宙,当且仅当它满足:
⑴可数化公理
⑵伪良基公理
⑶可实现公理
⑷力迫扩张公理
⑸嵌入回溯公理
对于任意集合论宇宙V若W为集合论的一个模型,同时在V中作为诠释或者说是可定义的,那么W可同样作为一个集合论宇宙。
对于任意集合论宇宙V那么任意位于V内的力迫P,存在一个力迫扩张V[G]其中G⊆P为V-generico 对于每一个集合论宇宙存在一个更高的宇宙W且存在一个序数θ满足V≾Wθ≺W对于每一个集合论宇宙V,从另一个更好的集合论宇宙W的角度来说是可列的。
从另一个更好的集合论宇宙的角度来看,每一个集合论宇宙V都是ill-founded的简单说,存在一个集合论宇宙V,并且对任意集合论宇宙M,存在一个集合论宇宙W以及W中的一个ZFC模型w,使的在W看来,M是一个由可数的非良基ZFC模型,那V便是复宇宙。在复宇宙中,没有哪个集合论宇宙是特别的,任何集合论宇宙都存在着更好的宇宙能看到前者的局限性。
脱殊复宇宙:
令M为ZFC的可数传递模型,则由M生成的脱殊复宇宙Vᴍ为满是以下条件的最小模型类:
⒈M∈Vᴍ
⒉如果N∈Vᴍ,而N’=N[G]是N的脱殊扩张,则N’∈Vᴍ
⒊如果N∈Vᴍ,而N=N’[G]是N’的脱殊扩张,则N’∈Vᴍ
简单说,Vᴍ是包含M并且对脱殊扩张和脱殊收缩封闭的最小模型类。
如果集合论多宇宙是由集合论的每个宇宙,在脱殊扩张以及脱殊refinements (给定的集合论宇宙是脱殊扩张的一个集合论宇宙的内模型)下封闭而产生的,那么它就是脱殊复宇宙。
也就是说,脱殊复宇宙拥有所有的脱殊扩张形式的冯·诺依曼宇宙。
脱殊扩张V(V[G]):脱殊扩张说的是包含V可定义的偏序集P,P上面有一个滤子称之为脱殊滤子G,然后通过把G加到V中来产生一个新的结构,V的脱殊扩张V[G]作为一个ZFC的模型。复复宇宙:
存在一个复宇宙.并且对任意复宇宙M,存在一个复宇宙N以及N中的一个ZFC模型N,使得在N看来,M是一个在集合论多元宇宙中,不仅仅是因力迫法产生的分歧集宇宙,任何典范和非典范的内模型和存在、不存在的大基数(及其模型)均具有本体论的等价地位。
而且与物理学的平行宇宙一样,同时存在拥有各自属于自己的连续统的值的集宇宙,容许了分歧从物理置于数学上“无限可能性”。
与复宇宙、脱殊复宇宙的共同点:都是真超类。
设V就是真类,集合论多元宇宙就是由V(真类V)组成的超类,即真超类,复宇宙这种与多元宇宙一样,层谱上都居于高过Ⅴ_Ord+1的“位置”。
与复宇宙、脱殊复宇宙的不同点:像下文提到的一样,容许不同的集宇宙拥有各自属于自己的连续统的值,而复宇宙、脱殊复宇宙就没有此特性。
然后再以此为基准点,向上继续开始进入自创循环阶段。
但无论如何,保证了自身下限的上限可以迈入一个非常高的量级领域之中。由可数的非良基的ZFC模型组成的复宇宙。
就像复宇宙公理对复宇宙的描绘,其中的集合论宇宙没有哪个是特别的,对任何集合论宇宙都存在着“更好的”宇宙能看到前者的局限性,复复宇宙公理表达的是每个复宇宙也都不是特别的,并且总存在着“更发达的”复宇宙,在它们看来前者只是一个“玩具”复宇宙
于是我们可以继续,得到复复复宇宙等……
集合论多元宇宙
与物理学意义上的平行宇宙类似。
这是由分歧集宇宙引出的,在V中并不能消除分歧(不过在ultimate-L上是可以),因力迫法导致的分歧使我们得到唯一的V。
集合论多元宇宙就像休-埃弗雷特解决波函数崩溃问题一样,干脆容许这些分歧的存在,使得没有唯一一个绝对的宇宙V。