>>583
あなたは整列定理を盛大に勘違いしてますね。
整列定理は整列順序の構成方法について何も主張してませんよ？　選択公理を仮定するなら整列順序が（具体的にどんな順序かは全く不明だが）存在すると主張しているのです。
整列定理における仮定である選択公理は選択関数の構成方法について何も主張してませんよ？　選択関数が（具体的にどんな関数かは全く不明だが）存在すると主張しているのです。
選択公理を仮定した証明の中である選択関数φの存在を推論してよいが、証明の結論にφが含まれてはならない。これは述語論理の推論規則の基本ですよ。
嘘だと思うならAIにでも聞いてごらんなさい。