/?  
Aber eines ist klar: Wenn uns der Rekursionsbeweis das Recht gibt alle algebraisch zu rechnen, dann auch der arithmetische Beweis [ dann gibt uns auch der arithmetische Beweis dieses Recht. ]