Récursion, ensembles, relations, logique