Proof That God Is Real From Logic