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