類ともいう

グロタンディーク宇宙の部分集合

一般の宇宙に対しても言えるの #??

全ての集合の集まり

定義は集合論によってさまざまらしい

集合は、すべてクラス

その中でも集合になれるクラスと、そうでないクラスがある

後者は「大きすぎて」集合になれないらしい

前者を「小さい」

後者を「大きい」

という

「クラス」という言葉を導入しない場合のクラスの呼び方 ref