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

3行要約

1. 一階述語論理のモデルの大きさと存在に関する、モデル理論の基本定理である。
2. 無限モデルを持つ理論は、任意の無限濃度を持つモデルも持つことを示す。
3. 実数の理論が可算なモデルを持つという「スコーレムのパラドックス」を生む。