希尔伯特计划

希尔伯特计划是一个由大卫‧希尔伯特在1920年提出的数学计划。是一个关于公理系统相容性的严谨证明的一项计划。又称证明论计划，是在20世纪初数学奠基问题的论战中，由D.希尔伯特提出的旨在保卫古典数学、避免悖论以解决数学奠基问题的一种方案。