模型C中的(2~(ω_0))~+-树

对于任序数α,归纳定义C_α如下: C_0=φ; C_(α+1)=Def_1(C_α); λ为极限序数。