ψ(λα.(ψ_(Ω_α＋1)(0))-Π_0)＝ψ(λα.(α)-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(0)＋1)-Π_0)＝ψ(λα.(α＋1)-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(0)＋λα.(ψ_(Ω_α＋1)(0)＋1)-Π_0)-Π_0)
＝ψ(λα.(α＋λα.(α＋1)-Π_0)-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(0)2)-Π_0)
＝ψ(λα.(α2)-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(0)α)-Π_0)
＝ψ(λα.(ψ_(Ω_α＋1)(1))-Π_0)
＝ψ(λα.(α^2)-Π_0)
这里就类似于BOCF，于是就不做详细分析
ψ(λα.(ψ_(Ω_α＋1)(Ω))-Π_0)
＝ψ(λα.(ε_α＋1)-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(Ω^2))-Π_0)
＝ψ(λα.(ζ_α＋1)-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(Ω^Ω))-Π_0)
＝ψ(λα.(φ(1,0,α＋1))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(Ω^Ω^Ω))-Π_0)
＝ψ(λα.(φ(1@(1,0),α＋1))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(Ω_2))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(Ω_ω))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(Ω_Ω))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(I))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(M))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(1st Π_3))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(Π_ω))-Π_0)
＝ψ(λα.(ψ_(Ω_α＋1)(λα.(α＋1)-Π_0))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(λα.(α2)-Π_0))-Π_0)
＝ψ(λα.(ψ_(Ω_α＋1)(Π(1,0)))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(λα.(α^α)-Π_0))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(λα.(ε_α＋1)-Π_0))-Π_0)
＝ψ(λα.(ψ_(Ω_α＋1)(λα.ψ_(Ω_α＋1)(Ω))-Π_0))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(λα.ψ_(Ω_α＋1)(Ω^Ω))-Π_0))-Π_0)
＝ψ(λα.(ψ_(Ω_α＋1)(λα.(φ(1,0,α＋1))-Π_0))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(λα.ψ_(Ω_α＋1)(Ω_2))-Π_0))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(λα.ψ_(Ω_α＋1)(I))-Π_0))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(λα.ψ_(Ω_α＋1)(I_ω))-Π_0))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(λα.ψ_(Ω_α＋1)(M))-Π_0))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(λα.ψ_(Ω_α＋1)(K))-Π_0))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(λα.ψ_(Ω_α＋1)(Π_ω))-Π_0))-Π_0)
于是我们里面又可以套娃稳定，稳定里又可以套ψ_(Ω_α＋1)(…)，一直这样套下去
才只是
ψ(λα.(ψ_(Ω_α＋1)(α))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(ε_α＋1))-Π_0)
注意，这里的差距太大了，你可以想象下
＝ψ(λα.(ψ_(Ω_α＋1)(ψ_(Ω_α＋1)(Ω)))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(φ(1,0,α＋1)))-Π_0)
＝ψ(λα.(ψ_(Ω_α＋1)(ψ_(Ω_α＋1)(Ω^Ω)))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(ψ_(Ω_α＋1)(Ω_2)))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(ψ_(Ω_α＋1)(I)))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(ψ_(Ω_α＋1)(M)))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(ψ_(Ω_α＋1)(K)))-Π_0)
ψ(λα.(ψ_(Ω_α＋1)(ψ_(Ω_α＋1)(Π_ω)))-Π_0)
设β(x)＝ψ_(Ω_α＋1)(x)
ψ(λα.(ψ_(Ω_α＋1)(ψ_(Ω_α＋1)(β(Ω))))-Π_0)
(ε_α＋1)
ψ(λα.(ψ_(Ω_α＋1)(ψ_(Ω_α＋1)(β(Ω^Ω))))-Π_0)
(φ(1,0,α＋1))
楼下继续