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. //