1可测基数

    概念集合s上的一个二值测度μ是指一个定义在s的幂集s上的函数，对于每一xs，μx0或μx1，并且使得，给定s的两两不相交的子集的任何有穷或可数的集合Σ，如果Σ的每一元素在μ下的值为0，则μuΣ0。测度μ称为非不足道，如果us1，并且对于s的每一有穷子集x，μx0。集合s称为是可测的，如果存在s上的一非不足道的测度。一个集合s是不是可测的只依赖于它的基数。可测集合的基数称为可测基数。内容来源于百科

    定义一个基数k为可测基数，当且仅当k上存在一个k完备的非主超滤。

    2部分人类数学定义

    1f，f是以空集为的vonneuann层级宇宙。

    2fat、fag是以各种非良集为的vonneuann层级宇宙。

    3at可能是集合，也可能是真类，at是非空集的集合论起始。

    4vf是正则公理，正则公理即“对任意非空集合x，至少有一yx使xny为空集。”。

    3关于的部分设定。

    1对于每一个带有参数a，b这两玩意指的不是阿列夫数，是能任意干爆阿列夫数、甚至是大基数的内模型的任意阶语句若位于v的外模型内，并且areservg和

    eservg，那么存在一个可构造宇宙，满足。

    2zfc终极v终极zfcv终极终极vv终极终极vv。我们可以定义计算器或计数器，亦或是阶层体系之类的来迭代比如说定义阶层体系000v，0000zfc终极v终极，，这里我懒得码字，就此略过。

    上述里的“zfc”等等等等，可以替换成zf、nf、k、等等等等各种体系版本的集合论在妄想序列里，集合论的版本是无止境的，只有更强的集合论，没有最强的集合论，每一个集合论都有属于自己的集合论宇宙、集合论多宇宙、、集宇宙、集多元、、真类宇宙、真类多元、、类宇宙、类多元、啥啥啥的，亦或者来一个终极缝合怪zfczfnfknbgkgktg终极v终极。

    这里同样可以定义阶层体系、计算器或计数器之类的比如阶层体系000集合，0000集合论，

    000，0000zfczfnfk终极v终极，，我懒得码字，就此略过。

    4定义计算器或计数器0最强，1更强，

    5关于康托尔绝对无限。

    绝对无穷是康托尔的朴素集合论中的东西，在现在常用的集合论zfcnbgk等中不能存在，在某些非标准集合论比如gk中可以存在，不过称为universaset，大全集。

    6冯诺依曼宇宙。

    冯诺伊曼宇宙是对可以用zfc处理的所有集合进行渐增式定义的真类。它不是集合，但可以看作是“所有集合的集合”。它被称为累积层次，通过如下确定的超限列来定义构造，或者说断定其存在

    v0＝。

    v＝uvβ，β。x是x的集合。

    在为所有顺序数a定义v之后，放置次序如下

    v＝uv，on。

    冯诺依曼宇宙v主要构成

    1v＝v1uv2uv3uvnu＝uvk，k。

    2v＝

    1v，若＝1。

    2uvk，若k是极限序数。

    3v＝uvk，k跑遍所有序数。

    冯诺依曼宇宙的部分定义

    10＝。

    21def0def

    3n1defn

    40u1uunuuk，k。

    2＝

    1def，若＝1。

    2uk，若k是极限序数。

    3＝uk，k跑遍所有序数。

    在冯诺依曼宇宙中，“v型冯洛伊曼宇宙”被叫做“v阶层”，“型冯诺依曼宇宙”被叫做阶层，由定义可知，的定义、构造多于v，因此严格强于v。

    “”之上还有“j”，“j”之上也还有，如同无穷基数、大基数、阶层体系、计算器或计数器、妄想序列那般无穷无尽、无止境、无休止。

    我们可以由此定义一个“冯诺依曼阶层体系”，000＝v型冯诺依曼宇宙，0000＝型冯诺依曼宇宙，0001＝j型冯诺依曼宇宙，

    7决定性公理。

    如果采用zfad决定性公理系统，决定性公理可以每个实数子集都可测。决定性公理的一致性相当于无穷个伍丁基数的一致性。

    要想证明不可测集的存在性，必须依赖ac选择公理。

    8全能不可知论。

    把一切针对、争论、打击、包含、等，都甩给全能，并将自己只剩事外，例如

    a“全能是假的，比如说全能悖论，这证明了没有全能。”

    b“你说假的就假的”

    a“那你怎么解决全能悖论”

    b“脑子不好使还是怎么滴我又不是全知全能我怎么知道你问全知全能去，别问我，我回答不上来只能代表我有极限，我不是全能的，我有极限不代表全能有极限，你呛我只能代表我解决不了全能悖论，不代表全能解决不了。”

    简答来说就是老子不知道，你问全能去，反正老子不是全能，老子不知道很正常，要是老子什么都知道老子早就是全能了，还会搁这和你逼逼赖赖你也少在哪偷换概念，老子解决不了不代表全能解决不了，老子又不是全能，要是老子什么都解决的了，还会在这和你逼逼赖赖讨论全能悖论

    这就是全能不可知论，并不是说全知全能不可能被知道、认知，还是说其他啥啥啥说，我解决不了全能悖论和全知全能说各种问题，单纯的是因为我不是全知全能

    我是全知全能，那么我肯定给你解答这些，但问题就在于我不是全知全能，既然我不是全知全能，你问我我问谁你把我怼的无话可说又关全知全能什么事这只能证明我“无能”，而非全能“无能”。，，