“If a ‘religion’ is defined to be a system of ideas that contains unprovable statements,” observes John Barrow, the eminent Cambridge University mathematician, in The Artful Universe, “then Gödel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one.”[11]”