abstractive induction

Мат. абстрагирующая индукция