20/11/08 16:05:12.86 bKzT4Sg/.net
>>802
>２）もう一つは、無限公理を若干手直しして、
> 任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する
> ↓
> 任意の要素 x に対して {x} を要素に持つ集合が存在する
> とすること
それはツェルメロの後者関数を使った場合のωの作り方だな
1={0}
2={1}={{0}}
3={2}={{{0}}}
この場合も
ωは
･0を要素とする
･nを要素とすれば、n+1={n}を要素とする
ので、{0,1,2,…}
結果は同じ ただ個々の自然数を表す集合が異なるだけ
こんな簡単なことも理解できないんじゃ
IUTどころか微積分も線形代数も…
♪無理～、サファリパーク