「ペアノ算術」を解説文に含む見出し語の検索結果(51～60/172件中)
算術の超準モデル（さんじゅつのちょうじゅんモデル、英: non-standard model of arithmetic）とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/03 13:45 UTC 版)「逆数学」の記事における「ω-モデルとβ-モデル」の解説「 �...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/03 13:45 UTC 版)「逆数学」の記事における「2階算術の5つの基本的部分体系(Big Five)」の解説2階...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:11 UTC 版)「ゲーデルの加速定理」の記事における「エーレンフォイヒト・ミッシェルスキーの加速定理」の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/06/12 07:41 UTC 版)「有限集合」の記事における「基礎付け問題」の解説ゲオルク・カントールは、無限集合を数学的...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 04:36 UTC 版)「算術的階層」の記事における「数式の算術的階層」の解説算術的階層では、ペアノ算術の言語で...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
数学基礎論においてω無矛盾（オメガむむじゅん、英: ω-consistent）とは、公理系の性質を表す概念のひとつである。不完全性定理を示すためにクルト・ゲーデルによって導入された。ω無矛盾性...
数学基礎論においてω無矛盾（オメガむむじゅん、英: ω-consistent）とは、公理系の性質を表す概念のひとつである。不完全性定理を示すためにクルト・ゲーデルによって導入された。ω無矛盾性...