8 関係: 垂直記号、健全性、ロビンソン算術、ゲーデルの不完全性定理、公理、矛盾、真の算術、数学基礎論。
垂直記号
垂直記号(すいちょくきごう)は「⊥」の形をした幾何学で用いられる記号である。.
健全性
健全性(けんぜんせい、Soundness)は、論証が次の属性を持つことと同値である。.
ロビンソン算術
数理論理学においてロビンソン算術(Robinson arithmetic)あるいはQとはペアノ算術(PA)の有限部分理論であり、において最初に導入された。Qは本質的にはPAから帰納法の公理図式を取り除いたものである。それゆえQはPAよりも弱いが同一の言語を持つ不完全な理論である。Qは重要かつ興味深い対象である。というのもQは本質的決定不能かつ有限公理化可能なPAの部分理論だからである。.
新しい!!: 無矛盾とロビンソン算術 · 続きを見る »
ゲーデルの不完全性定理
ーデルの不完全性定理(ゲーデルのふかんぜんせいていり、)又は単に不完全性定理とは、数学基礎論における重要な定理で、クルト・ゲーデルが1930年に証明したものである。;第1不完全性定理: 自然数論を含む帰納的公理化可能な理論が、ω無矛盾であれば、証明も反証もできない命題が存在する。;第2不完全性定理: 自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。.
新しい!!: 無矛盾とゲーデルの不完全性定理 · 続きを見る »
公理
公理(こうり、axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された(形式的な)言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明(絶対的)な前提を公理、それに準じて要請される前提を公準 (postulate) として区別していた。.
矛盾
矛盾(むじゅん、contradiction)とは、あることを一方では肯定し、同時に他方では否定するなど、論理の辻褄(つじつま)が合わないこと。物事の筋道や道理が合わないこと。.
真の算術
数理論理学において、真の算術 (true arithmetic) とは一階ペアノ算術の言語における自然数の理論 Th(\mathcal) のことである (Boolos, Burgess, and Jeffrey 2002:295)。タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。.
数学基礎論
数学基礎論(すうがくきそろん、英語:)は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。.
ここにリダイレクトされます:
無矛盾性。