Полный англо-русский словарь
(математика) непрямое доказательство (логика) апагогическое доказательство путем сведения аргумента к абсурду
apagoge