ID:Fks/xBY2 は 高校数学�Tの対偶が分かってない

選択公理 ⇒ 成立 の対偶は
不成立 ⇒ 選択公理の否定