аксиоматизируемая теория

Мат. axiomatizable theor