User blog comment:Rgetar/FGH-based notation for natural numbers/@comment-35470197-20190426042119/@comment-35470197-20190426132317

Thank you for detailed explanations. Now I got the idea. You restricted expressions so that the defining qualities \(f_{\alpha+1}(n) = f_{\alpha}^n(n)\) and \(f_{\alpha}(n) = f_{\alpha[n]}(n)\) do not interrupt the uniqueness of the standard form. Great! Your refinement of the system of fundamental system behaves so well here.