19/02/10 14:10:16.08 O9UzgKhM.net
>>456
>「時枝記事が成り立たないなら、選択公理が否定される」
時枝解法の仮定は選択公理のみだよ。
よって解法を否定するには唯一の仮定である選択公理を否定するしか無い。
>選択公理は、数列のしっぽの同値類の代表を選ぶときのみに使われて、
集合上に同値関係が与えられた時同値分割可能であることの証明は以前に提示した。
スレ主はその証明には選択公理が使われていると主張したが、証明のどこで使われているのか
という問いには未回答のまま。回答できないということは言いがかりに過ぎないということだ。