稳定？不确定再看一眼；；

镇
$[n]=$的第n项，$为任意合法表达式
a→(a+1)[ω]=ω^2
a→(a+1)[a→(a+1)]
={ω^2,ω^2*2,ω^2*3…ω^3,ω^3+ω^2……}
b→(a→(a+1)[b])
={ω^ω,ω^(ω2),ω^(ω3)…,ω^(ω^2),ω^(ω^2+ω)…}
b→(a→(a+1)[b])+1
={ω^ω+1,ω^(ω2)+1…,ω^(ω^2)+1,ω^(ω^2+ω)+1…}
(b→(a→(a+1)[b])[a→(a+1)]
={ω^(ω^2),ω^(ω^2*2),ω^(ω^2*3),…ω^(ω^3),ω^(ω^3+ω^2)…}
(b→(a→(a+1)[b])[b→(a→(a+1)[b])]
={ω^(ω^ω),ω^(ω^(ω2)),…ω^(ω^(ω^2)),……}
c→(b→(a→(a+1)[b])[c])
={ε₀,ε₁,ε₂,…εω,ε(ω+1),……}
d→(c→(b→(a→(a+1)[b])[c])[d])
={ζ₀,ζ₁,ζ₂,…ζω,ζ(ω+1),……}
(a→(a+1))→(Z→(a→(a+1)[Z]))=φ(ω,0)
Z代表不等于之前表达式已有的任何字母的任何字母
比如a→(a+Z)可以等于a+b+c+d+e…，但不能等于a+b+a+d+e…
先到这

我超，序数康威链（

反射没这么简单，有集合，有并集交集，然后后一项是前一项套不到的，然后再用类似φ的结构让其变得更强

反射是非递归记号

反射就是一个下一项折叠上一项的PrSS，然后简化了表达式，比如你看到反射中的3 1-2-3要展开，先把表达式反过来，去掉-（onto）就是3 2 1 3，前面加上1和2，就是 1 2 3 2 1 2 3，展开成1 2 3 2 1 2 2 2 2… 带回去是2–2-2-2-2-… 2 1-2-3，所以3 1-2-3折叠的就是2-^(α,β,γ,σ…) 1-2-3，另外插一嘴，我会扽西的SSO强度记号只有反射和UNOCF