数学基礎論において、無矛盾性 (英: consistency) は公理系にかかる重要な概念の一つである。 == 定義 == ある理論 T において、次のような論理式 φ が存在するとき、理論 T は矛盾する (inconsistent) といい、このような φ が存在しないとき、T は無矛盾である (consistent) という: T ⊢ ϕ {\displaystyle T\vdash \phi } かつ T ⊢ ¬ ϕ {\displaystyle T\vdash \lnot \phi } .
数学基礎論において、無矛盾性 (英: consistency) は公理系にかかる重要な概念の一つである。 == 定義 == ある理論 T において、次のような論理式 φ が存在するとき、理論 T は矛盾する (inconsistent) といい、このような φ が存在しないとき、T は無矛盾である (consistent) という: T ⊢ ϕ {\displaystyle T\vdash \phi } かつ T ⊢ ¬ ϕ {\displaystyle T\vdash \lnot \phi } .
出典: Wikipedia「無矛盾」 · CC BY-SA 4.0
この記事を共有: X · Bluesky