User blog comment:Alemagno12/A ordinal notation/@comment-11227630-20150721045807/@comment-11227630-20150723020542

I mean that, you have defined A(0,α) for α = 0 or α is a successor ordinal, but you didn't define A(0,α) for α is a limit ordinal.