>>176
>これが 理解できていれば、選択関数は
>整列可能定理の 関係R の構成を通じて 具体化可能だ！と
じゃあ実数の整列順序を構成してみて
整列可能定理でできるんでしょ？　よろぴくー