>>681
あっ、そうか。君の周りには「形式化マンセー」って
基地外がいるのか？それを叩いてるつもりだったのか

生憎、ここは数学板。普通の数学を勉強してる人間が
中心。だから、形式化マンセー君に出会うのは難しい
のでは？普通に数学をやってる人間は形式化の意義を
認めつつ、別に絶対視してない。絶対視してないのは
それをやってないんだから当たり前なんだが