Dowód – w matematyce wykazanie, że pewne zdanie jest prawdziwe. Dowód należy odróżnić od empirycznego lub
heurystycznego rozumowania. Każdy krok dowodu musi jasno wynikać z poprzednich lub być przyjętym
aksjomatem; rozumowanie nie spełniające tego warunku nie jest dowodem. Ostatni krok dowodu to udowodnione zdanie, które w ten sposób staje się
twierdzeniem danej
teorii. Zwyczajowo koniec dowodu oznacza się skrótem
q.e.d. (quod erat demonstrandum), c.n.d. (co należało dowieść) lub podobnym.