According to Wikipedia, the 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)."