>>714
普通の証明と形式的証明の違いを論じるのは数学の哲学だよ。
知らなかった？知らなかったなら知って。今すぐ。

＞「俺は普通数学しか研究してないけど」に対して
＞それなら口を挟むな、というレスがあったわけで、

数学の哲学をバカにするような無知蒙昧な輩に
口を挟むなというのは当然じゃない？
君はチーマーのオヤジ狩りに賛同するわけ？
狂ってるね。人間としてさ。