>>348
数学基礎論は10年同じ問題だったんだから予想ついただろ