Ontological argument for the existence of God