论坛
官方消息
小黑屋
水印工具
发布
登录
注册
论坛
官方消息
小黑屋
水印工具
登录
注册
找回密码
快速登录
分享
日常生活
聊天灌水
帖子 923
互动 2554
关注 229
聊天灌水，聊聊八卦
2名版主
发布
全部
最新发布
最新回复
热门
精华
云归
32天前发布
23次阅读
关注
私信
无
但愿这里无小鬼，已经被小鬼恶心吐J
7
1
分享
music
32天前发布
17次阅读
关注
私信
wc发现好东西！太太们还是太权威了
9
回复
分享
Divinity_Knowledge
33天前发布
28次阅读
关注
私信
其实连续统假设也是CH
什么叫不可判定？一个公理系统（如ZFC）只要自洽或者一致(这一般也被称为形式系统)，那就有多个模型(语言与解释的结合) 如果一个命题(可计算函数等等)在它的所有模型中为真或假，那么它一定能从公理系统证明得到真或假。 反之，如果一个命题(CH/GCH)在有的...
3
3
分享
上一页
1
…
45
46
47
跳转
229人已关注
分享
聊天灌水
聊天灌水，聊聊八卦
发布
关注
帖子
923
互动
2554
阅读
1.7W+
版块版主
申请版主
元小白
超级版主
关注
云子笑yu
版主
关注
创建话题
发布帖子
在手机上浏览此页面
登录
没有账号？立即注册
用户名/手机号/邮箱
登录密码
记住登录
找回密码
登录
社交账号登录
注册
已有账号，立即登录
设置用户名
设置密码
重复密码
注册
公告
--！注意！--如有视频/图片需要上传，请先查看教程
【点击查看教程】
扫码加拟人圈官方群聊
