Одно простое синтаксическое определение всех классов иерархии Гжегорчика

Пусть $\widetilde E^n$ – наименьший класс примитивно рекурсивных функций, содержащий исходные функции класса $E$ [I] и замкнутый относительно подстановки и специальной рекурсии (см. определение 5). Тогда $\widetilde E^n=E^n$.