>>181
ヒルベルト本人よりヒルベルトプログラムのほうが有名やろたぶん

ゲーテルが数学の不完全性を数学で証明しちゃったきっかけや