Kada nešto deduktivno dokazujemo, imamo dve mogućnosti: direktni deduktivni dokaz i indirektni deduktivni dokaz. Odnosno: 1) tezu možemo dokazivati direktno pokazujući da ona logički sledi iz aksioma sistema ili 2) možemo pokazati da antiteza (negacija teze) u sebi sadrži protivrečnost i da zbog toga nije tačna, što tezu čini tačnom, pa je ona dokazana indirektno. […]