L'ars inveniendi (latin pour "art de trouver" et non pas d'inventer) est la méthode caractéristique de la mathesis universalis et consiste en la découverte de vérités par raisonnement mathématique[1].
Ce mode de raisonnement est caractéristique de la pensée du XVIIe siècle en ce qu'il consiste en une démarche purement constructive et orientée vers une finalité pratique et pas nécessairement dans une spéculation philosophique[2].
↑Susanne Edel, « Métaphysique des idées et mystique des lettres : Leibniz, Böhme et la Kabbale prophétique », Revue de l'histoire des religions, vol. 213, no 4, , p. 443–466 (ISSN0035-1423, DOI10.3406/rhr.1996.1199, lire en ligne, consulté le )