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