19/11/30 08:57:33 80qUAbW7.net
今の集合論は反復的集合観に基づいてる
まず、集合でない対象は存在しない。すべて集合ｗ
空集合{}から始め、順々にベキ集合をつくっていく
第０段階 {}
（１個）
第１段階 {}、{{}}
（２＾１＝２個）
第２段階 {}、{{}}、{{{}}}、{{},{{}}}
（２＾（２＾１）＝４個）
第３段階 {}、{{}}、{{{}}}、{{{{}}}}、{{{},{{}}}}、
{{},{{}}}、{{},{{{}}}}、{{},{{},{{}}}}、
{{{}},{{{}}}}、{{{}},{{},{{}}}}、{{{}}},{{},{{}}}}、
{{},{{}},{{{}}}}、{{},{{}},{{},{{}}}}、
{{},{{{}}},{{},{{}}}}、{{{}},{{{}}},{{},{{}}}}、
{{},{{}},{{{}}}},{{},{{}}}}
（２＾（２＾（２＾１））＝１６個）
・・・
有限段階の反復的集合を全部合わせたものが遺伝的有限集合（可算個）
見ればわかるが、第ｎ段階で、
フォン・ノイマンの順序数ｎも
ツェルメロの順序数ｎも生成される