- 734 名前：１３２人目の素数さん [2025/01/27(月) 13:43:17.83 ID:T6In1xa/.net]
- >>674
f:P(A)-Φ→AはAの空でない任意の部分集合の代表元を定めている選択関数なんだよ
このfを用いて
a0=f(A)
a1=f(A-{a0})
a2=f(A-{a0,a1})
・・・
でAの元を並べ、α<β⇔aα<aβで(A,<)を定義することで、Aとsup{α|aα is defined}との順序同型写像を構成してるんだよ
それによってAが整列集合であることが言えるのさ
君、ぜんぜん分かってないね もう黙れば？ 口開くとアホなことしか言わないから
