知识/定理
希尔伯特 1900 巴黎国际数学家大会提出 23 个问题——20 世纪数学的「路标清单」，涵盖数论、基础、几何、分析、物理。
公式
代表问题：连续统假设（H1）、算术公理一致性（H2）、黎曼猜想（H8）、希尔伯特第 10 问题（丢番图方程可解性）。
证明思路
（纲领）以「问题驱动」规划数学——每个问题的解决都开辟新方向。
应用/例子
H10 不可判定（1970）、CH 独立（Gödel/Cohen）、庞加莱已证（Perelman）等。
意义/影响
百年数学的「导航仪」；证明数学是「可提问题、可被检验」的活的学科。