＞「数学の基礎付けやってます、偉いでしょっ！」と言わんばかり
この人の言いたいことって結局これなんだろうな
この板ではたまに見かけるんだ、不完全性定理を親の仇のように憎んでる人