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