そういえば数学者Youtuberが、基礎論は下火ですという趣旨の動画出してたのを思い出しましたが、
完全に間違ってましたね

実際にはLeanなど基礎論に基づくソフトウェアが活躍し、
英インペリアルカレッジロンドンや米カーネギーメロン大学では学部生にLeanの講義が行われ、
Annals of Formalized Mathematicsというジャーナルも立ち上がり、
テレンスタオやピーターショルツ等も参加し、
形式化の様々なプロジェクトが増え、
ポストも増加しています

動画のコメントでは「基礎論の道はどうですか」「（投稿主）オススメしません」といったやり取りもありました
日本に限って言えば否定はしません