>>228-229
細かいことを省いて いえば
グロタンディーク宇宙を導入する意義は
ZFCノイマン宇宙においては、(集合扱いできない)クラスになる対象を
全部集合にできるということ

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

でも、その勘違いは 単に国語としての用語の話で
数学としてのIUTの本質とは、無関係です