>>238
>それらはすべて順序数αでGαみたいに表せるのかな
順序数のクラスからグロタンディーク宇宙のクラスへの
(順序=包含を保った)クラス関数が存在するのかな