Enoncé de la formule du crible
Voici une démonstration plus classique : on peut démontrer la formule du crible par récurrence. Initialisation : Pour le cas n = 1, l'égalité s'écrit text {card} (A_1) =text {card} (A_1) card(A1) = card(A1) Hérédité : Soit n in mathbb {N} n ∈ N. On suppose que la propriété est vraie pour tout ensemble au rang n.