Der Begriff der Allgemeinheit (und der Rekursion), der in diesen Beweisen gebraucht wird, ist nicht allgemeiner, als er aus diesen Beweisen unmittelbar herauszulesen ist.