Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf]

No comments yet.