DEF J_0＝{∅}
则
J_1＝P（J_0）＝{∅{∅}}
现，J_1与J_0为序数关系
若
J_1＝ω
那么继续
J_2＝ω↑1
J_3为ω↑2
……
若结尾(所有J层次中的自然数，如上述文中的J_0)为J_K，则为:
ω↑（J_K－1）
我们还可以继续开始:
ω↑（J_K＋1）
我们继续:
ω↑↑K
……
……
但这太小
所以我们用ω对ω进行幂运算
ω↑ω
……
……
ω→ω……
接着我们使用Veblen函数
φ（ω，0）
φ（ω，1）
……
……
φ（ω，ω）
……
……
φ（ω，ω→ω……）