本人はブログ等々でGrothendieck宇宙だって
主張してるみたいだけど
IUT論文Iのイントロに
>It is this fundamental aspect of the theory
> of the present series of papers — i.e.,
> of relating the distinct set-theoretic
> universes associated to the distinct fiber
> functors/basepoints on either side of such
> a non-ring/scheme-theoretic filter
>—that we refer to as inter-universal.
なんて書いてあるからなあ

これでメタ数学に手をつけてるっ言われたら
そりゃ「abc予想の証明はありまぁす」って評価にもなるわ