望月先生がiutを紹介した文章があってそこでは「数学者が議論を始めるにあたってひとつ固定するもの」が「ユニバース」らしい。この意味では望月先生のユニバースは基礎論における「モデル」しか対応するものはない。それ以外に数学者が議論を始めるにあたって一個固定することを要求されるのでものはない。そもそもグロータンディックのユニバースなら複数あるから意味があるんであってかっこ一個固定するならそんな概念考えるだけ無駄になる。
だったらなんで「モデル」ではなくて「ユニバース」のいう言葉にしたのか？そこがiutのインチキの始まりなんだよな