cousin_it comments on No one knows what Peano arithmetic doesn’t know

[cousin_it]

Made some edits. Though writing a nontechnical summary is a little beyond my skills right now :-)