20世紀最も偉大な数学者とも称される人物、ダフィット・ヒルベルト。彼の業績は多岐にわたるが、もっとも有名なものの一つがヒルベルト・プログラムであろう。彼はこの計画によって、数学の体系は完全なものであり、矛盾が生じる余地がないことを証明しようとした。この研究は現在でも続けられており、様々な学説が存在している。