空でない任意の集合xのべき集合に選択公理を適用すれば、xの任意の空でない部分集合をその代表元に対応させる写像fが存在する。
x上の二項関係≦を f(x)≦f(x-{f(x)})≦f(x-{f(x),f(x-{f(x)})})≦・・・ で定義すれば≦は整列順序。
ここで写像fは具体的でないので≦も具体的でない。すなわち整列定理からはいかなる具体的整列順序も出てこない。

雑談くんには理解できないだろうなぁ（遠い目）