連続体仮説は選択公理を導く。