%0 Journal Article %J Organon F %D 1996 %T Gödelov dôkaz existencie Boha a množinové chápanie vlastností %A Pavel Cmorej %X The author tries to show that if we indentify properties with their extensions (sets) and accept the assumption that universe of discourse is the same at all world-time couples, we can simplify the Gödel´s ontological proof of the existence of God: the necessary existence of God follows from the first three axioms and Gödel´s definition of God (translated into the language of set theory). %B Organon F %V 3 %P 349-358 %9 State