User blog comment:Ynought/Another question/@comment-34422464-20190709152325/@comment-34422464-20190709153452

Ah yeah, I realized that. But I'm still sure a theory that isn't recursively enumerable would have PTO of CK ordinal. On the other hand you can have weird things like PA+"PA is inconsistent" which has a CK ordinal PTO for some reason.