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

• 

  保存拡大

  Conservative extension
  
• 

  有限モデル理論

  Finite model theory
  
• 

  トアルフ・スコーレム

  Thoralf Skolem
  
• 

  ラマヌジャン・スコーレムの定理

  Ramanujan–Nagell equation