-th abraham robinson absolute value algebraic structure archimedean property archimedes archimedes palimpsest axiom calculus category theory compactness theorem derivative differential calculus dimension dual number edward nelson george berkeley gottfried leibniz hyperreal number india indian mathematics infinitesimal calculus internal set theory isaac newton karl weierstrass law of excluded middle maltsev mathematician model theory nilpotent non-standard analysis non-standard calculus set theory smooth infinitesimal analysis surreal number synthetic differential geometry the analyst