グロタンディーク宇宙
Grothendieck universe
順序が逆なのでこの説明は良くないmrsekut.icon
グロタンディーク宇宙がまずあって、その要素のことを小さい集合と言う グロタンディーク宇宙$ Uの定義
$ x \in U, y \in x \Rightarrow y \in U
$ x, y \in U \Rightarrow\{x, y\} \in U
$ x\in Uならば$ \mathscr{P}(x)\in Uかつ$ \cup x\in U
$ \omega=\{0,1,2,\cdots\}\in U
$ f:a\to bが全射で$ a\in Uかつ$ b\sub Uならば、$ b\in U
https://www.youtube.com/watch?v=viOSgiYJIwM
参考