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

定義

編集

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

  かつ  .

ここでターンスタイル記号(ライトタック記号) ⊢ は左辺が右辺を証明できることを示す2項関係である。すなわちこの論理式 φ ∧ ¬φ は、理論 T矛盾 (contradiction) を意味する。

この矛盾 (contradiction) はしばしばアップタック記号 ⊥ を用いて表され、理論 T が無矛盾であることは次のように表される:

 .

または単純に Con(T) とも記される。[2]

また理論 T が矛盾することは次のように表される:

 .

矛盾する理論は任意の論理式を証明できるため、これは次と同値である:[3]

 .

この性質に着目し、理論 T の論理式で有りながら証明できないような論理式 φ の存在を無矛盾の定義とすることがある。すなわち:

 .

この2つの無矛盾の定義は厳密には一致せず[注釈 1]、区別するときには最初の方を単純無矛盾 (simply consistent)、新しい方を絶対無矛盾 (absolutely consistent) と呼ぶ。[4]

不完全性定理

編集

ゲーデルの不完全性定理は、ロビンソン算術 Q の再帰的拡大(またはRE拡大)である理論 Tω無矛盾(または無矛盾)であるとき、

 

である、すなわち理論自身では自身の無矛盾性を証明できないことを述べている。[2][5]

極大無矛盾

編集

理論 T, UT の任意の論理式 φ について

 

が成立するとき、TU と記す。[6]

そして無矛盾な理論 T について、

  かつ  

を満たす無矛盾な理論 U が存在しないとき、T極大無矛盾 (maximally consistent) であるという。[7]

真の算術 TA は、その定義から明らかに極大無矛盾である。[8]

相対的無矛盾性

編集

T をある理論、 A を「 T に追加しようとしているある公理」だとする。ここで T + A を「 TAを追加した理論」であるとすると、

 

という命題を予め証明することで、後々Tの無矛盾性から直ちにT + Aの無矛盾性が証明される。したがってこの命題をATに対する相対的無矛盾性 (: relative consistency) と呼び、このとき「AT に伴って無矛盾である」という。

注釈

編集
  1. ^ A かつ ¬A から任意の論理式を導けるような T の論理式 A,¬A が存在するとき、両者は一致する。[4]

脚注

編集
  1. ^ 田中 2007, pp. 90–91.
  2. ^ a b 田中 2007, pp. 93.
  3. ^ 田中 2007, pp. 81.
  4. ^ a b 清水 義夫 (1984). 記号論理学. 東京大学出版会. p. 100. ISBN 978-4130120180 
  5. ^ 田中 et al. 1997, p. 86.
  6. ^ 菊池 2014, pp. 32–33.
  7. ^ 菊池 2014, p. 47.
  8. ^ 菊池 2014, p. 109.

参考文献

編集

関連項目

編集