これはRaphael M. Robinsonの “Primitive recursive functions.” (Bull. Amer. Math. Soc. October. 1947: 925 – 942.)に書いてあります。
たしかに証明でやっているようにα、βを定義して、それらからiterationでGを定義すれば、Gは都合のいい性質を満たしてくれていて、Gから簡単に目的のF’を定義できます。
しかし、証明を追うことはできても発想を理解できなくて釈然としません。
とくにG(x, y)=J(x, F(x, y))を満たすGを得るためにA, BとI, J, K, Lからあのようにα, βを定義するに至った気持ちがわかりません。