完全性
完

完全性　　　

亦稱“語義的完全性”。數(shù)理邏輯中形式系統(tǒng)的重要性質(zhì)。指任何公式A，如果A是有效的（在任何解釋下皆為真），則A是形式定理。