Infinitesimal Calculus, Section I