User blog comment:Googology Noob/Ordinal FGH, with an actual definition!/@comment-1605058-20151219081414

I am not willing to agree that this is an "actual definition" unless you define $$\alpha[\beta]$$ for all ordinals (or at least all the ordinals you are considering).