まぁ Grothendieck 宇宙なわけないわな。「数学者が議論を始める時点でひとつ固定するもの」が Grothendieck 宇宙なわけない。そもそも Grothendieck 宇宙そのものが、「Versus class に含まれていて Versus class とおなじような役割をはたしてくれる何か」なわけだから「一つに固定」するわけがない。
ようするに望月先生はこの「モデル」と「宇宙」をわざとか、誤解か、真相はわからんけど同一視してるんやろ。もちろんそんなのむちゃくちゃなんやけどな。
プリンストンの飛び級かなんかしらんけど基礎論では学部生レベルでしかない。