「相対的無矛盾性」を解説文に含む見出し語の検索結果(1~10/12件中)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/18 15:00 UTC 版)「無矛盾」の記事における「相対的無矛盾性」の解説T をある理論、 A を「 T に追加し...
ナビゲーションに移動検索に移動数学基礎論において、無矛盾性 (英: consistency) は公理系の最も重要な概念の一つである。目次1 定義2 不完全性定理3 極大無矛盾4 相対的無矛盾性...
ナビゲーションに移動検索に移動数学基礎論において、無矛盾性 (英: consistency) は公理系の最も重要な概念の一つである。目次1 定義2 不完全性定理3 極大無矛盾4 相対的無矛盾性...
ナビゲーションに移動検索に移動数学基礎論において、無矛盾性 (英: consistency) は公理系の最も重要な概念の一つである。目次1 定義2 不完全性定理3 極大無矛盾4 相対的無矛盾性...
ナビゲーションに移動検索に移動自己検証理論 (英語: Self-verifying theories) は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系であ...
ナビゲーションに移動検索に移動自己検証理論 (英語: Self-verifying theories) は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系であ...
数学分野の集合論において、原始元(げんしげん、英語: urelement ドイツ語の接頭辞 ur- は「原始的な」を意味する)とはオブジェクトであってそれ自身は集合でないが、集合の要素には成り...
数学分野の集合論において、原始元(げんしげん、英語: urelement ドイツ語の接頭辞 ur- は「原始的な」を意味する)とはオブジェクトであってそれ自身は集合でないが、集合の要素には成り...
数学基礎論において、フォン・ノイマン=ベルナイス=ゲーデル集合論 (NBG) とはツェルメロ=フレンケル集合論+選択公理 (ZFC)の保存拡大である公理的集合論である。NBGでは、量化子の範囲を集合に...
数学基礎論において、フォン・ノイマン=ベルナイス=ゲーデル集合論 (NBG) とはツェルメロ=フレンケル集合論+選択公理 (ZFC)の保存拡大である公理的集合論である。NBGでは、量化子の範囲を集合に...
< 前の結果 | 次の結果 >





カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

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

©2025 GRAS Group, Inc.RSS