Ist ein arithmetisches Experiment noch möglich, wo eine Definition durch Recursion statt hat? Ich glaube offenbar nein; weil durch die Recursion jede Stufe arithmetisch verständlich wird.