以前書いたが例えば
ヒルベルトの既約性定理をモデル理論で証明
するより、Puiseux級数を使ったりして、
具体的な構造を見る方が重要なんだって。