xī ěr bó tè jì huà · ㄒㄧ ㄦˇ ㄅㄛˊ ㄊㄜˋ ㄐㄧˋ ㄏㄨㄚˋ · 更新 2026-06-30 13:47:12
希尔伯特计划是一个由大卫‧希尔伯特在1920年提出的数学计划。是一个关於公理系统相容性的严谨证明的一项计划。