Nonstandard Analysis enhances mathematical reasoning by introducing new ways of expression and deduction. Distinguishing between standard and nonstandard mathematical objects, its inventor, the eminent mathematician Abraham Robinson, settled in 1961 the centuries-old problem of how to use infinitesimals correctly in analysis. Having also worked as an engineer, he saw not only that his method greatly simplified mathematically proving and teaching,...