гиперарифметический квантор

Мат. hyperarithmetical quantifier

Источник: Полный русско-английский словарь на Gufo.me