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