希尔伯特计划

希尔伯特计划是一个由大卫‧希尔伯特在1920年提出的数学计画。是一个关於公理系统相容性的严谨证明的一项计画。

这个计划不应该和希尔伯特的二十三个问题混淆，不过这个计划对数学的发展也有著重要的影响。