关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告:维护QQ群:833371870,欢迎加入!公告:维护QQ群:833371870,欢迎加入!公告:维护QQ群:833371870,欢迎加入! 2022-06-19 1933年,哥德尔证明,把“连续统假设”加进该系统(集合论的ZF系统)中是: A: 独立的 B: 完全的 C: 相容的 D: 以上全部不是 1933年,哥德尔证明,把“连续统假设”加进该系统(集合论的ZF系统)中是:A: 独立的B: 完全的C: 相容的D: 以上全部不是 答案: 查看 举一反三 1933年,哥德尔证明,把“连续统假设”加进该系统(集合论的ZF系统)中是: 集合论的ZFC公理系统可以解决数学中的连续统假设问题。 “连续统假设”在上述在康托的集合论的系统内,既不能被证明,也不能被证否。 现代数理逻辑的四大分支是公理化集合论、证明论、模型论和哥德尔不完全性。() 连续统假设出自康托的集合论