この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "グロタンディーク宇宙" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2022年12月) 数学におけるグロタンディーク宇宙(グロタンディークうちゅう、英: Grothendieck universe、仏: Univers de Grothendieck)は次の性質をもった集合 U である[1]: x ∈ U, y ∈ x ⇒ y ∈ U( U は推移的集合) x, y ∈ U ⇒ {x, y} ∈ U x ∈ U ⇒ x のベキ集合 P(x) ∈ U が U の元の族で I ∈ U ⇒ ∈ U 宇宙のアイデアは、アレクサンドル・グロタ