According to Wikipedia, Goodstein's Theorem is provable from second order arithmetic, and since it implies Con(PA), PA can't prove it, assuming that PA is consistent. "Kirby and Paris showed that [Goodstein's Theorem] is unprovable in Peano arithmetic (but it can be proven in stronger systems, such as second-order arithmetic)."
pathway
- 117
- 7