「相対的無矛盾性」を解説文に含む見出し語の検索結果(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では、量化子の範囲を集合に...
< 前の結果 | 次の結果 >