A tako, onda, na stranici
Gödel's ontological proof je data definicija
Citat:
Now we define a new property G: if x is an object in some possible world, then G(x) is true if and only if P(x) is true in that same world for all positive properties P. G is called the "God-like" property. An object x that has the God-like property is called God.
koja je korektna.
U ovoj definiciji x je objekat a P pozitivna osobina i nema zabune, trikova sa definicionim ekstenzijama itd. Sve je jasno i nedvosmisleno od prvog do poslednjeg slova a
simboli imaju jedinstveno značenje.