無矛盾性とは？
むむじゅんせい
ある体系が矛盾（P かつ ¬P）を証明しないという性質で、理論の信頼性の基礎だよ。
無矛盾性とは、ある論理体系の中で「正しい（P）かつ正しくない（¬P）」という矛盾した命題を証明できないという性質だよ。もし矛盾を証明できたら、その体系では何でも証明できてしまうため、理論の信頼性がくずれてしまうんだ。
つかいかた・れいぶん
「この理論は矛盾したことを正しいと証明してしまわない」という保証が無矛盾性だよ。
このことばを シェア
さいごの こうしん: