113−114..
Dowodzenie jest podstawową metodą uzasadniania w naukach matematycznych (logice i matematyce), zwanych też tradycyjnie naukami formalnymi, natomiast sprawdzanie empiryczne stanowi podstawową metodę uzasadniania zarówno w naukach przyrodniczych, jak i społecznych, a także praktycznych (stosowanych)Zob. J. Kmita, Wykłady z logiki i metodologii nauk, PWN, Warszawa 1973, rozdz. I, § 1. Dowodzenie twierdzeń w dyscyplinach formalnych, s. 113−119..
Dowodzenie Dowodzenie to w zasadzie rozumowanie (wnioskowanie) dedukcyjne. Polega ono na uwierzytelnianiu prawdziwości danego twierdzenia, które nie zostało uznane jeszcze za prawdziwe na podstawie innych twierdzeń uznanych za prawdziwe, np. aksjomatówAksjomat to sąd (zdanie) logiczny przyjmowany w danym systemie bez uzasadnienia ze względu na swą intuicyjną oczywistość lub prostotę. Z aksjomatów systemu wyprowadzane są na podstawie praw logiki wszystkie twierdzenia tego systemu. Prawdziwość aksjomatów gwarantuje, że dowodzone twierdzenia są także prawdziwe. [Zob. Słownik pojęć filozoficznych, W. Krajewski (red.), Wydawnictwo Naukowe Scholar, Warszawa 1996, s. 12.] wcześniej uznanych za prawdziwe.