希爾伯特演繹系統

在邏輯特別是數理邏輯中 ， 希爾伯特風格演繹系統是歸功於弗雷格和希爾伯特的一類形式演繹系統 。 這種演繹系統最經常爲一階邏輯而研究 ， 但對其他邏輯也是有價值的 。 所有演繹系統都在邏輯公理和推理規則之間作出取捨平衡 。 希爾伯特風格的演繹系統可以刻畫爲選擇了大量的邏輯公理模式和少 （ Hilbert system ） 量的推理規則 。 最常研究的希爾伯特風格演繹系統只有一個推理規則即肯定前件和幾個無限公理模式 。 自然演繹系統做了相反的取捨 ， 包括了很多演繹規則但有非常少甚至沒有公理模式 。