代号𝑉的杀手

代号𝑉的恐怖杀手，东西到位，可杀任何人！

科技武器：𝑉式发射器，以集合论宇宙为粒子制造弹药发射，通过任何方式最终实现将大到连任何数学和哲学都无法理解的操作后继作为武器实体化。

抹杀武器：𝑉式毁灭装置，按下可以抹杀指定人物。

粒子武器：𝑉式微观虫，可以毁灭任何大小的粒子。

隐形量子衣：𝐿式量子构成，可反弹任何伤害或者虚化身体免疫任何攻击。

定义𝐿=包含了数学或所有基数的所有构造=涵盖了世界基数、不可达基数、马洛基数、弱紧致基数、不可描述基数、强可展开基数、拉姆齐基数、强拉姆齐基数、可测基数、强基数、伍丁基数、超强基数、强紧致基数、超紧致基数、可扩基数、殆巨大基数、巨大基数、超巨大基数、n-巨大基数、莱茵哈特基数、伯克利基数（该基数是在ZF集合理论的背景下定义的概念，不符合选择公理。它具有比莱因哈特更强的极大性，同时也是所有被学术界正式承认的大基数里强度最高的一个。若数κ为伯克利基数，则对于任何带κ的传递集k∈M和任何序数α＜κ，都有一个初等嵌入j:M<M和crit j<κ。若κ是正则的，且对于所有club→C⊆κ和所有带κ的传递集M∈M；有j∈ε(M)和crit (j)∈C，则称κ为极限伯克利）……的公理体系，以及包含这所有大基数的集宇宙（集宇宙也被称为𝑉。它作为笼统的“一切”，代表论域内所有元素的集合，根据具体论域的不同其所遍历的一切也不尽相同。通常所说的𝑉只是更大的V的一小部分。无论多大的𝑉都有在其之外的元素构建不属于这个𝑉的集合，最终无限迭代形成一个扬升链。𝑉包含了一切大基数，那么当你宣称存在一个比已知的𝑉更大的大基数时，自然代表存在着一个更大的𝑉）、脱殊复宇宙（脱殊复宇宙是集宇宙所有力迫扩张的集合，也就是所有可能的𝑉都同时存在并构成的“多元宇宙”）或是其它任何由人类提出的理论能够得到的数学概念。

定义𝑈=更大的𝑉向上不断构造出来的极限𝑉，极限𝑉是指𝑉的极限。

𝑉＞𝐿，我们知道𝐿是𝑉的内模型，𝐿到底有多大呢？和𝑉一样大吗？从直观上来讲，𝐿似乎比𝑉小得多。这个时候，数学里又一个奇迹发生了——当你觉得一切都显而易见的时候，数学用一连串推理告诉你，你之前的“三观”的错的，需要尽数毁掉！哥德尔证明了𝐿是否与𝑉一样大，竟然在我们常用的ZF公理体系下不可判定，就算加入选择公理的体系ZFC，𝑉=𝐿也与ZFC没有任何矛盾！

于是，𝑉=𝐿能够成为一条公理，叫做构造性公理。实际上如果我们承认ZF加入𝑉=𝐿这样的体系，选择公理其实是这个体系的一个定理，就是说，在这个体系下，选择公理能够被证明出来。而这个公理，还能把另外一个著名的猜想变成定理——连续统假设。注意这实际上是证明了连续统假设与常用的ZFC是没有矛盾的，而这个结果也是哥德尔证明的(之后，科恩证明了连续统假设的否定也和ZFC不矛盾，于是连续统假设与ZFC独立，因此科恩获得1966年菲尔兹奖)。

𝑉=𝐿，并且𝑉=𝐿也能推论出很多大基数的不一致性，所以如果接受了𝑉=𝐿，很多集合论的研究课题都变得无意义或者trivial)