無矛盾

ウィキペディア

無矛盾

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/18 15:00 UTC 版)

数学基礎論において、無矛盾性 (英: consistency) は公理系の最も重要な概念の一つである。

定義

ある理論 T において、次のような論理式 φ が存在するとき、理論 T は矛盾する (inconsistent) といい、このような φ が存在しないとき、T は無矛盾である (consistent) という:

$T\vdash \phi$ この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。