What if there is a proof?

If there is a perfectly logical proof that there is a God, the experts would take themselves to be knowing that there is probably no such thing and not waste their valuable time checking the logic of that purported proof. But perhaps it would be different elsewhere. Perhaps it would have been different.

If Cantor's paradox is essentially a proof that there is a God, then anyone who could have noticed Cantor's generalised diagonal argument could have discovered that proof. Could it have been discovered by the mathematicians of the ancient world? Might that have been part of the significance of Amun-Ra, or Jehovah, or Plato's Form of Forms? It is too late to know now (although the experts would say that they know what is probably the case).

If there is such a proof, would the work of Russell in the period 1901 to 1906 have any connection with Einstein's 1905 paper? Russell's obscure mathematics flew in the face of logic; and not too dissimilarly, Einstein's obscure mathematics survived being contradicted by empirical observations. And the powers of the world would presumably have liked to keep the truth about high energy physics secret. Still, it is for that reason impossible to know either way.

If God deliberately created this universe in such a way that there was such a proof, then we might expect the universe to be full of people taking themselves to be living in God's family. And if Einstein was wrong about the light-speed-limit, then that might make a difference to us.