Just like for Goodstein sequences, Kirby and Paris showed that it cannot be proven in Peano arithmetic alone.
Precis som för Goodstein-sekvenser visade Kirby och Paris att detta inte kan bevisas i Peano-aritmetiken ensam.