@DsFeFD

εω指第ω+1个ε-序数
ε序数是函数f(α)＝ω^α的不动点

简单来说无限阶指数塔ω^ω^ω^……=ε0，第一个ε-序数，然后ε0^ε0^ε0^……=ε1，ε1^ε1^ε1^……=ε2，以此类推，重复无限次以上过程后就是εω。

ω={0,1,2,3,……}
定义函数f(m,n)
f(0,0)=ω
f(m,n+1)=f(m,0)^f(m,n)
f(m+1,0)=∪{f(m,n)|n∈ω}
则ε(n)=f(n+1)，n∈ω
ε(ω)=∪{ε(n)|n∈ω}