English
Slovenčina
Article/Publication Details
Gödelov dôkaz existencie Boha a množinové chápanie vlastností
(Gödel's Proof of the Existence of God and the Set Conception of Properties)
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).