La logique arithmétique de l’exclusion