Korisna stvar u matematici pri dokazivanju, zasnovana na svođenje na kontradikciju, ne i uvek tako efikasna u praksi.
Čovek ne može da leti kao ptica. Pretpostavimo suprotno...