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

> the first recursive ordinal that can't be proven in that theory

An ordinal is not a statement, and hence it is not a notion to ask whether it is provable or not.