>>744
それ違うな。ヒルベルトプログラムも論理主義も失敗したからね。残ったのは数学の無尽蔵性。