generated at
2/21/2025, 6:57:47 PM
David Hilbert
ヒルベルト
ドイツ
の
数学者
162/1/23-1943/2/14
Georg Friedrich Bernhard Riemann
の後輩
証明論
の確立
形式主義
ヒルベルト・プログラム