La démonstration de l'existence de Dieu par Spinoza est un raisonnement complexe qui se situe au début de son oeuvre majeure L'Éthique, dans la première partie (Livre I) : De Dieu. Cette démonstration est dans la lignée de démonstrations antérieures (celle de Anselme de Cantorbéry et, surtout, de Descartes) en ce sens qu'elle fait partie des preuves dites ontologiques (qui s'appuient sur la définition de l'être de Dieu). Le commentaires que je vais en faire ici utilise le fait que l'Éthique est rédigé à la façon d'un traité de géométrie (more geometrico), c'est-à-dire qu'il contient des définitions, des axiomes, des propositions et des démonstrations. Il contient également des explications et des scolies, c'est-à-dire des commentaires destinés à fournir des éclaircissement complémentaires ou des réfutations d'arguments contraires. L'ouvrage a été écrit en latin, ; je prendrai ici comme référence : soit la traduction qu'en a fourni l'édition de La Pleiade, NRF, Gallimard, 1967, Paris ; soit celle de Armand Guérinot, ed. Ivrea, 1993, Paris. Je signalerai la source par "ref. LP" pour la première et "ref. AG" pour la seconde.
