>>233
>細かいことを省いて いえば
大事なことを省くからは、◆yH25M02vWFhPは間違う

>グロタンディーク宇宙を導入する意義は
>ZFCノイマン宇宙においては、固有クラスになる対象を
>全部集合にできるということ

その言い方が間違い
その言い方が馬鹿丸出し

「固有クラスになる」とかどうでもいい
どうでもいいことを真っ先にいうのが馬鹿

まず、グロタンディーク宇宙の定義を真っ先に確認しろ

１．x ∈ U, y ∈ x ⇒ y ∈ U（ U は推移的集合）
２．x, y ∈ U ⇒ {x, y} ∈ U
３．x ∈ U ⇒ x のベキ集合 P(x) ∈ U
４．{xα}α∈I　が U の元の族で I ∈ U ⇒ ⋃(α∈I)xα ∈ U

要はこのようなUは、ZFCのモデルになるから、集合論で扱いえる対象をすべて包含する
そのようなUを集合として扱えるから、「大きな圏」も集合論の中で扱える

これが本質　固有クラスを集合として扱えるとかいうことが目的ではない！

>だから、望月さんが「宇宙だ、宇宙だ」という対象は集合でしょ？ となると思うよ

「と思うよ」が馬鹿語　
そんな馬鹿語つけずに
望月新一が「宇宙だ、宇宙だ」という対象は集合
そんなのグロタンディークが言い出したときから
みんな分かってるし認めてる　望月新一以前

問題は、グロタンディーク宇宙を認めたところで
IUT（というかMT（笑））は全然正当化できない、ってこと

ま、大学１年の微積の実数の定義すらわからん
高卒◆yH25M02vWFhPには死ぬまで分からんだろうけどな

数学とかきれいさっぱりあきらめて碁でも打ってろ　マジで