User blog comment:Ynought/Another question/@comment-37246647-20190709114809/@comment-37246647-20190709152110

Ok, should I have worded it this way?

The proof theoretic ordinal of a theory is the first ordinal whose recursion can't be proven by that theory.