(1)(S2):Sx≈Sy→x≈y (g)对任意n≥1,(S4n):A<nSr;≈x+1→0xn 其中(S1)、(S2)和(S4n)为上一节rs的公理。特别地,TscT<。 (6)证明:T<接受量词消去。(f) (S2)：Sx ≈ Sy → x ≈ y。 (g) 对任意 n ≥ 1，(S4.n)： ∧ i<n Sxi ≈ xi+1 → x0 ̸≈ xn。 其中 (S1)、(S2) 和 (S4.n) 为上一节 TS 的公理。特别地，TS ⊂ T<。 (6) 证明：T< 接受量词消去。 3