Démonstration directe, Démonstration par l’absurde, Démonstration par la contraposée, Démonstration par récurrence, Démonstration par analyse-synthèse.