Dowód nie wprost – metoda udowodnienia twierdzenia, w której zakłada się, że wniosek twierdzenia jest błędny. Na podstawie tego założenia za pomocą rozumowania logicznego uzyskuje się fakt sprzeczny z wcześniej udowodnionymi własnościami.

Метод від супротивного – це метод доведення теорем, у якому робиться припущення, що висновок теореми неправильний. На підставі цього припущення за допомогою логічних міркувань отримується факт, який суперечить доведеним раніше властивостям.

Приклад застосування терміна в українській мові

Доведіть, користуючись методом від супротивного, що коли жодна з висот трикутника не збігається з бісектрисою, проведеною з тієї самої вершини, то трикутник не є рівнобедреним.