Mathematical Theory of the Existence of God