完全性

完全性　　　

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

每日一字一词

热门古籍

　

国学大师APP下载

国学大师APP升级上线，具有网站的全部内容，功能更全。
国学大师集古籍、典故、诗词、字词、成语、书法、人物地名等历史大百科。