basic axiom

Мат. базисная аксиома