「真の算術」を解説文に含む見出し語の検索結果(1～10/21件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)「真の算術」の記事における「モデル理論的性質」の解説真の算術は不安定な理論であり、そのた...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)「真の算術」の記事における「二階算術の真の理論」の解説二階算術の真の理論は二階算術の言語...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)「真の算術」の記事における「計算可能性の性質」の解説上記で論じたように、タルスキの定理に...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/28 14:33 UTC 版)「真の算術」の記事における「算術の定義不可能性」の解説真の算術での中心的な結果は、アルフ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/18 15:00 UTC 版)「無矛盾」の記事における「極大無矛盾」の解説理論 T, U と T の任意の論理式 &#...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:04 UTC 版)「ゲーデルの不完全性定理」の記事における「不完全性定理が成立しない体系」の解説不完全性定...
ナビゲーションに移動検索に移動数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {...
ナビゲーションに移動検索に移動数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th( N {\displaystyle {...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/30 05:51 UTC 版)「レーヴェンハイム–スコーレムの定理」の記事における「例と帰結」の解説自然数を N、実数...
ナビゲーションに移動検索に移動数学基礎論において、無矛盾性 (英: consistency) は公理系の最も重要な概念の一つである。目次1 定義2 不完全性定理3 極大無矛盾4 相対的無矛盾性...
< 前の結果 | 次の結果 >
>>
「真の算術」の辞書の解説