содержательная индукция

Informal induction