>微分の逆が積分だというのは嫌だと書いたんですが、
>微分の逆が積分なんですね。リーマン積分はそれを実現する
>一手段にすぎないと。

そうだよ。だけどブルバキにはリーマン積分は存在しない。
ディユドネはミニブルバキだがブルバキを改良しようとしていない。
というのはディユドネ自身がブルバキを書いた部分が多いから。
でもまあ読めばそれなりに御利益はあるだろ。