先说另一个
是不是说过了
v=终极-l的直接推论
v是最小的脱复殊宇宙。
见证广义连续统假设成立,并且1上有一个均匀预饱和理想。
见证正常力迫公理成立。
见证最大基数icarus的存在性。
见证真类多的oodin基数。
它是最大的内模型。
见证能够和选择公理兼容的最大的类-adr公理,并且θ是正则的。
见证能够和选择公理兼容的最强的实数正则性质断言。
见证Ω猜想成立。
见证必要最大化原则成立。
见证超幂公理成立。
唯一分支假设ubh以及共尾分支假设cbh不成立。
汪吧斗兽场,域外虚空之特殊建筑。严格来说,并不属于域外虚空,而是和江曦晨某种意义上存在某种相似。