User blog comment:King2218/FGH Things/@comment-25418284-20140305080757/@comment-5150073-20140309092838

The intuitive definition of FS for \(\varepsilon_0\) for transfinite ordinals is $$\varepsilon_0[\alpha+1] = \omega^{\varepsilon_0[\alpha]}$$, but then $$\varepsilon_0[\omega+1] = \omega^{\varepsilon_0[\omega]} = \omega^{\varepsilon_0} = \varepsilon_0$$.