User blog comment:Mh314159/A hopefully powerful new system/@comment-35470197-20190628050713/@comment-32213734-20190628105239

From structure of arrays and assuming that arrays of variables used in a notation should approximately correspond to arrays of terms of Cantor normal forms of all ordinals less than some ordinal I thought that in FGH base - 0, nn - ω, ns - ωω, sn-ss - ωω2, o - ωω 2, c - ωω ω , ε0 would be something like [a]\[n\ [n\ [n\ ……,n] …,n] …,n] [b], but I'm not sure.