Und das heisst doch, dass zwischen dem rekursiven Beweis und dem von ihm bewiesenen Satz immer die gleiche (interne) Beziehung besteht?