0210それでも動く名無し垢版 | 大砲2022/08/28(日) 21:06:26.92ID:7XmDqQ8j0 >>181 ヒルベルト本人よりヒルベルトプログラムのほうが有名やろたぶん ゲーテルが数学の不完全性を数学で証明しちゃったきっかけや