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