El presente artículo examina puntos centrales de la teoría leibniziana de la prueba matemática en conexión con su concepción general de la ciencia. Se analizan, primeramente, las características generales del método leibniziano, oponiéndolo al método cartesiano (§§ 1¿3). Puesto que para Leibniz las fórmulas numéricas no son verdades lógicas primitivas y por ello requiere una estricta prueba formal, a continuación se examina la demostración de ellas contenida en los Nuevos ensayos, mencionando las críticas que Frege y Poincaré le han dirigido, a fin de precisar y aclarar el significado del formalismo leibniziano (§§ 4¿6). Se finaliza con un recuento evaluativo de lo realizado en este trabajo (§ 7).
