t_wの輪郭

選択公理
ZFに選択公理を加えた集合論がZFC