dˌɔvɔdʑˈɛɲʲɛ jɛst fɔrmˈalnɨm rˌɔzumɔvˈaɲʲɛm, kˌɔʒɨstajˈɔntsɨm z zˈasat lˈɔɡʲikˌi, ˌaksjɔmˈatuf ˌɔraz zawˈɔʒɛɲ tfʲɛrdʑˈɛɲʲa i ftʃˈɛɕɲʲɛj ˌudɔvɔdɲʲˈɔnɨx tfʲˈɛrdʑɛɲ pɔrˈuvnaj dˈɔvut mˌatɛmˈatɨkˌa.
Dowodzenie jest formalnym rozumowaniem, korzystającym z zasad logiki, aksjomatów oraz założeń twierdzenia i wcześniej udowodnionych twierdzeń (porównaj dowód (matematyka)).