健全性とは？

けんぜんせい

証明体系において「証明できるならば論理的帰結である」という性質を指します。

健全性（soundness）とは、ある証明体系において「Γ ⊢ φ が成り立つならば Γ ⊨ φ も成り立つ」という性質のことである。つまり、体系内で証明できるすべての命題は実際に意味論的に正しいことを保証する。健全でない体系は偽の命題を証明してしまう危険がある。完全性（completeness）と対になる概念である。