「ペアノ算術」を解説文に含む見出し語の検索結果(1～10/172件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/02 03:10 UTC 版)「公理型」の記事における「公理型の例」の解説公理型の実例としてよく知られているものを二つ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/30 10:22 UTC 版)「1+1」の記事における「ペアノ算術による証明」の解説初等教育では 1+1=2 は自明の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/02 05:56 UTC 版)「ペアノの公理」の記事における「1+1=2に関する注意」の解説1+1=2についてよく言及...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/25 13:57 UTC 版)「グッドスタインの定理」の記事における「計算可能関数への応用」の解説グッドスタインの定理...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:11 UTC 版)「ゲーデルの加速定理」の記事における「現実的には証明できない命題」の解説具体的な例を見る...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:09 UTC 版)「ω無矛盾」の記事における「無矛盾だがω矛盾した理論の例」の解説ペアノ算術 PA はω無...
ナビゲーションに移動検索に移動自己検証理論 (英語: Self-verifying theories) は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系であ...
ナビゲーションに移動検索に移動自己検証理論 (英語: Self-verifying theories) は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系であ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:04 UTC 版)「ゲーデルの不完全性定理」の記事における「ゲーデルの定理に関する制限」の解説第1不完全性...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「定義可能性、証明、計算可能性の相互関係」の解説自然数の集合の...
< 前の結果 | 次の結果 >