deductive system

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