t_wの輪郭

せんたくこうり公理選択
ZFに選択公理を加えた集合論がZFC