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 2Peano arithmeticRelated: Its truth is provable in stronger systems but not in Peano arithmetic.Transfinite inductionRelated: Its standard proof maps sequence steps to descending ordinals and rules out infinite descent.