Proof-Theoretic Ordinal

An ordinal (often presented via a notation system) that measures the proof-theoretic strength of a formal theory, typically defined as the supremum of ordinals for which the theory can prove transfinite induction or well-foundedness of corresponding notation systems.