Here's something off the beaten path, but it's related to some of the discussions in the combox recently.
You're welcome. I always enjoy interacting with you on theological and philosophical matters of importance. I could quibble with you about how we should view the will, the intellect or Catholicism's potential consistency and uniformity. However, I'll save the dissent which I may express another time. Instead, I briefly wanted to make a comment regarding Godel's incompleteness theorem.
Looking back at Alister McGrath (one of the handouts I mailed to you), he writes that one implication of Godel's theorem is that it demonstrates "the inability of reason to prove its own competency" (Why God Won't Go Away, page 100).
So McGrath (as I understand him) is not saying that "all statements" [mathematical or otherwise] cannot be proven . . ." But what I take him to be arguing is that the incompleteness theorem suggests reason is limited: it cannot make definitive pronouncements respecting its own competency. There are some things we might know are true, but they are not capable of being demonstrated through the use of reason. I believe that Paul Davies is making a similar point about Godel's theorem. See the other pages I sent to you.
I'll be in contact with you at a later time.