vo＝（和上一章下面给出的终极l一样，这里都是“符号打不出来，于是近形替代”

v1＝｛｝

v2＝｛，｛｝｝

……

vn+1＝p（vn，p是幂集

v＝v1uv2u···uvnu···＝uvk

k＜

……………

丨p（vα若λ＝α+1

vλ＝｜

｜uvk若λ是极限序数

k＜λ

v＝uvkk跑遍所有序数

本章的丨

｜指的是大括号。

丨

。。。。。。。。。