implicit axiom

Мат. неявная аксиома