KnowraOrdinal analysisLinked fromLinked fromThe 6 pages that link to Ordinal analysis, each with the reason it gives.All 6Broader topic 1Related 3Narrower topic 2Ordinal numberRelated: The assigned ordinal bounds the transfinite induction a theory can justify.Proof theoryBroader topic: It developed as a way to compare formal systems and pursue consistency proofs.Goodstein's theoremNarrower topic: It supplies the proof-theoretic framework for measuring Goodstein's theorem's strength.Transfinite inductionNarrower topic: Transfinite induction is a central method for proving results in ordinal analysis.Paris–Harrington theoremRelated: It helps explain why Peano arithmetic cannot establish the theorem.Kruskal's tree theoremRelated: The theorem's proof-theoretic strength is measured using large countable ordinals.