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