TY - JOUR T1 - Gödelov dôkaz existencie Boha a množinové chápanie vlastností JF - Organon F Y1 - 1996 A1 - Cmorej, Pavel 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). IS - 4 VL - 3 SP - 349-358 UR - http://www.klemens.sav.sk/fiusav/doc/organon/1996/4/349-358.pdf U2 - Papers U3 - 349358 TI - Gödel's Proof of the Existence of God and the Set Conception of Properties ER -