godexists.prof:0000.0001
A Gödel–Scott theorem of Necessary Existence
Does God exist? We formulate the question as an existence problem in a specified higher-order modal theory. The Gödel–Scott axioms imply necessary realization of a unique God-like individual.
Logic in Computer Science (cs.LO) · Artificial Intelligence (cs.AI) · Logic (math.LO)