L'objectif ultime de cet article, divisé en deux sections, est de démontrer un théorème introduit en 1922 par le mathématicien polonais Kazimierz Kuratowski. Cet objectif sera réalisé dans la deuxième section de l'article, après que le sous-bassement algébrique de notre argumentation ait été exposé dans la première section. Le théorème d'adhérence-complémentaire de Kuratowski affirme que, partant … Lire la suite de Le problème d’adhérence-complémentaire de Kuratowski