希尔伯特式演绎

来自术语
跳转至: 导航搜索

    形式证明系统的一种表示方法,这类系统由一组公理与有限条规则组成,起源于Hilbert、Frege的工作,又称为Hilbert-Frege式系统。

英文名 Hilbert-style deduction