>>499 補足
>集合論の宇宙 —Universe と Multiverse— 薄葉 季路 (早大理工) 2017年3月
>https://youtu.be/WQzlEj1g71M?t=1
>発表スライド『集合論の宇宙　Universe と Multiverse』
>https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf

このスライドのP8より
(引用開始)
到達不熊基数
略
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である．
①Uがグロタンディーク宇宙ならば、|U|は到達不能基数である．
②到達不能基数ｋが存在するならば、|U| =ｋとなるグロタンディーク宇宙が存在する：Vｋがグロタンディーク宇宙になる．
(引用終り)

なお、ここの薄葉 季路氏のグロタンディーク宇宙の定義は、|U| =ｋ （到達不能基数）なるものとしていることを注意しておく
（くどいが、到達不能基数ｋに達する 親玉の宇宙のみを グロタンディーク宇宙と呼ぶ。別の流儀の人もいるので ご注意）