@kururu_goedel: @MarriageTheorem その通りなのですが、Zornの補題をそのまま使っていると気づきにくいかもしれませんね。そういうのを見ると、本質的に選択公理を必要とする状況がわりと稀だとわかると思います。私には必須ですが。2011-03-27 11:14:44 vi…