可靠性定理 可靠性定理是数理逻辑的最基本结果它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论可靠性定理有两种主要变体弱可靠性的和强可靠性的强与弱的意义在于强可靠性考虑句子的任意集合而与弱可靠性有关的句子的空集是这种集合之一大多数的演绎系统强可靠性和弱可靠性都成立但並非全部的演繹系統都如此