Die allgemeine Form eines Rekursionsbeweises ist das allgemeine Glied einer Reihe von Beweisen. Diese Reihe könnte ich ebensogut in der Form a1, a2, a3 u.s.w. schreiben.