よく知らんけどモデル理論って集合論に依存してるの？
あくまでひとつの数学理論であって、数学の基礎付けなんて色彩はなし？