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.