Der rekursive Beweis als Reihe von Beweisen