@article {cmorej_p1996:296,
	title = {G{\"o}delov d{\^o}kaz existencie Boha a mno{\v z}inov{\'e} ch{\'a}panie vlastnost{\'\i}},
	journal = {Organon F},
	volume = {3},
	number = {4},
	year = {1996},
	pages = {349-358},
	type = {State},
	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{\"o}del{\textasciiacute}s ontological proof of the existence of God: the necessary existence of God follows from the first three axioms and G{\"o}del{\textasciiacute}s definition of God (translated into the language of set theory).},
	author = {Pavel Cmorej}
}
