- 901 名前：１３２人目の素数さん mailto:sage [2022/01/07(金) 19:40:10.96 ID:+m01boql.net]
- > 上記と同じだけど、強いて言えば、無限回だな
> そして
> 自然数Nの元の列 1,2,3,・・n・・で、∀nは有限だが、列の長さは可算無限です
> これをどう解釈して、自分なりに消化し納得するかは、その人のレベル次第です
> >１．いま、簡単のために、ノイマンがやったように、後者suc(a)=a∪{a}として、空集合φから出発して、自然数の集合Nを作るとする
> 空集合φから出発して、元を作る操作を何回やるつもり？
一般的には
(公理より)Nを定義して「自然数Nの元の列の長さ」を定義する
だと思うが
セタのレベル
「自然数Nの元の列の長さ」の回数を繰り返してNを定義する
