語義完全性

語義完全性亦稱“完備性”或簡稱“完全性”。形式系統的重要性質。對形式系統的每個解釋皆真的公式，都是該系統的定理。

經典命題演算的語義完全性是指，一切重言式皆是命題演算中的定理；經典謂詞演算的語義完全性是指，一切普遍有效公式皆是謂詞演算中的定理。經典命題演算和經典謂詞演算都具有語義完全性。