Imagine a God0 that had every attribute that a God1 has (omnipotence, omniscience, omnibenevolence, etc.) except existence. By premise two, having existence is better than not having it. So only God1, not God0, could be God according to Anselm’s definition. Several philosophers, including Descartes (1596–1650), followed Anselm in putting forth a variation of the argument. A contemporary of Anse...