mathematical evidence of God’s existence