complete system of axioms

Повна система аксіом