>>580
基礎論の無視はブルバキの失敗でしょう。