いや、全然面白くないんだが・・・
>>290氏が言うまでもなく勝手に自己完結してくれているんだから放置でいいよ
IUTTの概要すら知らず、S・Sレポートも誤読しまくり、望月が集合論について独自の見解を持っていることも知らず断言し、
最終節のIU形式主義と種の言語すら読んでいないのだろう
最低限それらを読んで基礎論云々するんだったらまだ関わってもいいんだけどね

例えば山下が日本語のFAQで書いている、
----------------------
望月さんの宇宙際Teichmuller理論の論文において数学基礎論的・論理学的に非自明な操作をしているとは
山下は(少なくとも現時点では)思っていません。
“宇宙替え”は大事ですが、数学基礎論的・論理学的に非自明な操作により証明をしているのではなく、
証明の本質的な数学的道具はやはり遠アーベル幾何的再構成アルゴリズムたちにあります
----------------------
について言及し、疑問や見解を述べるのなら話は分かるが、ただ相手の言葉尻を捉えて噛みついて自己完結しているだけ
狂犬は放置でよろし（できれば隔離したいがｗ）