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
グロタンディーク宇宙（グロタンディークうちゅう、英: Grothendieck universe、仏: Univers de Grothendieck）
任意のグロタンディーク宇宙はある濃度
κ に対し
u(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:
略
強到達不能基数の存在は ZFC からは証明できないため、空集合と
Vω 以外の宇宙の存在はどれも ZFC から証明することができない。

（英文）
https://en.wikipedia.org/wiki/Grothendieck_universe
Grothendieck universe

https://m-hiyama.hatenablog.com › entry
グロタンディーク宇宙って何なんだ？
檜山正幸のキマイラ飼育記 (はてなBlog)
2018/04/05 — グロタンディーク宇宙って何なんだ？ · ZFC+αのモデルVがグロタンディーク宇宙Uを持つ。 · ZFC+αでは、到達不能基数の存在が示せる。

https://oroshi.me/2026/04/grothendieck_universe
グロタンディーク宇宙とは集合論の操作で閉じた集合のことで ...
oroshi.me
https://oroshi.me › 数学 › 圏論
2026/04/26 — グロタンディーク宇宙の定義. グロタンディーク宇宙 (または単に宇宙) とは以下の性質を満たす集合の U のことです。 x ∈ U ならば x ⊂ U である. ( x ...
はじめに
集合論の公理系 (ZFC)
グロタンディーク宇宙
圏論と宇宙