「自己検証理論」を解説文に含む見出し語の検索結果(1~6/6件中)
ナビゲーションに移動検索に移動自己検証理論 (英語: Self-verifying theories) は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系であ...
ナビゲーションに移動検索に移動自己検証理論 (英語: Self-verifying theories) は、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系であ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/16 07:47 UTC 版)「証明論」の記事における「一貫性(無矛盾性)の証明」の解説先に述べたように、ヒルベルト・...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
< 前の結果 | 次の結果 >