'''Dokaz''' je [[rasuđivanje]] tokom kojeg se ustanovljava [[istinitost]] ili [[pogrešnost]] nekog [[tvrđenje|tvrđenja]] ([[Sud (logika)|suda]], [[iskaz]]a, [[teorem]]e). U dokazu teoreme se oslanjamo na [[aksiom]]e, ili na ranije dokazane teoreme pozivajući se pri tome na [[definicija|definicije]] pojmova. Zavisno od [[naučna metoda|metoda]] dokazi se dele na:
* dokaz od suprotnog, [[reductioreducatio ad absurdum|svođenje na protivrečnost]] ([[apsurd]], [[kontradikcija]]).▼