Косвенное доказательство и доказательство от противного: метод, показывающий абсурдность отрицания утверждения (Deductio ad absurdum).
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.