nonstandard analysis

alternative formulation of calculus using a logically rigorous notion of infinitesimal numbers