Méthode du Contre-Exemple Minimal

Une stratégie de preuve par contradiction qui suppose l'existence d'un plus petit (minimal) contre-exemple à une assertion universelle selon une mesure bien fondée choisie, puis en déduit une contradiction en construisant un contre-exemple encore plus petit ou en montrant que l'objet minimal doit satisfaire l'énoncé.