God and Mathematics