Those simplistic-seeming explanations are subtly different, which turns out to be quite helpful when dealing with the conceptual difficulties of TNT. Of course, some more accessible language than TNT would make the book more approachable, but Hofstadter's objective is to demonstrate why you will not be able to circumvent the incompleteness theorem by adding syntactic sugar.