язык второго порядка

Мат. second-order language