>>455
Hart氏のgame2は代表元の取り方を工夫すれば可算選択公理も必要ないよ