This is now known as Gödel's ontological proof.
Αυτό είναι σήμερα γνωστό ως η οντολογική απόδειξη του Γκέντελ.