Proof theoretic ordinal

Redirect to:

• Ordinal analysis