博士数学论坛

发表于 2017-10-10 17:27:11 | 显示全部楼层 |阅读模式
集合论(ZFC系统)中证明如下命题:存在A到B的满射,则存在B到A的单射。
必须用到选择公理吗?
问有构造性的证明吗?(或者可以用ZF系统中直接证明吗?)

发表于 2017-10-11 10:36:51 | 显示全部楼层
需要用到选择公理.

评分

1

查看全部评分

回复 支持 1 反对 0

使用道具 举报

 楼主| 发表于 2017-10-11 12:29:54 | 显示全部楼层
shuxue1985 发表于 2017-10-11 10:36
需要用到选择公理.

感谢版主,原来ZF系统这么弱啊。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

快速回复 返回顶部 返回列表