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

[cousin_it]

(comment retracted because it sounded dismissive)