In the ontological argument God's existence is not just possible or probable or very likely, but is logically ensured. Anselm defined God as “that than which nothing greater can be thought”. It relies on nothing else than good old logic to show that, if the premises are true, God must exist.