Nennen wir die R'schen Beweise ‘Konstruktionen von Sätzen’ – was ist aber dann ein Induktionsbeweis? Er kann sich doch als Konstruktion nicht mit den andern verglichen werden.