явная аксиома

Мат. explicit axiom