relativization of quantifiers

Мат. релятивизация кванторов