>>257
(引用開始)
>グロタンディーク宇宙をどう定義するかは、人さまざまなれど
え？？？
>>234の定義以外の定義があると？　具体的に示して
(引用終り)

ふっふ、ほっほ
ここは中高一貫校生も来る可能性があるから
赤ペン先生をしておく ；ｐ）

下記の薄葉 季路 (早大理工)
『到達不能基数
Remark
①Uがグロタンディーク宇宙ならば、|U|は到達不能基数である』

つまり、ご存知の通り |U| は 集合Uの濃度を表すよね
集合Uが 集合の濃度として 到達不能基数である 巨大集合だっぺ ということよ
当然、この集合Uは ノイマン宇宙Vの外の存在だよ
なぜならば、ノイマン宇宙Vの中には 到達可能基数である集合のみ（そういう定義）だから■

(参考)
　>>211より再録
(参考)https://www.mathsoc.jp/activity/video/2017spring/0324usuba.html
企画特別講演　2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
発表スライド『集合論の宇宙　Universe と Multiverse』
P3
集合の宇宙
・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す
・Vは集合ではない
P6
巨大基数
・最小の無限基数ℵ0が持つ性質を一般化する形で定義される
P7
到達不能基数
Remark
①Uがグロタンディーク宇宙ならば、|U|は到達不能基数である
(引用終り)