Proof-theoretic ordinal

Redirect to:

  • Ordinal analysis