第475章 25.冯诺依曼

v_0=?。

v_α=up(v_β),β<α。(p(x)是x的集合。)

在为所有顺序数a定义v之后,放置次序如下:

v=uv_α,α∈on。

冯诺依曼宇宙(v)主要构成:

1.v_w=v_1uv_2uv_3u……v_nu……=uv_k,k<w。

2.v_λ=

1)p(v_α),若λ=α+1。

2)uv_k,若k是极限序数。

3.v=uv_k,k跑遍所有序数。

……

冯诺依曼宇宙(l)的部分定义:

1.l_0=?。

2.l_1=def=def(?)={?}

3.l_n+1=def

4.l_w=l_0ul_1u……ul_nu……=ul_k,k<w。

2.l_λ=

1)def(l_α),若λ=α+1。