Weblio 辞書 > 辞書・百科事典 > レーヴェンハイム=スコーレムの定理の解説 > レーヴェンハイム=スコーレムの定理の全文検索
「レーヴェンハイム=スコーレムの定理」を解説文に含む見出し語の検索結果(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 版)「自動定理証明」の記事における「論理学的背景」の解説論理学の起源はアリストテレスまで遡る...
< 前の結果 | 次の結果 >





カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS