健全性
soundness
構文論で規則，推論から得られる論理式の（無限の）集合
$ L
と
妥当な推論の（無限の）集合
$ I
とする
ある論理で構文論の規則/推論を繰り返して得られる論理式に対して，意味論的に妥当な推論がある
$ \varphi \in L
に対してそれに対応する
$ i \in I
が（ただ一つ?）存在する
つまり
$ L \sube I
健全性
がない
とき，
構文論で得られる論理式で，まったく非妥当な推論/意味不明な推論が作れてしまう状況が発生しうる
$ L \not\sube I