KnowraGoodstein's theoremLinked fromLinked fromThe 6 pages that link to Goodstein's theorem, each with the reason it gives.All 6Broader topic 2Related 2Compared with 2Independence (mathematical logic)Broader topic: It illustrates independence from a particular arithmetic system without being independent of ordinary mathematics.Gödel's first incompleteness theoremBroader topic: Kirby and Paris showed in 1982 it is a natural sentence independent of Peano arithmetic.