Método del Contraejemplo Mínimo

Una estrategia de demostración por contradicción que supone la existencia de un contraejemplo mínimo (el más pequeño) a una afirmación universal respecto a una medida bien fundada elegida, y luego deriva una contradicción construyendo un contraejemplo aún menor o mostrando que el objeto mínimo debe satisfacer la afirmación.