This technique, called proof by contradiction has formed the basis of reductio ad absurdum arguments in formal fields like logic and mathematics.
Ова техника, названа доказ контрадикцијом, је формирала базу свођења на апсурд тврђења у формалним областима као што су логика и математика.