真理補題
Truth Lemma
カノニカルモデル上で妥当$ \iff証明可能
となる補題．直観主義命題論理の完全性定理および様相論理の完全性定理に登場する．