>>502
>なお、ここの薄葉 季路氏のグロタンディーク宇宙の定義は、|U| =ｋ （到達不能基数）なるものとしていることを注意しておく

>①Uがグロタンディーク宇宙ならば、|U|は到達不能基数である．
からその逆は言えないけどいいの？