论天最上
论天上
论天中
论天下
论外超一线
论外一线
论外二线
论外三线
论外底层

论外守门员：不可数级别（a1~不动点）（阿列夫的符号不好打，用a代替）
论外三线：不可达基数（这是经典了，远超于a的基数）
论外二线：马洛基数（选择马洛是因为来源于正规的一个解释，是＞不可达基数的）
论外一线：紧致基数与可扩基数等（选择是因为它们不能由自然数所通过）
论外超一线：巨大基数（如伯克利基数与莱茵哈特基数一流或xx会的弱L）
论外超一线：冯诺依曼宇宙Ⅴ/多阶基数等
论外天花板下层：（0）1，也就是公里0＝1也即无中生有，通常用来证明公理集合论
论外天花板中层：以花园为例，也就是复复宇宙左右
论外天花板上层/“最上”分界线：其中结构普遍认为是V形式的无上限，Ⅴ玄宇宙逻多元，玄宇宙计划等（需要注意的是逻辑多元的版本很多，下限也很低，有的>伯克利）（“最高”版本的逻辑多元可能“最上”守门）
论外天花板最上：>逻辑多元既可
看这份应该就差不多了