ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО

доказательство от противного вид доказательства, при котором «доказывание» некоторого суждения осуществляется через опровержение противоречащего ему суждения. (Продвинутая процедура и Аксиомы, 1951)