希尔伯特式演绎系统

（计算机科学技术名词）

希尔伯特式演绎系统（Hilbert-style deduction system）是2018年公布的计算机科学技术名词。形式证明系统的一种表示方法。这类系统由一组公理与有限条规则组成，起源于希尔伯特（Hilbert）和弗雷格（Frege）的工作。