Rudiments de la logique, récurrences