This question is directed (mainly) to Peter Smith. I've read you "Introduction to Gödel's Theorems" (that's how I ended up here) and found it fascinating. At a certain point it the book, it is asserted that G (that is, a Gödel Sentence) is Goldbach type. My question is the following, what are the odds (I don't mean statistically, just your opinion) that the Goldbach conjecture is in some manner an example of a Gödel Sentence naturally (?) arising? I am aware that most mathematicians believe the Goldbach Conjecture to be true, even if all attempts to prove it have failed so far. So, could it be that it actually is true, but to be proven, additional axioms would have to be added to regular arithmetic, or the former would have to be modified in some fashion? Has anyone tried to prove this? Have they succeeded? Sorry for the messy English, I hope my question can be understood, and thanks for writing such an interesting book.