study on the mathematical evidence of God’s existence