Dedekind and others used his definition to prove major theorems in calculus for the first time — which allowed them not just to strengthen the edifice that Leibniz and Newton had built, but to add to ...