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

Well, you didn't define \(A(0,A(0,0))\).