どなたかご教示下さい.
Zermeloの選択公理を使って証明された存在定理は,存在してもその存在するものを構
成的に求めることができないというのは論理的に自明なことなのでしょうか.
例えば,Zermeloの選択公理を使って証明された次のバナッハタルスキの定理(逆理)を
実現するための分割方法は作り出せないのでしょうか.

バナッハタルスキの定理:
大きさの異なる二つの球体K,Lがある時,Kを適当に有限個に分割して,それらを同じ形
のまま適当な方法で寄せ集め,Lを作ることができる.

Skye