User blog comment:Wythagoras/FGH with transfinite ordinals/@comment-24509095-20140310142212/@comment-10429372-20140310150229

lim{φ(ω,0),φ(φ(ω,0),0), ....} = φ(1,0,0), not φ(1,0,ω).