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

Summary/Abstract: 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).

• Details
• Contents