>@FumiharuKato
>Apr 16
>IUT理論における「宇宙」という用語が指し示すものが望月さん
>独特のものであるのは本当です。その宇宙は集合論の宇宙とも、
>グロンタンディーク宇宙とも異なっていますので。

に対するロバーツのリプライ

>@HigherGeometer
>Apr 16
>Is there a formal definition of what Mochizuki means by the term?

を華麗にスルー。"universe"のみならず、"functorial algorithm"等々、
きちんと定義されていない用語を自在に使い、形式的な定義を聞かれると
無視するか言を左右にする。IUTはこんなんばっか。