Ars inveniendi
Ars inveniendi est principalis mathesis universalis notio, quae compertam per usum mathematicae veritatem significat. Leibnitius (1646–1716) definitionem intellexit rationis esse scientificae inventionis novae veritatis interioris provinciae praecipuae. Christianus Wolffius (1679–1754) dixit artem inveniendi esse rem "petitae adhuc ignotae veritatis," et eam cum logica linguae coniunctam esse vidit.