公理的集合論
アレクサンドル・グロタンディークは自身の著書において、任意の大きさのグロタンディーク宇宙が存在すること (任意の集合に対して、それを含むグロタンディーク宇宙が存在すること) を公理として課した。これは現在、タルスキ=グロタンディーク集合論(英語版)と呼ばれている。