аксиома подстановки

Мат. substitution axiom