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 2Paris–Harrington theoremCompared with: Like Paris–Harrington, it is true but unprovable in Peano arithmetic.Kruskal's tree theoremCompared with: Like Kruskal's theorem, it is true but not provable in Peano arithmetic.