つづき

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%EF%BC%9D%E3%83%99%E3%83%AB%E3%83%8A%E3%82%A4%E3%82%B9%EF%BC%9D%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E9%9B%86%E5%90%88%E8%AB%96
フォン・ノイマン＝ベルナイス＝ゲーデル集合論 (NBG) とはツェルメロ＝フレンケル集合論＋選択公理 (ZFC)の保存拡大である公理的集合論である。
ZFC が NBG よりも一般的になった。これにはいくつかの要因があり、その一つは NBG において強制法を扱うには追加の仕事が必要だったためである。[72]
NBG は ZFC の保存拡大であるものの、定理は NBG のほうが ZFC より短くエレガントに証明可能である（逆もしかり）。この側面について知られている結果の調査結果は Pudlák 1998 を参照。

https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
グロタンディーク宇宙と到達不能基数
大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値
強到達不能基数の存在は ZFC からは証明できない

https://m-hiyama.ｈａｔｅｎａblog.com/entry/20180405/1522890331
檜山正幸のキマイラ飼育記 (はてなBlog)
2018-04-05
グロタンディーク宇宙って何なんだ？
昨日の「入れ子の宇宙を可能とする公理」で、宇宙公理〈the universe axiom〉を認めてしまえば、グロタンディーク宇宙の無限系列 U0, U1, U2, ... が作れて、「階層的な圏論的宇宙・楽観的暫定版」で述べた願望は、いとも簡単に実現されると書きました。
グロタンディークは、代数幾何を展開する際にグロタンディーク宇宙を使ってますが、その意味で直接のユーザーと言える代数幾何界隈だと、結果的にZFCを強化してしまうグロタンディーク宇宙を快く思ってない人が少しはいるようです。

https://m-hiyama.ｈａｔｅｎａblog.com/entry/20181108/1541650835
檜山正幸のキマイラ飼育記 (はてなBlog)
2018-11-08
偉大なり、米田
米田の補題の米田信夫さん（肖像のお写真はコチラ）は、エンド／コエンド〈end/coend〉とグロタンディーク構成〈Grothendieck construction〉の創始者でもあるんですよね。

https://m-hiyama.ｈａｔｅｎａblog.com/entry/20120921/1348209872
檜山正幸のキマイラ飼育記 (はてなBlog)
2012-09-21
何も分からないままに望月新一氏のInter-universal理論について語ってみる
(引用終り)
以上