「フォン・ノイマン宇宙」の版間の差分
削除された内容 追加された内容
編集の要約なし |
m lk |
||
10行目:
* ''V''<sub>0</sub>は[[空集合]], {}とする。
* 各[[順序数]] βに対して、''V''<sub>β+1</sub>は''V''<sub>β</sub>の[[冪集合]]とする。
* 各[[極限順序数]] λに対して、''V''<sub>λ</sub>は、次の[[合併 (集合論)|和集合]]とする:
*: <math> V_\lambda := \bigcup_{\beta < \lambda} V_\beta</math>
|