Dowód (matematyka): Różnice pomiędzy wersjami

'''Dowód''' – w matematyce wykazanie, że pewne zdanie jest prawdziwe. Dowód należy odróżnić od empirycznego lub [[heurystyka (informatyka)|heurystycznego]] rozumowania. Każdy krok dowodu musi jasno wynikać z poprzednich lub być przyjętym [[aksjomat]]em; 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 [[teoria (logika)|teorii]]. Zwyczajowo koniec dowodu oznacza się skrótem [[q.e.d.]] (quod erat demonstrandum), c.n.d. (co należało dowieść) lub podobnym.