グロタンディーク宇宙
数学におけるグロタンディーク宇宙（グロタンディークうちゅう、、）は次の性質をもった集合 "U" である：
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。