>>493 補足
現代思想201912月号 特集 巨大数の世界「巨大基数と巨大な巨大基数、超数学での無限と集合論的無限、それらに対する有限の諸相」 渕野昌 青土社
が入手できたので そこから2枚（4ページ）ご紹介します

１）https://i.imgur.com/S5lESNq.jpeg
現代思想201912月号 特集 巨大数の世界「巨大基数と巨大な巨大基数、超数学での無限と集合論的無限、それらに対する有限の諸相」P56-7 渕野昌 青土社.jpg
（補足）
ここで、Vαの累積階層として 集合の全体のなすクラスVを導入している
ここに αは順序数で
Vがノイマン宇宙であることは 渕野昌は ここでは述べていないが
自明だろう

２）https://i.imgur.com/DN5Xpv5.jpeg
現代思想201912月号 特集 巨大数の世界「巨大基数と巨大な巨大基数、超数学での無限と集合論的無限、それらに対する有限の諸相」P58-9 渕野昌.jpg
（補足）
ここで、到達不能基数κを導入している
渕野先生は
「正則基数となっている極限基数κが λ→2^λに関して閉じているとき
　つまり λ<κなら2^λ<κが常に成り立つとき」
として 到達不能基数κを定義する

”λ<κなら2^λ<κが常に成り立つとき κは到達不能基数である”
この定義を 百回音読しよう！（＾＾