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

[wuthefwasthat]

Oops sorry! Ignore what I said there. Anyways, the axioms aren’t necessarily r.e., but as far as I can tell, they don’t need to be.