Arthur R. Leibniz on the Foundations of the Differential Calculus 2025