Indirekt bizonyítás – a tételek bizonyításának azon módszere, amelyben azt feltételezzük, hogy a következtetés téves. E feltételezés alapján a logikai érvelés segítségével olyan tényt kapunk, amely ellentmond a korábban bizonyított tulajdonságoknak.

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

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

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