Laurence Kirby and Jeff Paris proved in 1982 that Goodstein's theorem cannot be proven in Peano arithmetic.
The statement asserts that a mathematical theorem (Goodstein's) is not provable within a specific system of logic (Peano arithmetic).