当前位置:首页 > 汉语知识 > 正文

完全性

完全性   

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


开通会员,享受整站包年服务立即开通 >