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 übersetzt || übertragen, die & die Struktur haben werde. Das ist wie wenn man beweist, es werde sich eine Zahl durch die & die Zahl teilen lassen.