I’m not sure how to answer your specific question; I’m not familiar with proof-theoretic ordinals, but I think that’s the keyword you want. I’m not sure what your general question means.
I’m not sure how to answer your specific question; I’m not familiar with proof-theoretic ordinals, but I think that’s the keyword you want. I’m not sure what your general question means.