>>700
>>正則性公理により無限長の降鎖がないっていったら
>>「いや、無限長の昇鎖はある!」(だから降鎖もある)
>>って速攻で文句つけてたじゃん 
>なんか、誤解があると思うな
>どの発言だい? 他人の発言と勘違いじゃね?
覚えてないんだね 随分都合がいい頭だねw

>正則性公理が禁止しているのは、
>”∈”を使う二項関係を、集合の大小 ”<”と見なしたときに
>空集合{}が最下層のどん底であり、
>”・・{}∈{}∈{}∈{} ”みたいな無限連鎖を禁止するってことです
文章がおかしいね

私ならこう書く
「正則性公理は
 >”∈”を使う二項関係を、集合の大小 ”<”と見なしたときに
 空集合{}が最下層のどん底になるということ つまり、
 ・・{}∈{}∈{}∈{} ”みたいな無限連鎖を禁止するってことです」

君、文章読み返さないの?

>で、一般の二項関係の”<”、
>つまり、普通の実数の大小と考えると
>負数の連鎖
> 0>-1>-2>-3>・・>-n>・・
>は考えられるよね。
>他にも、有理数の大小とか。
>それらは明らかに、無限下降列で、
>明らかにZFC内で、実数の集合Rは構成できるから、
>一般的な負数の連鎖などは、ZFC内で実現可能です
ああ、そうだよ
でも、その<は∈ではないよね?
そして
・負の整数の全体集合
・有理数の全体集合
・実数の全体集合
のいずれも「<に関する整列集合」ではないよね?
そこ、理解してる?