Robinson's non-standard analysis rigorously formalizes infinitesimals without nilsquare conditions, ...