Godel's Incompleteness Theorems vs Justified True Belief I'm but lately come to this discussion. Fact is, I've just confirmed my 'membership' in this forum. I've picked this as the first thread to read, primarily because Dr. Douglas Hofstadter's delightful book, Godel, Escher, Bach is one of my 'desert island choices.
That said, I sense a lack of clarification between mathematics qua mathematics -- that is, a system for dealing with the concepts known as numbers -- and the discussion of mathematics; metamathematics, if you wish.