User blog comment:B1mb0w/FGH of Omega/@comment-24920136-20160607065741

but what does f_0(w) even mean. f_0 is successor, so i would guess  f_0(w)  is the limit of 0+1=1, 1+1=2, 2+1=3, etc... so isnt f_0(w) = w  by this logic?