Proof-theoretic ordinal
Redirect to:
Ordinal analysis