2)uv_k,若k是极限序数。
3v=uv_k,k跑遍所有序数。
……
冯诺依曼宇宙(l)的部分定义:
1l_0=?。
2l_1=def(l_0)=def(?)={?}
3l_n+1=def(l_n)
4l_w=l_0ul_1u……ul_nu……=ul_k,k<w。
2l_λ=
1)def(l_α),若λ=α+1。
2)ul_k,若k是极限序数。
3l=ul_k,k跑遍所有序数。
在冯诺依曼宇宙中,“v型冯洛伊曼宇宙”被叫做“v阶层”,“l型冯诺依曼宇宙”被叫做l阶层,由定义可知,l的定义、构造多于v,因此l严格强于v。
“l”之上还有“j”,“j”之上也还有,如同无穷基数、大基数、阶层体系、计算器或计数器、妄想序列那般无穷无尽、无止境、无休止。
我们可以由此定义一个“冯诺依曼阶层体系”,0≈0(0)=v型冯诺依曼宇宙,0≈0(0)_0=l型冯诺依曼宇宙,0≈0(0)_1=j型冯诺依曼宇宙,…………
7决定性公理。
如果采用zf+ad(决定性公理)系统,决定性公理可以每个实数子集都可测。决定性公理的一致性相当于无穷个伍丁基数的一致性。
要想证明不可测集的存在性,必须依赖ac(选择公理)。
8全能不可知论。
把一切针对、争论、打击、包含、……等,都甩给全能,并将自己只剩事外,例如:
a:“全能是假的,比如说全能悖论,这证明了没有全能。”
b:“你说假的就假的?”
a:“那你怎么解决全能悖论?”
b:“脑子不好使还是怎么滴?我又不是全知全能我怎么知道?你问全知全能去,别问我,我回答不上来只能代表我有极限,我不是全能的,我有极限不代表全能有极限,你呛我只能代表我解决不了全能悖论,不代表全能解决不了。”
简答来说就是:老子不知道,你问全能去,反正老子不是全能,老子不知道很正常,要是老子什么都知道老子早就是全能了,还会搁这和你逼逼赖赖?你也少在哪偷换概念,老子解决不了不代表全能解决不了,老子又不是全能,要是老子什么都解决的了,还会在这和你逼逼赖赖讨论全能悖论?
这就是全能不可知论,并不是说全知全能不可能被知道、认知,还是说其他啥啥啥说,我解决不了全能悖论和全知全能说各种问题,单纯的是因为我不是全知全能!
我是全知全能,那么我肯定给你解答这些,但问题就在于我不是全知全能,既然我不是全知全能,你问我我问谁?你把我怼的无话可说又关全知全能什么事?这只能证明我“无能”,而非全能“无能”。,