nous considérons qu’aucun fait ne saurait se trouver vrai ou existant, aucune énonciation véritable, sans qu’il y ait une raison suffisante pourquoi il en soit ainsi et non pas autrement, quoique ces raisons le plus souvent ne puissent point nous être connues.
33. II y a aussi deux sortes de vérités, celles de raisonnement et celles de fait. Les vérités de raisonnement sont nécessaires et leur opposé impossible, et celles de fait sont contingentes et leur opposé est possible. Quand une vérité est nécessaire, on en peut trouver la raison par l’analyse, la résolvant en idées et en vérités plus simples, jusqu’à ce qu’on vienne aux primitives.
34. C’est ainsi que chez les mathématiciens les théorèmes de spéculation et les canons de pratique sont réduits par l’analyse aux définitions, axiomes et demandes.
