аксиома однозначности

Мат. uniqueness axiom