ヒルベルトの計画が破綻して困る数学者はいない。それに、部分的成功といえるもの（逆数学）さえある。