TY - JOUR T1 - Gödelov dôkaz existencie Boha a množinové chápanie vlastností JF - Organon F Y1 - 1996 A1 - Pavel Cmorej AB - 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). VL - 3 M3 - State ER -