数学百科
策梅洛集合论
2023-05-11
见“分离公理”.