全てが「基礎付け」の為にある訳じゃないからね。
特に、モデル理論の概念はあまり基礎付けとは関係無い。