deductive inferability

Мат. дедуктивная выводимость