User blog comment:B1mb0w/J Function Sandpit J 4/@comment-5529393-20151014104445/@comment-25601061-20151018200948

Well, if we have various fundamental sequences to get to certain ordinals, this would cause a problem in analysis, for example, if there is some notation which has a limit fε 1 (n), we could interpret ε1 as either sup(ε0, ωε0, ωω ε0 ...) or sup(ε0, ε0ε0, ε0ε0 ε0 ,...), which aren't equal (i might make a blog post on that), which may cause confusion since some people might think the analysis is wrong since they are using the wrong interpretation of the limit ordinal instead of the one the one who made the analysis used, and therefore checking if the analysis is correct in the wrong way. I suggest using a new ordinal notation standard or another notation to make analysis, so we do not get confused. Sound familiar? This is a similar problem as the what theta are you using? problem.