林晋氏は
「ヒルベルトの基礎論的公理論を
　構造主義数学の道具に転換したのが
　ブルバキの新しさ」
といっているが、ブルバキはヒルベルトなんて
意識してなかっただろう。
まあ、無矛盾性に固執する人もいるみたいですよ、
くらいのものか。