Laurence Kirby and Jeff Paris proved in 1982 that Goodstein's theorem cannot be proven in Peano arithmetic.
In 1982, mathematicians Laurence Kirby and Jeff Paris proved that Goodstein's theorem cannot be proven using the rules of Peano arithmetic.