Proof-theoretic ordinal

Redirect to:

• Ordinal analysis