Le contraire de la proposition "Au moins un ensemble contient aucun des autres." est "Tous les ensembles contiennent au moins un autre ensemble".
Et du coup par construction de cette famille finie d'ensemble, tu obtiens un plus petit élément au sens de l'inclusion. Et par cette même hypothèse du raisonnement par l'absurde, il contient lui-même un élément. Ce qui est absurde puisqu'il est sensé être le plus petit.
