希尔伯特计划是由德国数学家大卫‧希尔伯特在1920年代提出的一个数学计画。它是一个关于公理系统相容性的严谨证明的一项计划。这个计划不应该和希尔伯特的二十三个问题混淆，不过这个计划对数学的发展也有着重要的影响。哥德尔不完备定理指出，希尔伯特计划大多数目标无法实现。
希尔伯特计划的陈述.这个计划的主要目标，是为全部的数学提供一个安全的理论基础。具体地，这个基础应该包括：