Und das heißt doch, daß zwischen dem rekursiven Beweis & dem von ihm bewiesenen Satz immer die gleiche (interne) Beziehung besteht?