axiom set

Мат. набор аксиом