论战逻辑
地表:
地球之内的所有等级就是地表等级。 行星:
很多的国家之和，一个整体。 星系:
很多的行星的集合。 结构:
假设宇宙中有无限个维度，那宇宙结构可以当成一种维度。 宇宙:
所有的宇宙结构的共体，也可以从单体宇宙叠多个宇宙。 无限盒子:
无限个多元宇宙(无限个单体宇宙)就是无限盒子，也是一个集合。 指数塔:
指数假设10的2次方，就是100，那3次方就是1000，那100次方就是一古戈尔，无限的无限次方就是无限盒子的意思，这就是指数。 阿列夫数:
如果一个数从0.1到0.01之后之直，那一个数跟一个数之间离是无限的，一个点与一个点也是这样，那这就是所谓的阿列夫数。 小基数:
一个可数模型(任意一种可数的模型的根茎)就是普通的一个小基数模型，大小基数就是一个容量超过所有阿列夫数中任何一种的大可数模型。 不可达基数:
众所周知不可达基数可以不设置为可数，也就是不可数模型，只要用小超越基数，把小基数1极限上升到一个高度，再把极限小基数1发展到一个非可数的模型，就是半步不可达基数，就是用ZFC小基数模型(在这里为符号Z代表)Z【-ω与+ω之间的不可观数模型】=代用一个符号J，就是所谓的半步不可达基数，再把J加上符号J不能测到完不可数就是不可达基数的一个基数模型。 大基数:
一种把可数模型与不可数的结合体就是半步大基数，而完美大基数就是可观不观的基数模型，假设大基数是O，O是非观非不观的基数模型，也就是O=J-可数+J+可数，a¯ 表示V的每一个集合a，集合a也可以表示任何一个模型，那O=a中的一种。 终级v:
不可达基数的完善体。 冯诺依曼宇宙V:
起初，无穷公理断言了 V 中存在下列冯诺依曼序数: {} ：被当做 0，因为没有东西∈{}
{{}}：被当做1，因为只有0∈{0}，1也仅大于0
{{}，{{}}}：被当做2，因为只有0,1∈{0,1}，2也仅大于0和1
{{}，{{}}，{{},{{}}}}：被当做3，因为只有0,1,2∈{0,1,2}，3也仅大于0和1和2
可以看出，被称作冯诺依曼序数的集合，是在以∈关系模拟数字之间的＜关系，n+1就是简单的把n的元素和n一起放到一个集合里。这样一来自然数集就天然的成为了一个无限序数ω，ω+1也能很自然的得到——怎么得到？
有了 0,1,2,3,……,ω 之后，V 中的东西都可以通过五种简单操作/构造得到
零、外延公理：对任意x和y，x=y 的情况是指 x 和 y 互为子集，即 x 的元素都是 y 的元素，并且 y 的元素都是 x 的元素。也就是说，{1,1}={1}，表达了任何对象都是唯一的。
一、对集公理：任取x和y，都会存在 {x,y}。这里需要注意的是，{x,y}={y,x}，这里x和y是没有先后次序，而我们想要x和y次序区别可以这样做，{x,{y}} 和 {{x},y} 就是两种集合。由对集公理，若所取的x,z相等，则可得{x,z}={x}，这样对于存在 {x}和y，就可以再由对集公理得到 {{x},y}，这样的集合也被称作有序对，记作
二、并集公理：对任意x，都存在y，使得对于每个z∈x，z的元素都是y的元素，y就是由x的元素的元素构成的集合，记作∪x=y。初学者容易搞错的一点是，{1,2}包含了1，1又包含了0，但0并不是{1,2}的元素。比如 {אn：n∈ω}这个由阿列夫n构成的集合只含有ω个元素，只有通过并集公理，你才可以得到里面的阿列夫n含有的不可数个序数构成的集合。
三、幂集公理：对任意x，都存在y，使得对任意z，若 z 的元素都是 x 的元素，则 z∈y。
四、选择公理：对任意x，x≠{}并且{}∉x 蕴含存在 f，使得对任意y∈x，都存在
而其更加直观的含义是：每个集合都有基数。在这个前提下下面一条就会变得通用
五：对任意序数a，a个集合都能构成一个集合。属于是爆杀了对集公理。
五代替不了幂集公理，因为得不到下一个无穷基数。也代替不了并集公理，在你刚得到 {אn：n∈ω} 的情况下，任意序数都会被一个足够大的阿列夫n大于，现存的所有序数都在阿列夫ω中，你要得到它就需要用阿列夫ω本身，并集公理却可以让你根据 {אn：n∈ω} 就能得到阿列夫ω。
以 0,1,2,3,……,ω 为起点，V 中的所有集合都可以根据这4条原则揭示出来。
集合论宇宙就是这么简单。
集台论宇宙:
所有宇宙模型的集合体，所有集合论的总合，是不会不包括除自身及脱殊级宇宙的，但是任何的基数模型与集合论都是在集合论宇宙之中。(或前) 脱殊复宇宙：
令 M 为 ZFC 的可数传递模型，则由 M 生成的脱殊复宇宙 Vm 为满是以下条件的最小模型类：1.MEVM2．如果 NEVM ，而 N '= N [ G ］是 N 的脱殊扩张，则 N ' EVM 3．如果 NEVM ，而 N = N '[ G ］是 N '的脱殊扩张，则 N ' EVM ， VM 是包含 M 并且对脱殊扩张和脱殊收缩封闭的最小模型类(那就有更大的模型)。如果集合论多宇宙是由集合论的每个宇宙，在脱殊扩张以及脱殊 refinements （给定的集合论宇宙是脱殊扩张的一个集合论宇宙的内模型）下封闭而产生的，那么它就是脱殊复宇宙。脱殊复宇宙所有的脱殊扩张形式的冯．诺依曼宇宙。
复复宇宙：
存在一个复宇宙．并且对任意复宇宙 M ，存在一个复宇宙 N 以及 N 中的一个 ZFC 模型 N ，使得在 N 看来， M 是一个由可数的非良基的 ZFC 模型组成的复宇宙。就像复宇宙公理对复宇宙的描绘，其中的集合论宇宙没有哪个是特别的，对任何集合论宇宙都存在着更好的宇宙能看到前者的局限性，复复宇宙公理表达的是每个复宇宙也都不是十分特别的，并且总存在着更加发达的复宇宙，在它们看来前者只是一个玩具版复宇宙。于是我们可以再再复复宇宙之后会得到复复宇宙之后的复宇宙等…… V-logic（逻辑多元）:
假设 P 是一条句子，上述理论连同论外公理" W "满 "在 V ﹣逻辑中是相等的。那么 P 在 V 的一个内部模型中成立。我们不用直接谈论 V 符号的"增厚"（+"其他外模型")，而是谈论用 V ﹣逻辑所制定的规则理论是一样，并在 V +中定义使得满足宽度潜在主义。在可数的结构上，宽度完成主义和激进潜在主义是相等的。通过 V ﹣逻辑这个符号，可以得到 V +( V ﹣逻辑＋ ZFC基数的模型）也就是所谓的逻辑多元，V ﹣逻辑很大，可以包含各种外部。与超宇宙的概念相反， 以逻辑不会认为是可数，以后我们或许得到 V *（所有逻辑中的任何一种＋ ZFC基数的模型）
