>>393
>例えば、無限公理のあるなしで、Vωは 集合であったり クラス(類)であったりする
すべてはクラスで
クラスの特別なものが集合という
BG集合論のイメージも援用すべきと思いますよ
無限公理を省くとVωが集合であることが証明できなくなると言うだけのことです
>ノイマン宇宙では クラス（類）扱いされる対象が
>到達不能基数を導入した グロタンディーク宇宙Ｕfndにすれば
>それらが集合扱いできる（|U|は到達不能基数である）
真のクラス（集合であるとすると矛盾が起こるクラス）が
到達不能基数を導入することで集合になるというイメージは間違いですよ