Bien qu'il ne s'agisse pas d'une preuve formelle, la démonstration visuelle d'un théorème mathématique est parfois appelée "preuve sans mots".
La preuve par la contradiction est une façon de prouver un théorème mathématique en montrant que si la déclaration est fausse, il y a un problème avec la logique de la preuve, c'est-à-dire que si l'on suppose que l'un des résultats du théorème est faux, la preuve ne fonctionne pas.