グロタンディーク宇宙って普通の集合論と違うんだね。
高校数学で勉強する集合論と違う。