哥德尔：希尔伯特某一形式语言系统的无矛盾性绝对的证明不可能实现

希尔伯特的目的是试图对某一形式语言系统的无矛盾性给出绝对的证明，以便克服悖论所引起的危机，一劳永逸地消除对数学基础以及数学推理方法可靠性的怀疑。然而，1930年，年青的奥地利数理逻辑学家哥德尔(Kurt Godel，1906～1978)获得了否定的结果，证明了希尔伯特方案是不可能实现的。