论坛
官方消息
聊天室
小黑屋
水印工具
下载APP
发布
登录
注册
论坛
官方消息
聊天室
小黑屋
水印工具
下载APP
登录
注册
找回密码
快速登录
分享
日常生活
聊天灌水
帖子 1902
互动 5309
关注 345
聊天灌水，聊聊八卦
3名版主
发布
全部
最新发布
最新回复
热门
精华
music
7个月前发布
17次阅读
关注
私信
wc发现好东西！太太们还是太权威了
9
回复
分享
Divinity_Knowledge
7个月前发布
35次阅读
关注
私信
其实连续统假设也是CH
什么叫不可判定？一个公理系统（如ZFC）只要自洽或者一致(这一般也被称为形式系统)，那就有多个模型(语言与解释的结合) 如果一个命题(可计算函数等等)在它的所有模型中为真或假，那么它一定能从公理系统证明得到真或假。 反之，如果一个命题(CH/GCH)在有的...
4
3
分享
上一页
1
…
94
95
96
跳转
345人已关注
分享
聊天灌水
聊天灌水，聊聊八卦
发布
关注
帖子
1902
互动
5309
阅读
3.2W+
版块版主
申请版主
元小白
超级版主
关注
云子笑yu
版主
关注
𝓛𝓾𝓯𝓽𝓶𝓮𝓷𝓼𝓬𝓱
版主
关注
创建话题
发布帖子
在手机上浏览此页面
登录
没有账号？立即注册
手机号
验证码
发送验证码
记住登录
账号密码登录
登录
用户名/手机号/邮箱
登录密码
记住登录
找回密码
|
免密登录
登录
社交账号登录
使用社交账号登录即表示同意
用户协议
注册
已有账号，立即登录
设置用户名
手机号
验证码
发送验证码
设置密码
注册
已阅读并同意
用户协议
公告
--！注意！--如有视频/图片需要上传，请先查看教程
【点击查看教程】
APP上线啦！上方导航栏下载！
