「レーヴェンハイム=スコーレムの定理」を解説文に含む見出し語の検索結果(1~10/235件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/10/25 13:38 UTC 版)「コンパクト性定理」の記事における「その他の論理体系におけるコンパクト性」の解説命題論理...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/29 15:57 UTC 版)「パラドックス」の記事における「スコーレムのパラドックス」の解説下降型レーヴェンハイム-...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/05/30 05:51 UTC 版)「レーヴェンハイム–スコーレムの定理」の記事における「例と帰結」の解説自然数を N、実数...
レーヴェンハイム-スコーレムの定理(Löwenheim–Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/29 15:57 UTC 版)「パラドックス」の記事における「「無限」」の解説ガリレオのパラドックス ほとんどの自然数...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「一階述語論理」の解説詳細は「一階述語論理」を参照 一階論理...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/10 08:27 UTC 版)「算術の超準モデル」の記事における「可算超準モデルの構造」の解説超積モデルは非可算となる...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/05 04:57 UTC 版)「モデル理論」の記事における「コンパクト性定理と完全性定理の使用」の解説ゲーデルの完全性...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/15 06:35 UTC 版)「強制法」の記事における「可算推移モデルとジェネリックフィルター」の解説強制法の鍵となる...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/05/28 07:09 UTC 版)「自動定理証明」の記事における「論理学的背景」の解説論理学の起源はアリストテレスまで遡る...
< 前の結果 | 次の結果 >