Приведение к нелепости

процедура допущения истинности противоречащего тезиса и выведения из него следствий вплоть до противоречия и признания неверности допущения.