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.