>>295
>集合論の宇宙Vは遥かに大きいけれど
Vは順序数全体にわたる階層の総和だからとてつもなく大きいね。
一方で圏論のグロタン宇宙は強到達不能基数の階層にすぎないからVに比べれば遥かに小さい。但しZFCのモデルだからZFCで存在証明可能なすべての集合を持っている。