Ich glaube: offenbar nein; weil durch die Rekursion jede Stufe arithmetisch verständlich wird.
Und zwar wird rekurriert, nicht wieder auf eine Allgemeinheit, sondern auf einen bestimmten arithmetischen Fall.