>>245
(引用開始)
グロタン宇宙Uの部分集合はUの元じゃ無い
（元であるものもあるけれど）
つまりそういうものを考えたら結局Uの外に出てしまう
出てしまっても集合だから考えて問題ないとするんだろうけど
Uで収まらないからもう一段大きいグロタン宇宙考えて・・・
てキリないよね
(引用終り)

キリが無くはないと思う
というのは グロタンの狙いは 基礎論ではなく
ヴェイユ予想を解決できる 圏論による代数幾何にすぎない
おそらく
集合論論による代数幾何＋α → 圏論による代数幾何
で、チョロと1回グロタンUをもってくれば 終り だと思う？ しらんけど
まあ、下記など（すまん 仏語読める人たのむわ）

（下記を辿ると ”Artin et al. (1972)”に 仏語）
"Universes for category theory"の著者ロー〈Zhen Lin Low〉
https://arxiv.org/abs/1304.5227
＜本文＞
https://arxiv.org/html/1304.5227v2
Introduction
In category theory it is often convenient to invoke a certain set-theoretic device commonly known as a ‘Grothendieck universe’, but we shall say simply ‘universe’, so as to simplify exposition and proofs by eliminating various circumlocutions involving cardinal bounds, proper classes etc. In (Artin et al., 1972, Exposé I, §0), the authors adopt the following universe axiom:

http://cm2vivi2002.free.fr/AG-biblio/AG-100.pdf
Artin et al. (1972)
Michael Artin, Alexander Grothendieck and Jean-Louis Verdier
“Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos”, Lecture Notes in Mathematics 269
Berlin: Springer-Verlag, 1972

ExposéipréfaisceauxparA.Grothendiecket J. L.Verdier (avecunappendicede N.Bourbaki) ................................................................ 1 0.Univers .................................................................. 1 1.U-catégories.Préfaisceauxd’ensembles .................................. 3
略す