>>277
＞形式主義者としてのヒルベルトは20世紀なので、
＞これが･･･ネターなどのゲッチンゲン学派を媒介として、
＞ヴェイユやデュドネによってフランスにもたらされ、
＞ブルバキ誕生の起源となった

基礎論を知らないなら、妄想はやめたがいいね。
ブルバキは、ヒルベルト・プログラムとは無縁でしょう。
マサイアスが「ブルバキの無知」という論文で、ブルバキが
ゲーデルに言及しないことを怒っていたが、そもそも
ブルバキは基礎論にまったく関心がないから、ゲーデルが
出てくる場がない。まあ、そこに芸能レポーターと同様に
「無知による底抜けの侮蔑」があったかどうか知らんけど。