>>558
(引用開始)
>「空でない集合のいずれか一元を選択できる」
の反例を示して
(引用終り)

・集合論のド素人か
・下記 Vitali set →Solovay model（ZFCで選択公理を弱い従属選択公理DCに換えたモデル：非可測集合が存在しない）
・つまり、選択公理AC → 弱い従属選択公理DC にすると、連続濃度の集合族に対する 選択関数は 構成できない
・これが、反例と呼べるか否かはしらないが、選択公理ACの否定DCで Solovay modelができて 実数の集合が全てルベーグ可測になるよ
ｗ ；ｐ）

(参考)
en.wikipedia.org/wiki/Vitali_set
Vitali set
In mathematics, a Vitali set is an elementary example of a set of real numbers that is not Lebesgue measurable, found by Giuseppe Vitali in 1905.[1]
Role of the axiom of choice
The construction of Vitali sets given above uses the axiom of choice. The question arises: is the axiom of choice needed to prove the existence of sets that are not Lebesgue measurable? The answer is yes, provided that inaccessible cardinals are consistent with the most common axiomatization of set theory, so-called ZFC.
In 1964, Robert Solovay constructed a model of Zermelo–Fraenkel set theory without the axiom of choice where all sets of real numbers are Lebesgue measurable. This is known as the Solovay model.[3]

en.wikipedia.org/wiki/Solovay_model
Solovay model
ja.wikipedia.org/wiki/%E3%82%BD%E3%83%AD%E3%83%B4%E3%82%A7%E3%82%A4%E3%83%A2%E3%83%87%E3%83%AB
ソロヴェイモデルはロバート M. ソロヴェイ (1970)によって構成されたモデルでツェルメロ＝フレンケル集合論 (ZF) の全ての公理が成り立ち、選択公理を除去し、実数の集合が全てルベーグ可測であるようにしたものである。この構成は到達不能基数の存在に依拠している。
これによってソロヴェイはルベーグ不可測集合の存在をZFC (ZF+選択公理) から証明するには、少なくとも到達不能基数の存在がZFCと矛盾しない限り、選択公理が本質的に必要であることを示した。
ステートメント
DC は従属選択公理の略記とする。
ソロヴェイの定理は次のことである。 到達不能基数の存在を仮定する。このとき、適切な強制拡大 V[G] の ZF+DC の内部モデルであって、実数のいかなる集合も全て、ルベーグ可測であって perfect set property を満たしベールの性質を満たすというモデルがある。

en.wikipedia.org/wiki/Axiom_of_dependent_choice
Axiom of dependent choice
In mathematics, the axiom of dependent choice, denoted by
DC, is a weak form of the axiom of choice (AC) that is still sufficient to develop much of real analysis.

ja.wikipedia.org/wiki/%E5%BE%93%E5%B1%9E%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
従属選択公理(DCと略される)とは、選択公理(AC)の弱い形で、しかし実解析の大部分を行うのに十分な公理である。これはパウル・ベルナイスによって1942年の、解析学を実行するのに必要な集合論的公理を検討する逆数学の論文で導入された。[a]
他の公理との関連
従属選択公理は可算選択公理を導き、それより真に強い公理である