ノイマンはゲーデルの発表を聞いて純粋数学を辞めた
だからゲーデル>ノイマン