http://www.ma.huji.ac.il/hart/puzzle/choice.html

game1は記事と一緒、game2は可算選択公理しか使わないバージョンです。