His proof for the existence of God was a variation of the Ontological argument.