Classification des techniques de démonstration : telles que la méthode constructive et la méthode du contre-exemple