グロタンディーク宇宙の存在公理は自然数の集合の存在公理(無限公理)の様なもので
そのまま到達不能基数の存在公理となるわけか
で(自然数以外の)グロタンディーク宇宙の存在とGCHは両立しないと(2^ℵ0である実数の濃度はℵ2)
順序数という明確に定義された集合(その全体は集合では無い)に基づくフォンノイマン宇宙は集合では無いから
あくまで(存在公理を認めた場合は)グロタンディーク宇宙はフォンノイマン宇宙の中に
階層構造を持って存在する
(ある意味宇宙と見ることのできる)自然数的な集合であって
その全体は集合では無いと
グロタンディーク宇宙が存在するとした場合は
それらはすべて順序数αでGαみたいに表せるのかな