19/10/15 02:38:43 l79/50AZ.net
>>420
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
うん、どこにも ω={{…}} になるとは書かれてないねｗ
19/10/15 02:38:43 l79/50AZ.net
>>420
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
うん、どこにも ω={{…}} になるとは書かれてないねｗ