博士家园

查看: 257|回复: 2

[集合逻辑] 有关集合论ZFC系统中的问题

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

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

感谢版主,原来ZF系统这么弱啊。

关于我们|手机版|博士家园 ( 沪ICP备15045866号 )(沪公网安备沪公网安备 31011702001868号) 

GMT+8, 2018-7-19 13:39 , Processed in 1.218750 second(s), 15 queries , Gzip On.

Powered by Discuz! X3.2

© 2004-2018 Comsenz Inc.

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