18/09/30 10:19:07.60 ECBsc17H.net
ID:pqOZFPGX氏はまっとうなことを言っているよ。決して「擁護派」なんかではない
IUTTを全否定していないだけで（怪しいとは思っているようだが）
俺もIUTT・IVのSection 3とトポスの取り扱いは気になっていた
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
＞“宇宙替え”は大事ですが、数学基礎論的・論理学的に非自明な操作により証明をしているのではなく
この辺を望月氏や支持者たちは明確に説明しなければならない
これができなければ今後はまともに相手をされないだろう