tentative axiom

Мат. вспомогательная аксиома