The logical evidence for the existence of God