язык вынуждения

Мат. forcing language