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