Encara que por un regular no existe un procedimiento unico de demostración de teoremas, sí existen diferents tipos de demostracions que son emplegatos a ormino en matematicas: Demostración por contraposición Demostración por reducción l'absurdo, y como caso particular, descenso infinito Inducción matematica Inducción fuerte D'atra man, a tamas de l'alto grado de intervención humana necesario ta fer una demostración, tamién existen tecnicas computacionals que premiten fer demostracions automaticas, notablement en o campo d'a cheometría euclidiana.