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