>>556
わかってないな、Grothendieck宇宙は集合論自体が不要なんだ。
公理が減るどこか、なくなる。そもそも基数じたいナンセンスなのが
Grothendieck宇宙。もっと勉強しろ