User blog comment:Ubersketch/An outline for an ordinal notation/@comment-35470197-20190712053014/@comment-35470197-20190712232053

What does \(n+1\) stand for? Any entry searched from the rightmost entry? Then you have \begin{eqnarray*} (0,1,2) = (0,1\ldots) \end{eqnarray*} right? Then there are infinitely many \(1\), and hence the evaluation of \(1\) into \(0,\ldots\) "from right to left" is undefined, because it has no rightmost entry.