deductive abstraction

Мат. дедуктивная абстракция