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

Did I mention your rules are incomplete? Every rule other than 1st has +1 in it, so at every point you assume some ordinal is successor or 0. So rules don't specify, for example, phi(w,w)