>>631
>>ただφ自体は、選択公理という仮定によって誕生しているから
>>これについては何の情報もない
>から
>>具体的にどんな順序かは全く不明(>>619)
>が帰結される。

まあ、そういうだろうとおもって
>>629を書いた（笑）

>整列定理の証明は整列順序を構成はしているが、
>その構成に非構成的である選択関数を使っているから
>結局整列順序は非構成的。

選択関数が具体的に構成できる場合は
証明の方法で構成できるから
その整列順序も構成的・・・というのは屁理屈？

私はそうは思わないが・・・あくまで個人の感想（笑）