Non-standard Analysis:−

【公理】 df(x)=f(x+dx)−f(x)