"Y.N." <yoshiro@mail.wind.ne.jp> wrote in message news:<c7qus3$fp$1@nr1.vectant.ne.jp>...
> On 11 May 2004 07:09:34 -0700
> eurms@apionet.or.jp (M_SHIRAISHI) wrote:
> 
> M> 続きは無いけど、Bourbaki の言わんとしていることは明らかです:−
> M> 
> M> 
> M> dy:=f'(x)・△x と定義したならば、dy=f'(x)dx は、なんとか、導ける。
> M> 
> 
> ではなくて
> 
> 「f'(x)=lim{Δx→0}[{f(x+Δx)-f(x)}/Δx] と定義したならば…」


「f'(x)=lim{Δx→0}[{f(x+Δx)-f(x)}/Δx] と定義し、尚かつ dy:=f'(x)・△x 
と定義したならば、dy=f'(x)dx は、なんとか、導ける」ってことさ。