C_0(α,β)={0,β}∪{θ(α,ξ)|ξ<β}
C_n+1(α,β)={γ+δ,θ(η,γ)|γ,δ,η∈C_n(α,β)∧η<α}
C(α,β)=∪[n<ω]C_n(α,β)
θ(α,β)=min{γ|γ∉C(α,β)}

θ(α,β)=φ(α,β)
θ(Ω+α,β)=φ(1,α,β)
θ(θ(1,Ω),0)=ψ(ε_(Ω+1))?
θ(θ(Ω,Ω),0)=ψ(Г_(Ω+1))?
θ(θ(θ(1,Ω),Ω),0)=?