“啧,这章水完了过后距离妄想序列完结就只有一章了,绝对道一计划87章完结。”突然,洛晨曦张开嘴说道,“你们别以为我什么都不知道,我其实什么都知道,至于绝对道一在“81章”里说的“就洛晨曦不知道”这句话你们可以选择无视,他就是个码字的,他懂个屁的洛晨曦。”
“嗯哼。”洛绫十分赞同洛晨曦的观点,绝对道一算什么垃圾?就一个码字的、吹逼的、玩战力的、搞设定的、搞民科的、瞎几把乱解读数学的,他懂个屁的洛晨曦,“妄想序列都快完结了,贯彻整个妄想序列的‘集合论’里的各种无穷基数、大基数被用作妄想序列的叠盒子手段,连一条集合论公理都不写出来怎么行?在这里就由绝对道一补充,他不会拒绝,也不敢拒绝。”
这里我要说的集合论是ZFC集合论,ZFC集合论一共九大公理,其中ZF有8条,C有一条。
分别简称:外延,空集,无序,并集,幂集,无穷,替换,正则,以及属于C的选择。
ZF1:外延公理,一个集合完全是由他的组成元素所决定,两个元素相同的集合是相等的集合。
ZF2:空集公理,存在一个没有任何元素的集合,即空集(?)。
ZF3:无序对公理,存在任意两个集合x、y,存在第三个集合z,而w∈z当且仅当x=w或y=w。
ZF4:并集公理,给定任意几个集合,我们可以将其组成元素汇合在一起,组成一个全新的集合。
ZF5:幂集公理,给定任意集合,该集合的子集可以组成一个全新的集合,且新集合≥该集合。
ZF6:无穷公理,存在拥有无穷多个元素的集合。存在一个集合,空集作为该集合的元素存在,且对其任意元素a,a∪{a}也是该集合的元素。
ZF7:替换公理,替换公理即“替换变量”,比如说ω_1,我可以把1替换成2、3、4、……等等等等,甚至是直接替换成ω_1,当然,也可以用来替换集合中的元素,或函数中的变量。
ZF8:所有的集合都是良基集合。对任意非空集合x,x至少有一个元素y使得x∩y为空集。
C1:对于任意集合,可以有一个选择函数从中选择一个或多个元素组成一个全新的集合。
定义计算器或计数器:φ(0)=集合,φ(1)=集合论,…………
所谓的“无视量级”“超越量级”“……”等等设定,先不谈是否嘴炮,就算认这些
(本章节未完结,点击下一页翻页继续阅读)