在1928年的大会上，希尔伯特明确提出了他的问题。第一，数学是完备的吗？是不是每个命题(比如“任意自然数都是四个平方数的和”)都能证明或证伪。第二，数学是相容的吗？也就是说，用符合逻辑的步骤和顺序，永...