Robinson's non-standard analysis (1966) demonstrated infinitesimals can be rigorously formalized wit...