set of axioms

Мат. система аксиом