A propos de la preuve ontologique de l'existence de Dieu par Gödel

[invitee772f4df]

Bonsoir
La «*preuve*» ontologique de l'existence de Dieu par Kurt Gödel

-Axiome 1 (Dichotomie) Une propriété est vrai
si et seulement si sa négation est fausse.
-Axiome 2 (Fermeture) Une propriété est vrai
si elle contient nécessairement une propriété vrai.
-Théorème 1. Une propriété vraie est logiquement consistante
(c'est à dire qu'il est possible de trouver au moins un exemple).
-Définition. Quelque chose est semblable à Dieu si
et seulement si il contient toutes les propriétés vraie.
-Axiome 3. Être semblable à Dieu est une propriété vraie.
-Axiome 4. Être une propriété vraie est (logique, donc) nécessaire.
-Définition. Une propriété P est l'essence de x si
et seulement si x possède P et P est nécessairement minimal.
-Théorème 2. Si x est semblable à Dieu,
alors être semblable à Dieu est l'essence de x.
-Définition x existe nécessairement s'il a une propriété essentielle.
-Axiome 5. Être nécessairement existant est être semblable à Dieu
-Théorème 3. Il existe nécessairement x tel que x est semblable à Dieu

Texte la «*preuve*» non publiée de Kurt Gödel de l'existence de Dieu

La question :Si on étudie le texte au sens holistique du raisonnement. La question est de savoir si Kurt Gödel avait «*fumée la moquette*» ou si le raisonnement est crédible au quel cas x pose un problème d'omnipotence ? Help ...

Cordialement fessesbouc