>>924
> <でも≦でも整列は表現できるんだけどね

できない
ノイマンが基礎公理で ∈による整列順序付けで 等号成立を防いでいる
a≦a≦a≦・・・ ができるとまずい

>>925
>Q^NがどういうものかZFで定義できるというのとはまるで別のことではないかな

神の天地創造と同じで、一歩一歩が必要
天下りで Q^NからQの整列順序できました
は まずい

>>926
>Nが自然数全体の集合の集合論における標準構成なら ∀n∈N,∀m∈N:n∈m⇔n⊂m が成り立つ。

ノイマンは、自然数Nを超えて ∈による整列を
考えた

>等しい場合を含むか否かは広義順序か狭義順序かであって、整列順序はどちらでも良い。

一般数学と公理的集合論とは違うよ
公理的集合論では、使える道具は公理しかない(当たり前だが)
上記で述べたが 「a≦a≦a≦・・・」ができると 整列順序にならない

>>927-928
>有理数列 0,0,・・・ は有理数Q全体を整列させてないんだが
>有理数列とはNからQへの写像であって、Qの整列順序とはまったく関係無い

アホが
求めているのは、単なる有理数列ではない
任意(∀)無理数に収束する 有理コーシー列だよ