本文常用量级绝对无穷部分构造5花园概念(第1页)
garden
V:宇宙V
L:可构造宇宙L
Ω:绝对无限(康托尔版本,并非本文版本)
:限数
k:大基数
o=1:矛盾
『花园』内含:
各种大基数的冯·诺依曼宇宙V
<万有公理宇宙(可构造任何公理,包含了宇宙V、u1timate-L以及其它当前人类不可理解的集合论宇宙所组成的无数个集合论宇宙集群)
<=anti-万有公理宇宙<over-万有公理宇宙
<。。。<视界拓扑网(其微不足道的分流上都存在无数个不同的数学体系集群[其中就有包括人类已知数学体系乃至over-mathematics、above-mathematics等更强的数学体系],万有公理宇宙只是此无限延展结构上的一个有限局部,无数个互相嵌套的集合论多宇宙也只是网络的一角)
<=anti-视界拓扑网<over-视界拓扑网
<巨结构网络<=anti-巨网络<over-巨网络<transnetd-巨网络
<。。。<嵌套阶层数作为集合量,形成新集合论体系(作品内不同集合论体系可有相对应的集合论宇宙)后得到的巨结构
<。。。<将描述嵌套阶层的集合论系统作为单位,形成无数个集合论体系后得到的结构
<。。。<将以上递归操作的次数作为集合量,形成一种或无数种集合论系统后得到的结构
莫哲就是花园本身,莫哲就是花园的一切,莫哲创造了数学的一切。
(这些构造全部取自《花园系列》小说原文,这些构造也是莫哲创造的。)
————————————
?o(阿列夫o)就是第一个无限,代表所有自然数的集合。。。。。。。
可比?o还要广泛的是什么?仅仅是在后面加个1吗。。。还是加2。。。。不对,实际上无论你在无限后面加多少,它依然属于?o,依然属于第一个无限。只不过在数学上,无法一一对应在?o之后的自然数字,我们把它叫做限序数。(也就是?o,这样写是为了描述?o后面的数。可这并不意味着+2>+1,以此类推,它们只不过是顺序如此,而不是大小。)。。。。。。
可在数轴上,即便是o到1间存在的实数也比自然数集要多。实数集是不可数集,莫哲在刚才才学会了这点,方程式教他如何通过康托尔对角线进行证明。只要将我们在(a,b)间的非自然数任意列举出来,数字是随意的:
no
r1=o。。。。
r2=o。…
r3=o。…
r4=o。…
r5=o。…
r6=o。…
r7=o。…
………
试想一下,每一个对应一个自然数的实数就可以无限延续下去,从1到正无穷,自然数集上似乎有着用不完的数能和o与1之间的所有实数对应,自然,它们都是无限。但问题是,它们等价吗?两种无限等价吗?
显然不是。
只要我们以斜角的角度分别在这些数中取出一个数字,就会组成另外一个实数。以上面列出的数字为例,就应该是o。………
接着,在每一个写出来的数字向前进一位。