21/10/30 17:50:41.82 jsIfaBFZ.net
>>700
>>正則性公理により無限長の降鎖がないっていったら
>>「いや、無限長の昇鎖はある！」（だから降鎖もある）
>>って速攻で文句つけてたじゃん
>なんか、誤解があると思うな
>どの発言だい？ 他人の発言と勘違いじゃね？
覚えてないんだね 随分都合がいい頭だねｗ
>正則性公理が禁止しているのは、
>”∈”を使う二項関係を、集合の大小 ”＜”と見なしたときに
>空集合{}が最下層のどん底であり、
>”・・{}∈{}∈{}∈{} ”みたいな無限連鎖を禁止するってことです
文章がおかしいね
私ならこう書く
「正則性公理は
>”∈”を使う二項関係を、集合の大小 ”＜”と見なしたときに
空集合{}が最下層のどん底になるということ つまり、
・・{}∈{}∈{}∈{} ”みたいな無限連鎖を禁止するってことです」
君、文章読み返さないの？
>で、一般の二項関係の”＜”、
>つまり、普通の実数の大小と考えると
>負数の連鎖
> 0>-1>-2>-3>・・>-n>・・
>は考えられるよね。
>他にも、有理数の大小とか。
>それらは明らかに、無限下降列で、
>明らかにZFC内で、実数の集合Rは構成できるから、
>一般的な負数の連鎖などは、ZFC内で実現可能です
ああ、そうだよ
でも、その＜は∈ではないよね？
そして
・負の整数の全体集合
・有理数の全体集合
・実数の全体集合
のいずれも「＜に関する整列集合」ではないよね？
そこ、理解してる？