クルト・ゲーテル、ダフィット・ヒルベルト、ラッセルでしょ。