Словарь Брокгауза и Ефрона
противоположно прогрессивному; второе идет от общего к частному, от основания к выводу, первое от частного к общему, от следствия к условиям.
Большой англо-русский и русско-английский словарь
мат. regressive proof
«Регрессивное доказательство»
Регрессивное доказательство в энциклопедиях