>>338
>BPIからACは出ないらしい
この点
環の極大イデアルの存在定理がACと同値
ベクトル空間の基底の存在定理がACと同値
というのとは違っているのが面白いね
面白いけど証明はたぶん俺には理解できないと思う