Citation de Jacopo
La vérité de fait, en l'occurrence, c'est l'existence du monde : c'est là un fait, et non une nécessité, puisqu'il n'y aurait nulle contradiction à ce que le monde n'ait pas existé (ce pour quoi, d'ailleurs, Leibniz pose la question : pourquoi y a-t-il quelque chose, plutôt que rien ? — dans la mesure précisément où le rien n'est pas contradictoire). Quant aux vérités nécessaires dont partira aussi la démonstration, il s'agit des vérités logiques, des règles de la pensée, qui fonctionnent dans nos raisonnements comme des axiomes, mais qui ont elles-mêmes besoin d'une cause et donc doivent être expliquées. En conséquence, selon que les preuves de l'existence de Dieu vont prendre pour point de départ les vérités de fait ou les vérités nécessaires, elles utiliseront soit le principe de raison suffisante, soit le principe de contradiction, et elles prendront la forme soit de preuve a posteriori. soit de preuves a priori.
