「レーヴェンハイム-スコーレムの定理」を解説文に含む見出し語の検索結果(1～10/257件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/30 05:51 UTC 版)「レーヴェンハイム–スコーレムの定理」の記事における「正確な記述」の解説この定理の現代的...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/30 05:51 UTC 版)「レーヴェンハイム–スコーレムの定理」の記事における「例と帰結」の解説自然数を N、実数...
ナビゲーションに移動検索に移動 トアルフ・スコーレム（Albert Thoralf Skolem [ˈtùːrɑɫf ˈskùːlɛm]、1887年5月23日 - 1963年3月23日）は、ノルウェー...
ナビゲーションに移動検索に移動 トアルフ・スコーレム（Albert Thoralf Skolem [ˈtùːrɑɫf ˈskùːlɛm]、1887年5月23日 - 1963年3月23日）は、ノルウェー...
ナビゲーションに移動検索に移動 トアルフ・スコーレム（Albert Thoralf Skolem [ˈtùːrɑɫf ˈskùːlɛm]、1887年5月23日 - 1963年3月23日）は、ノルウェー...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/25 13:38 UTC 版)「コンパクト性定理」の記事における「その他の論理体系におけるコンパクト性」の解説命題論理...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 15:57 UTC 版)「パラドックス」の記事における「スコーレムのパラドックス」の解説下降型レーヴェンハイム-...
レーヴェンハイム-スコーレムの定理（Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論...
レーヴェンハイム–スコーレムの定理（英: Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ...
レーヴェンハイム–スコーレムの定理（英: Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ...
< 前の結果 | 次の結果 >