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

The proof theoretic strength of a theory is by definition the first recursive ordinal that can't be proven in that theory. The Church-Kleene ordinal is the supremum of all recursive ordinals, so therefore it MUST be larger than ALL proof theoretic ordinals.