>>227
>そこな Sergiu Hart氏はネグって言っている
>が、正確には可算選択公理は必要なのだよ
どこに?