e/Ordinal analysis

Information
has gloss	eng: In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. The field was formed when Gerhard Gentzen in 1934 used cut elimination to prove, in modern terms, that the proof theoretic ordinal of Peano arithmetic is ε0.
lexicalization	eng: ordinal analysis
instance of	(noun) the number designating place in an ordered sequence ordinal number, no., ordinal