User blog comment:Wythagoras/All my stuff/@comment-5029411-20130715142856/@comment-1605058-20130716172236

We know fundamental sequences, we also know how phi function works. The point is that your 5 rules don't specify what to do with limit ordinals or 0. So you haven't defined FGH in 5 rules.