Ist ein arithmetisches Experiment noch möglich wo eine Definition durch Rekursion statthat?