специальная аксиома

Мат. specific axiom