大卫·希尔伯特

他所提出的理想的数学大厦有三个特性：

• 完备性：不存在命题是不可证明的
• 一致性/相容性：不存在一个命题即为真，又为假（非真）
• 可判定性：任何命题，都能在有限时间内被证明为真/假*

reference