さて
一句”不勉強 オチコボレのさばる 便所板”（字余り）
ここは中高一貫校生も来る可能性があるから
赤ペン先生をしておく

まず、前振り
下記 薄葉 季路 (早大理工) （この人”博士（情報科学）(名古屋大学)”だって 下記）

下記 V は、ノイマン宇宙 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
Vは集合ではないが、Universal set >>17
"In set theory, a universal set is a set which contains all objects, including itself.[1] In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set.">>17

まあ、”ぬえ”みたいなもの （外見 猿の顔、狸の胴体、前後の肢は虎、尾は蛇 https://ja.wikipedia.org/wiki/%E9%B5%BA ）

(参考)前スレ https://rio2016.5ch.net/test/read.cgi/math/1755784703/859 より再録
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|は到達不能基数である
(引用終り)

https://researchmap.jp/usuba
薄葉 季路
ウスバ トシミチ (Toshimichi Usuba)
基本情報
所属早稲田大学 基幹理工学部 教授
学位
博士（情報科学）(名古屋大学)
2014年9月2014年度日本数学会賞建部賢弘賞
薄葉 季路