Ordinal analysis

Ordinal analysis is the branch of proof theory that assigns to each formal system a precise ordinal number — its proof-theoretic ordinal — measuring the system's capacity for transfinite induction. Developed by Gerhard Gentzen in his 1936 consistency proof for Peano Arithmetic, ordinal analysis transforms the question how