可靠性定理

可靠性定理 （ 或健全性 ） 是數理邏輯的最基本結果 。 它們有關於某個形式邏輯語言與這個語言的形式演繹系統的特定語義理論 。 可靠性定理有兩種主要變體 ： 弱可靠性的和強可靠性的 。 “ 強 ” 與 “ 弱 ” 的意義在於 ， 強可靠性考慮句子的任意集合 ， 而與弱可靠性有關的句子的空集是這種集合之一 。 大多數的演繹系統 ， 強可靠性和弱可靠性都成立 ， 但並非全部的演繹系統都如此 。