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