Aber eines ist klar: Wenn uns der Rekursionsbeweis das Recht gibt, algebraisch zu rechnen, dann auch der arithmetische﹖ Beweis L. || dann gibt uns auch der arithmetische﹖ Beweis L dieses Recht.