>>645
>ここで、Jech, Thomas の工夫はαという順序数を 選択関数 f に組み込んだことにあるよ
選択関数の定義域は2^A-{}、値域はAであって、どこにも順序数は無いんだが、「順序数を選択関数に組み込む」って何？
何をどう勘違いしたの？