“Durch entsprechende || Mittels entsprechender Definitionen können wir “25 × 25 = 625” in der R.schen Logik beweisen.” – Aber || Und kann ich die gewöhnliche Beweistechnik durch die R.sche erklären? Aber wie kann man eine Beweistechnik durch eine andere erklären_﹖? Wie kann eine das Wesen einer andern erklären? Denn ist die eine eine ‘Abkürzung’ der anderen || andern, so muß sie doch eine systematische Abkürzung sein. Es bedarf doch eines Beweises, daß ich die langen Beweise systematisch abkürzen kann & also wieder ein System von Beweisen erhalte.
     Die langen Beweise gehen nun (zuerst) immer mit den kurzen einher & geben ihnen gleichsam ihre Sanktion || & bevormunden sie gleichsam. Aber endlich können sie den kurzen nicht mehr folgen & diese zeigen ihre Selbständigkeit.