User blog comment:Googleaarex/Fundamental sequences for my ordinal notation/@comment-28606698-20170225131453

In this post is some contradiction between definitions of FS for epsilon and for binary Veblen function phi(1,0)[0]=0 but epsilon_0[0]=1 Some authors begin FS for phi(beta,0)[0] with 1, others write that more natural to begin with zero