Some mathematicians have sought a logical proof for the existence of God. Here’s what they discovered.