>>808
>もし U∈V成立がいえるなら、そこから ZFCでも到達不能基数の存在が導けて 矛盾

Vから到達不能基数の非存在は導けないが

Vは、自明でないグロタンディク宇宙を持たない集合論の宇宙のみを指すものではない

任意の集合論の宇宙のみを指す

Vが自明でないグロタンディク宇宙Uを持たないこともあるが

持つとすれば U∈V

なぜなら、Uは集合だから

QED