M> > M> 続きは無いけど、Bourbaki の言わんとしていることは明らかです：−
M> > M> 
M> > M> 
M> > M> dy：＝f'(x)・△x と定義したならば、dy＝f'(x)dx は、なんとか、導ける。
M> > M> 
M> > 
M> > ではなくて
M> > 
M> > 「f'(x)＝lim{Δx→0}[{f(x+Δx)-f(x)}/Δx] と定義したならば…」
M> 
M> 
M> 「f'(x)＝lim{Δx→0}[{f(x+Δx)-f(x)}/Δx] と定義し、尚かつ dy：＝f'(x)・△x 
M> と定義したならば、dy＝f'(x)dx は、なんとか、導ける」ってことさ。

そうですよね(^^)。

「 y＝f(x)
 Δy＝A・Δx＋ε・Δx （A は Δx に無関係。Δx→0 のとき，ε→0。）
 が成り立つとき，
  f'(x):＝A，dy:＝f'(x)Δx」

とすれば「再建」できそうですよね(^0^)。