>>118
横からだけど、それで数学の基礎付けが十分だと思うならそもそも「数学基礎論」なんて必要ないでしょ

個人的に数学基礎論という分野名が残ったのはある程度偶然だと思うし、そんなむきに無くそうとせんでもと思うが、実態にあったネーミングではないとはおもうな。

あと、英語でfomが残らなかったのは単に言いづらいからじゃなかろうか