User blog comment:JHeroJr/Why I need a system that inductively defines set theories for each ordinal/@comment-30279966-20200110055132

You fixed the definition of \(f(n)\) as \(f(n) = n+1\). It is always the same regardless of the number of steps.