ヒルベルトの23の問題
彼は元々24題の問題を用意していたが、その内の1題は割愛された。この24番目の問題(簡潔性と総合的な方法の評価基準に関する証明論)は2000年にドイツの歴史学者リュディガー・ティーレ(ドイツ語版)によって発見されたヒルベルトの手記中に、その存在が初めて確認された。