Well I am obviously out of my field I was writing with vague memory of a book by D. Hofstadter godel escher bach sure you no the one . I went and got it off the shelf to see where I screwed up. Hofstadter writes his interpretation all consistent axiomatic formulations of number theory include undecidable propositions is this a good representation of the theory? In any case I see the problem with what I wrote.
Plus, the two concepts of incompleteness and inconsistency are the same thing...the difference is just in how you write things down.
As I read it incompleteness in theory ie. a incomplete set of truths, is different to a set which has inconsistency’s ie untruths and truths?
Any thoughts?
™ Version 4.2