Ja, erscheint plausibel. → *-v2.pdf
Hab noch mal über meine primitive Rekursion drübergeschaut und bin noch am ausbessern vieler Fehler…
BFS_Kap4.pdf suggeriert mit f(n+1,…) h(f(n,…),…) Einsetzbarkeit beliebiger “…”, Wikipedia sagt da anderes, an das ich mich erst mal halte… auch wenn die Division und Gleichheit dann unschön werden.