希尔伯特演绎系统 在逻辑特别是数理逻辑中希尔伯特风格演绎系统是归功于弗雷格和希尔伯特的一类形式演绎系统这种演绎系统最经常为一阶逻辑而研究但对其他逻辑也是有价值的 所有演绎系统都在逻辑公理和推理规则之间作出取舍平衡希尔伯特风格的演绎系统可以刻画为选择了大量的逻辑公理模式和少Hilbert system量的推理规则最常研究的希尔伯特风格演绎系统只有一个推理规则即肯定前件和几个无限公理模式 自然演绎系统做了相反的取舍包括了很多演绎规则但有非常少甚至没有公理模式