If φ0 is any normal function, then for any non-zero ordinal α, φα is the function enumerating the common fixed points of φβ for β<α.
Если φ0 — это какая-либо нормальная функция, тогда для любого ненулевого ординала α, функция φα перечисляет общие неподвижные точки всех φβ для β<α.