Rekursion

Man muss oft in der Mathematik Aussagen nicht nur für endliche Mengen beweisen, sondern für unendliche. Die natürlichen Zahlen ℕ bilden eine unendliche Menge. Um eine Aussage über ℕ zu beweisen, kann man sie nicht nacheinander für alle natürlichen Zahlen beweisen, weil der Prozess kein Ende hätte.