User blog comment:Ubersketch/Does the strength of a collection of axioms increase the growth rate of it's corresponding Rayo?/@comment-39605890-20190609052643/@comment-39605890-20190611013023

Hmm, true. He still did not invoke a specific axiomatization of first-order set theory in his definition. So I guess thinking in terms of satisfaction classes is better.