>>192
必要ないのは、多くの数学者の感覚に過ぎないだろ。
大体、数学会には「基礎論屋」だっているんだから

基礎論屋なんて追い出せ、という教条主義を掲げる
決意をこれからは持つというならそれもありかもな

そいつらは必要だと思ってやっているわけだから、
それに合わせてやれ