バナッハ=タルスキの定理の証明見たけど選択公理は本質じゃないだろ

バナッハ=タルスキの定理の証明見たけど選択公理は本質じゃないだろ (85ﾚｽ)
上下前次 1-新

12: １３２人目の素数さん [] 2024/12/24(火)13:18 ID:dg5Z7biM(1)
たぶん外延性公理がなければバナッハ・タルスキーを証明できないと思うが、
それを根拠に外延性公理がパラドキシカルだと言う人はいない
同様に選択公理もパラドキシカルではない