I ijcai.org Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf] 3 points edjroot 6 years ago 0 comments
