deductive criterion

Мат. дедуктивный критерий