I was surprised to see nothing in the article about incompleteness and undecidability. Surely it must bother these fundamentalists that there exist true statements that their God couldn’t prove.