>>274
そう見る方がいいように思いますが「基礎論」（笑）に関連させていえ
ば、形式主義者としてのヒルベルトは20世紀なので、これがゲーデルは
ともかく、ネターなどのゲッチンゲン学派を媒介として、ヴェイユやデ
ュドネによってフランスにもたらされ、ブルバキ誕生の起源となったと
いう意味では20世紀に入れたいという人もいるのかなと。