语义完全性

语义完全性亦称“完备性”或简称“完全性”。形式系统的重要性质。对形式系统的每个解释皆真的公式，都是该系统的定理。经典命题演算的语义完全性是指，一切重言式皆是命题演算中的定理；经典谓词演算的语义完全性是指，一切普遍有效公式皆是谓词演算中的定理。经典命题演算和经典谓词演算都具有语义完全性。