базисная аксиома

Мат. basic axiom