2 ms·Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf]3 points by edjroot 6y ago