Similar to アックス–グロタンディークの定理

• 

  保存拡大

  Conservative extension
  
• 

  有限モデル理論

  Finite model theory
  
• 

  レーヴェンハイム–スコーレムの定理

  Löwenheim–Skolem theorem