完全性

完全性   

亦称“语义的完全性”。数理逻辑中形式系统的重要性质。指任何公式A,如果A是有效的(在任何解释下皆为真),则A是形式定理。