lematy.
Rola dowodu matematycznego Dowód matematyczny może przyjmować następujące role: rola weryfikacyjna (pozwala stwierdzić poprawność hipotezy)Anna K. Żeromska, Metodologia matematyki jako przedmiot badań antropomatematycznych, Wydawnictwo Uniwersytetu Pedagogicznego w Krakowie, Kraków 2013, s. 58.; rola wyjaśniająca (pozwala znaleźć powód dla którego dane twierdzenie jest prawdziwe); rola wyjaśniająca (pozwala uzyskać społeczną aprobatę); rola systemacyzacyjna (pozwala uporządkować różne wyniki zgodnie z systemem głównych pojęć i twierdzeń); rola komunikacyjna (pozwala przekazywać innym gotowe wyniki i obserwacje); rola estetyczna (pozwala dane rozumowanie zapisać w sposób elegancki i klarowny); rola satysfakcjonująca (pozwala odczuć satysfakcję, radość, dumę i uczucie odniesienia sukcesu po skutecznym przeprowadzeniu dowodu); rola transferowa (pozwala zachować techniki dowodowe, które mogą okazać się przydatne w dowodzeniu lub zrozumieniu innych twierdzeń).
Dowód formalny W teorii sformalizowanej dowód przyjmuje ścisłą formę tak zwanego dowodu formalnego, który jest skończonym ciągiem wyrażeń ustalonego języka sformalizowanego, takim że dla każdego jest aksjomatem lub jest wnioskiem z przesłanek (gdzie ) wyprowadzonym przez zastosowanie przyjętej reguły dedukcyjnej.