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

Мат. hyperarithmetical computation