User blog comment:Pellucidar12/Attempt at a FGH related notation/@comment-28606698-20170415185346/@comment-1605058-20170416085200

@PsiCubed note that their notation is not recursive, because they explicitly invoke CK ordinals... The gap is that they don't specify fundamental sequences.