海外でも日本と同じ状況だよ
逆に日本でも実関数論って本に公理的集合論にふれてたりする
解析的集合とか記述集合論の結果が重要だからね

代数幾何でもモデル論が使われたことがある
（ただしモデル論や代数幾何の研究の規模からいうと
まだ数例しかないから基礎論を学ぶコスパはよくないかもしれない

タオはペアノ算術の矛盾発見事件のときに活躍した
今回の望月の論文もモデル論的手法と勘違いしていたし

基礎論は基礎論そのものに興味がないと続けるのはきつい
道具として使い勝手がよいとも言い切れないし