Man kann aber den R.schen Beweis auch z.B. als Beweis dafür ansehen daß der bewiesene Satz
in bestimmter Weise in eine ˇbestimmte andere Notation, vom die & die Struktur haben werde. Das ist wie wenn man beweist, es werde sich eine Zahl durch die & die Zahl teilen lassen.