>>381
>>Terence Tao “big picture”(下記)を軽視しているw
>big picture なるものを持ち出しても間違いである V⊂Vκ が正しくなることは無い 残念!

ふっ
上記のTerence Tao “big picture”は
君の理解のために書いただけw(^^

1)到達不能基数κは ZFC公理系で証明できる如何なる基数λより大(2^λよりも大)
2)そして ステージVκは、κより小のZFCで証明できる基数λのステージVλたちの集合和を含む(もちろん順序数についても同じ)
 即ち Vκ ⊃ ∪λ Vλ
 そして ステージVκは 集合である(ZFCとは公理系が異なる)

一方、ノイマン宇宙Vもまた ZFCで証明できる基数λのステージVλたちの集合和を含む(もちろん順序数についても同じ)
(ZFCでは ノイマン宇宙Vは 集合にはできない)

これが Terence Tao“big picture”
細かい話は Akihiro Kanamoriや薄葉その他にある
それを読め