“
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.