基礎論、あるいは数理論理学が進展しようがしまいがほとんどの
数学者にとっては正直どーでもいいことであったりする。
気分としては基礎論なんて異国の地の話。

数学の職の公募でも基礎論を分野指定することまずないしな。
せいぜい計算機関連で採用してもらえるぐらいかな。

計算機の分野でも数理論理学は大事ですという顔をしながら、
実際のところは大昔の知識で用は足りるし。