Para entender la relación entre la teoría de Leibniz, por un lado, y la moderna ϵ-δ definiciones y construcciones de un continuo, en el otro, es útil hacer la siguiente distinción. La distinción es entre los dos elementos siguientes.
(1) Por un lado, tenemos a los procedimientos empleados por Leibniz y otros pioneros del cálculo, y su procedimiento se mueve en la obtención de nuevos resultados, tales como la de Leibniz, la derivación de la fórmula del producto para la diferenciación, y de Euler diversas soluciones de los convenios de Basilea problema, para dar algunos ejemplos elementales. Estos procedimientos pueden ser caracterizados como sintáctica de los materiales debido a que en esta etapa en el desarrollo de la matemática, sus practicantes no estaban demasiado preocupados con la semántica de los problemas (ver más abajo).
(2) Por otro lado, tenemos el problema de la ontología de los objetos matemáticos, es decir, ¿cuáles son los objetos básicos de matemáticas utiliza, cómo se axiomatizes su comportamiento y justifica su "existencia" en relación con el adecuado fundacional teorías. Estos semántica de los problemas comenzaron a surgir a partir de alrededor de 1870, y dio lugar a la moderna fundamentos para el análisis, en particular, y gran parte de la matemática moderna en general.
Para responder a tu pregunta, yo diría que las aportaciones de Leibniz y otros que hoy se ve como el centrado en el sintáctica lado de la tarea matemática. Ellos desarrollaron el cálculo en el sentido de que entiende sus procedimientos y la sintaxis, que siguen siendo hoy, en gran medida, tal como han sido desarrollados por Leibniz, Euler, Lagrange y otros.
La semántica lado de la historia no surgió hasta mucho más tarde. Esta observación se expresa a veces diciendo que los pioneros del cálculo no eran "rigurosa", pero esto creo que es una afirmación engañosa: Gauss y Dirichlet igualmente no tienen acceso a las nuevas sematic teorías y en este sentido también no ser "rigurosos", pero en realidad casi no hay errores en su trabajo. Por esta razón es más significativo para reconocer la sintáctico de la contribución de los pioneros del cálculo de aplicar la esencia vaga camisa de fuerza de la "matemática rigor" en el análisis de su trabajo.