>>570の都筑
> つまり、選択公理AC → 弱い従属選択公理DC にすると、連続濃度の集合族に対する 選択関数は 構成できない
 つまり、Solovay modelでは選択公理ACは成立しない
 これ分かる?