t_wの輪郭
RSS
ZFC
選択公理
ZF
ZFに選択公理を加えた集合論がZFC
2024/8/18 8:59:00