Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf] #1 Post by edjroot » Sun, Sep 06, 2020, 10:56 PM UTC Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf]ijcai.org