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

Мат. deductive systematization