Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre

MAT, I, 0, i.

MaATH., I, O, j.

MaTu., l, 12.

sn :

546 DÉFINITIONS MATHÉMATIQUES

EEE _—…—…—_—_— ee

Marx. L. 0, i (un coupon). 9, 1 \ P

Definitio : æqualia sunt quæ [mutuo] sibi substitui possunt salva veritate, videtur nimium dicere seu obreptitia esse. Nam ex eo quod priori posterius substitui potest, salva circa magnitudines veritate, sequitur vicissim et posterius priori similiter substitui posse, ut alibi demonstravi Jam quæ demonstrari ex definitione possunt, inserere præoccupando est (si rigide agas) obrepere.

Mars. l, 0, j (un coupon).

Un de mes estonnemens est, que des personnes studieuses, qui s'appliquent fort à l’analyse, ne donnent rien de nouveau, comme par exemple le feu P. Prestet amy du R. P. Malebranche ?. Je crois que cela arrive en partie, parce qu’ils suivent trop la route que les autres avoient déjà prise; il faut s’écarter du grand chemin pour trouver quelque chose, à peu près comme un voyageur qui Va en Grece pour trouver des inscriptions que les autres n'ont pas encor remarquées *.

Maru., Ï, 12.

Demonstratio omnimoda quæ nullam propositionem, nisi identicam, sine demonstratione assumit: nulloque perinde axiomate aut alia affrmatione demonstrabili sed non demonstrata utitur, etiam analysin perfcit.

Itaque ut Analysin situs constituerem, inter alia cogitavi scopum obtinere posse si perficerentur Demonstrationes Elementorum Euclidis, in quo jam olim Apollonius, Proclus, nuper Clavius laboraverunt *.

1. CF. Pmic., NII, B, nu, 42; VIL, B, 1v, 115 et Specimen Calculi universalis, $ 6 (Phil, NIL, 210). V. La Logique de Leibniz, p- 338.

>. Cf. Remarques sur les Elemens de Mathematique de M. J. Prestet. Janv. 1676 (Mar, XV, v, 61-70).

3. Cf. Lettre à Malebranche, 22 juin 1679 (Phil., I, 332).

4. CF. Maru., L 1, b, et note.