User blog comment:B1mb0w/FGH of Omega/@comment-27513631-20160608172607/@comment-27513631-20160609061818

There's no universal definition for transfinite iterations like $$f^\omega$$, although the standard seems to be $$f^\alpha(\beta) = \sup(\{\beta\}\cup\{f(f^\gamma(\beta)):\gamma<\beta\})$$. Other than that, I was saying that you can define the Veblen functions in one or two lines, but need at least 3 for the FGH, so the Veblen functions seem simpler.