>>114
フロベニオイドまではいいとして、多くの人が意味不明、従えない、ナンセンスと考えているのは
それを利用した「異質な環構造」を作るステップなんですよね。つまり充満多重同型と不定性の独自の徹底利用
(初期化、再初期化、スウィッチング・プロパティなどなど)

私としては望月が絶対に譲らない姿勢を見せている以上、IU形式主義を突きつめてほしいを思っているんですよ
それで不定性の徹底利用を正当化できるのなら大逆転で称賛の嵐、できないのなら壮大な茶番による自爆で笑い物
望月がドSであるように、我々もIUTに対してはドSになっていいと思っています
SSレポートも皮肉に満ちたドSな内容ですよね。コンラッドはレポートを読む限り紳士的でしたが
(フェセンコによると違うらしいが)