>function is well defined and computable but it can't be ranked with a growth hierarchy function in 1st order logic

how is this possible? we just can't map its growth rate using arithmetic or primitive recursion?

>https://en.wikipedia.org/wiki/Reverse_mathematics

>>16722043 (OP)
maybe stop using ZFC