符号S。
我们先假定一个s函数
s(0)=?
s(1)=1,ω,Ω,阿列夫2,Ι,Mahlo基数,弱紧基数,P,U,F,RZ,UL,DM,GE,HR,JT,LU,RY,ZI,YT,HK,SU,Β,γ,Γ,δ,Δ,∞,∝,!,?,......的极限
s(2)=1,ω,Ω,阿列夫2,Ι,Mahlo基数,弱紧基数,P,U,F,RZ,UL,DM,GE,HR,JT,LU,RY,ZI,YT,HK,SU,Β,γ,Γ,δ,Δ,∞,∝,!,?,s(1),......的极限
s(3)=1,ω,Ω,阿列夫2,Ι,Mahlo基数,弱紧基数,P,U,F,RZ,UL,DM,GE,HR,JT,LU,RY,ZI,YT,HK,SU,Β,γ,Γ,δ,Δ,∞,∝,!,?,s(1),s(2),......的极限
.........
s(1,1)=重复上面的行动直到允许重复的″极限″
s(2,1)=1,ω,Ω,阿列夫2,Ι,Mahlo基数,弱紧基数,P,U,F,RZ,UL,DM,GE,HR,JT,LU,RY,ZI,YT,HK,SU,Β,γ,Γ,δ,Δ,∞,∝,!,?,s(1),s(2),s(1,1),......的极限
s(3,1)=1,ω,Ω,阿列夫2,Ι,Mahlo基数,弱紧基数,P,U,F,RZ,UL,DM,GE,HR,JT,LU,RY,ZI,YT,HK,SU,Β,γ,Γ,δ,Δ,∞,∝,!,?,s(1),s(2),s(1,1),s(2,1)......的极限
.........
s(1,2)=重复上面的行动直到允许重复的″极限″
s(2,2)=1,ω,Ω,阿列夫2,Ι,Mahlo基数,弱紧基数,P,U,F,RZ,UL,DM,GE,HR,JT,LU,RY,ZI,YT,HK,SU,Β,γ,Γ,δ,Δ,∞,∝,!,?,s(1),s(2),s(1,1),s(2,1),s(1,2)......的极限
s(3,2)=1,ω,Ω,阿列夫2,Ι,Mahlo基数,弱紧基数,P,U,F,RZ,UL,DM,GE,HR,JT,LU,RY,ZI,YT,HK,SU,Β,γ,Γ,δ,Δ,∞,∝,!,?,s(1),s(2),s(1,1),s(2,1),s(1,2),s(2,2)......的极限
............
s(1,3)=重复上面的行动直到允许重复的″极限″
............
...
s(1,1,1)=重复上面的行动直到允许重复的″极限″
............
............
............
...
S(0)=重复上面的行动，增加数列中数的项数，直到项数的″极限″
S(1)=把S(0)当作s(0)再重复进行上面的行动，直到允许重复的″极限″
S(2)=重复上面的行动(指S(1)的行动)直到允许重复的″极限″
S(3)=重复上面的行动(指S(2)的行动)直到允许重复的″极限″
...
S(1,1)=重复上面的行动直到允许重复的″极限″
S(2,1)=重复上面的行动(指S(1,1)的行动)直到允许重复的″极限″
S(3,1)=重复上面的行动(指S(2,1)的行动)直到允许重复的″极限″
......
s3(0)=重复上面的行动，增加数列中数的项数，直到项数的″极限″
.........
然后以此类推出s4(0)，s5(0)
.........
最后S等于s函数能迭代的最终极限。(只要还能继续迭代下去，就不算完。)