Bonsoir je ne vois pas ce qui est absurde dans la correcction de cet énoncé : On considère une famille finie d’ensembles distincts deux à deux. Montrer que l’un

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.