Weblio 辞書 > 辞書・百科事典 > レーヴェンハイム–スコーレムの定理の解説 > レーヴェンハイム–スコーレムの定理の全文検索
「レーヴェンハイム–スコーレムの定理」を解説文に含む見出し語の検索結果(1~10/29件中)

出典: フリー百科事典『ウィキペディア(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日)は、ノルウェー...
論理式のエルブラン化(英: Herbrandization)とは、論理式のスコーレム化の双対となる構成である。ジャック・エルブランに因む。トアルフ・スコーレムは、レーヴェンハイム–スコーレムの...
論理式のエルブラン化(英: Herbrandization)とは、論理式のスコーレム化の双対となる構成である。ジャック・エルブランに因む。トアルフ・スコーレムは、レーヴェンハイム–スコーレムの...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 10:12 UTC 版)「エルブラン化」の記事における「定義と例」の解説F {\displaystyle F} ...
レーヴェンハイム–スコーレムの定理(英: Löwenheim–Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ...
レーヴェンハイム–スコーレムの定理(英: Löwenheim–Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ...
< 前の結果 | 次の結果 >





カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2025 GRAS Group, Inc.RSS