维基百科：希尔伯特规划(zslcn周生烈编译摘注评)

希尔伯特的规划，是一种为了解决根本的数学危机的建议方案。他建议,将所有现有的的理论,建立到一个有限的完备公理集,并提供其一致的证明。他提出,更复杂系统的一致性,如实数分析，可以依据简单系统来证明。最终,全部数学的一致性,可以简化到基本算术。哥德尔不完备定理,表明希尔伯特规划是无法实现的。然而当前在数理逻辑、证明理论和逆数学中,许多在形式化、完备性、一致性、保守性和可判定性等方面的研究进展都是原规划的延续。