Skip to content
Better HN
Gödel’s ontological argument inconsistency found by theorem prover (2016) [pdf] | Better HN