測度論の本に非可測集合とかバナッハタルスキの定理が出てきて、久しぶりに選択公理についてあれこれ考えてしまった。

バナッハタルスキは1個の球と2個の球という特殊な形で述べられているけど、もっと一般的な形で証明出来るはず(おそらく任意の図形が合同なんじゃないか)。そうなると、合同という言葉自体に意味がなくなって居るのではないか?