そうなんだ
でも俺は不満があるけどね。科学理論における、数学に対する数学基礎論みたいな位置になれるかどうか
理論的には最近の方向はまた良くなってきたと思う
後はフレーゲやウィトゲンシュタイン級が出てくればな