「真の算術」を解説文に含む見出し語の検索結果(11～20/21件中)
ナビゲーションに移動検索に移動数学基礎論において、無矛盾性 (英: consistency) は公理系の最も重要な概念の一つである。目次1 定義2 不完全性定理3 極大無矛盾4 相対的無矛盾性...
ナビゲーションに移動検索に移動数学基礎論において、無矛盾性 (英: consistency) は公理系の最も重要な概念の一つである。目次1 定義2 不完全性定理3 極大無矛盾4 相対的無矛盾性...
レーヴェンハイム-スコーレムの定理（Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論...
計算可能性理論における極限計算可能関数(きょくげんけいさんかのうかんすう、英: limit computable function)とは、一様に計算可能な関数列の極限によって表せる関数をいう。
計算可能性理論における極限計算可能関数(きょくげんけいさんかのうかんすう、英: limit computable function)とは、一様に計算可能な関数列の極限によって表せる関数をいう。
算術の超準モデル（さんじゅつのちょうじゅんモデル、英: non-standard model of arithmetic）とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数...
算術の超準モデル（さんじゅつのちょうじゅんモデル、英: non-standard model of arithmetic）とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数...
レーヴェンハイム–スコーレムの定理（英: Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ...
レーヴェンハイム–スコーレムの定理（英: Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ...
ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigke...