User blog comment:VoidSansXD/Ordinal notation/@comment-35434595-20190217190037/@comment-30754445-20190223170529

@Fejfo

Actually I have now idea what he means.

On the one hand, the sequence of ordinals is supposed to start with omega, epsilon_0, zeta_0 and "n0" (I have no idea what that last one is supposed to be).

On the other hand, the limit of these is supposed to gamma_0.

Is there an obvious FS for gamma_0 that begins that way? Because I'm not aware of one.