Priamy dôkaz
Priamy dôkaz matematického výroku spočíva v tom, že z už dokázaných výrokov (viet) a axióm dokážeme tento výrok po konečnom počte korektných úsudkov.

Príklad na priamy dôkaz nájdeme v nasledujúcich dvoch úlohách.
Zadanie:
Ak 3 delí , potom 9 delí . Dokážte!

Riešenie:
Ak 3 delí , potom existuje také celé číslo k, pre ktoré platí .
Potom , z čoho vyplýva, že 9 delí .  
 
Zadanie:
Dokážte, že .

Riešenie:
Pretože , dostaneme .
Teda .