Non-standard Analysis

【公理】df(z)=f(z+dz)−f(z)