あのさ、俺は普通数学しか研究してないけど、だからと言って、形式化に意味がないとは考えてない。
もちろん、そういう事をしてない以上、そういう事をしなければいけないとも思ってない

形式化に意味があると考えるのは普通。だからと言って、形式化しなければいけないと考える気違いには
生憎、お目に掛かった事がない