аксиома-определение

Мат. defining axiom