Abraham Robinson's non-standard analysis provides a single coherent framework in which both Leibnizi...