[Jaxan]

I think the article mentions this clearly in the introduction: “it is unprovable in Peano arithmetic (but it can be proven in stronger systems, such as second-order arithmetic).”

[cubefox]

Yeah, but this terminological distinction is not really justified. It should be simply between first and second order Peano arithmetic.