我来讲一下TON，@aeroplane32 看看对不对?
项:TON的一个概念。定义如下:
在n=k的系统中:
1. 0和Ω_k是项
2.如果a和b是项，那么C(a,b)也是。(C是一个二元函数，是TON的强度来源)
比较方法(对n=k的系统):
把两个项改写成只含C、0、Ω_k的形式，去掉括号和逗号，然后最后一位对最后一位，倒数第二位对倒数第二位，以此类推。每个位要么是“”，要么是C，要么是0，要么是Ω_k。从最后一位开始比，大小顺序为Ω_k＞0＞C＞“”，最后一位比较大的那个比较大。如果最后一位相同，那它们的大小顺序与它们去掉最后一位后的大小顺序相同。如果位数相同，每一位都相同，那两个项相等。

不能，理解TON光看明白英语是不够的

这里的ωth admissible"-stable有多大？超过了SAN吗？

@aeroplane32 @华山大嫂

Z代表Ω_2,d_0=C(Z2,0),d_n+1=C(Z,d_n),其中d=d_1
那C(Z+φ(d,d2),0),C(Z+d_2,0),C(Z+d_n,0)有多大？