86.倒数到二
“嗯哼。”洛绫十分赞同洛晨曦的观点,绝对道一算什么垃圾?就一個码字的、吹逼的、玩战力的、搞设定的、搞民科的、瞎几把乱解读数学的,他懂個屁的洛晨曦,“妄想序列都快完結了,贯彻整個妄想序列的‘集合论’裡的各种无穷基数、大基数被用作妄想序列的叠盒子手段,连一條集合论公理都不写出来怎么行?在這裡就由绝对道一补充,他不会拒绝,也不敢拒绝。”
這裡我要說的集合论是zfc集合论,zfc集合论一共九大公理,其中zf有8條,c有一條。
分别简称:外延,空集,无序,并集,幂集,无穷,替换,正则,以及属于c的選擇。
zf1:外延公理,一個集合完全是由他的组成元素所决定,两個元素相同的集合是相等的集合。
zf2:空集公理,存在一個沒有任何元素的集合,即空集(?)。
zf3:无序对公理,存在任意两個集合x、y,存在第三個集合z,而w∈z当且仅当x=w或y=w。
zf4:并集公理,给定任意几個集合,我們可以将其组成元素汇合在一起,组成一個全新的集合。
zf5:幂集公理,给定任意集合,该集合的子集可以组成一個全新的集合,且新集合≥该集合。
zf6:无穷公理,存在拥有无穷多個元素的集合。存在一個集合,空集作为该集合的元素存在,且对其任意元素a,au{a}也是该集合的元素。
zf7:替换公理,替换公理即“替换变量”,比如說w_1,我可以把1替换成2、3、4、……等等等等,甚至是直接替换成w_1,当然,也可以用来替换集合中的元素,或函数中的变量。
zf8:所有的集合都是良基集合。对任意非空集合x,x至少有一個元素y使得xny为空集。
c1:对于任意集合,可以有一個選擇函数从中選擇一個或多個元素组成一個全新的集合。
定义计算器或计数器:φ(0)=集合,φ(1)=集合论,…………
所谓的“无视量级”“超越量级”“……”等等设定,先不谈是否嘴炮,就算认這些设定,也過不了阿列夫一,因为阿列夫一是不可数无穷,不可数三個字的含义就是超越数量,不可数无穷就是超越无穷的无穷、超越数量的无穷。
而阿列夫一有具体定义,“无视量级”“超越量级”“……”等等设定大部分都沒有进行過任何详细设定,近乎于嘴炮或者就是嘴炮,和小学生吵架沒什么两样,因此从本质上和根源上都不如阿列夫一。
……
“ok,接下来抛弃‘妄想序列’裡的无限、超越无限、……等等等等,仅仅看‘人类数学’来体验一下‘无穷’到底有多么巨大吧,相对有限来說,无限又是多么令人绝望。”洛晨曦說道,“众所周知,无限是无穷的,不会被任何有限数以任何方法穷尽。,把自然数集,也就是阿列夫零、w看成100%。
任意有限自然数所占比例都是0%。
即,我們从自然数集中任意选取一個自然数,任意有限数被选中的几率都是0%,即不可能。
定义sj函数,sj函数依托選擇公理而存在,可以从自然数集中随机选取自然数。
将人类目前为止构造出来的最大有限大数用m代指。
将0到m之间的所有自然数组成一個集合。
该集合势为m,m集合相对自然数集来說,其组成元素在自然数集的组成元素中所占比例为0%,即两個集合的交集,相对自然数集来說,只相交了0%的元素。
使用sj函数对自然数集进行选取,因为m集合所占比例为自然数集的0%,因此m集合裡的元素不可能被选取到。
而m集合涵盖了从0到m的所有自然数。
因此sj函数随机选取的自然数必定大于m。
我們将這個必定大于m的自然数写作m0。
同样的,0到m0的所有自然数组成的集合在自然数集裡所占比例为0%。
我們可以进行同样操作,得到必然大于k0的自然数,我們写作m1,如此类推,必然存在m2,m3,m4,……
无限逼近自然数集,但在自然数集面前始终约等于0,始终所占比例为0%。
且因为我們的操作和sj函数的特殊性,因此任意能够被写、說、定义出来自然数,都是那不可能被选取的0%。
m0从根本上大于一切自然数!
m1从根本上大于k0!
m2从……
……
如此类推,我們就能得到一系列大于一切自然数,却不是无穷,弱于阿列夫零的“伪无穷”,這些伪无穷的本质還是自然数。
也就是說,這些伪无穷在有限的程度、层次上,无限的大于自己。
顺便提一句有关大基数裡部分伯克利基数的部分定义,limitclub伯克利基数的定义是club伯克利基数由是伯克利基数的极限。”
φ(0)=类,φ(1)=超越类,……
φ(0)=无限,φ(1)=超越无限,……
φ(0)=真类,φ(1)=超越真类,……
φ(0)=集合,φ(1)=超越集合,……
φ(0)=基数,φ(1)=超越基数,……
φ(0)=序数,φ(1)=超越序数,……
φ(0)=大序数,φ(1)=超越大序数,……
φ(0)=大基数,φ(1)=超越大基数,……
“你觉得妄想序列完結后,绝对道一還会不会更新妄想序列?”
“当然会,他還有一大堆吹逼盒子设定沒放出来,完結妄想序列后根本不需要剧情啥的强行关联前后文,直接硬放就行了。
比如說他今年一二月份写了两個吹逼设定,一個叫初曦,一個叫涂鸦,对应妄想序列裡的第一不可能次元维度级和第一次元维度级,完結后他肯定会放出来。
虽然這两個设定是早期设定,相较于现在的妄想序列的各种吹逼来說并不算强,甚至還很拉胯,设定拉跨定位太高,不過……沒啥,反正妄想序列不看设定吹逼盒术强弱,只遵循‘次序原则’,既然是那样定位的,按他给這两人在妄想序列裡排那么一個次序,那就那样吧。”
:https://www.bie5.cc。:https://m.bie5.cc