選択公理がキモだとは思えないね
どこかで箱の中身を見ていないという前提を壊さないとありえないよ
単に箱の中身を見てるのが分かりにくいように定式化してるんじゃないの？