имя существительное 1) [математика] непрямое доказательство 2) [логика] апагогическое доказательство (путём сведения к абсурду)