deductive systematization

Мат. дедуктивная систематизация