论坛
官方消息
聊天室
教程
小黑屋
下载APP
发布
简体中文
繁体中文
English
한국어
日本語
Français
Italiano
Deutsch
Русский
登录
注册
简体中文
繁体中文
English
한국어
日本語
Français
Italiano
Deutsch
Русский
论坛
官方消息
聊天室
教程
小黑屋
下载APP
登录
注册
找回密码
分享
日常生活
聊天灌水
帖子 3005
互动 7652
关注 511
聊天灌水，聊聊八卦
3名版主
发布
全部
热门
精华
最新回复
最新发布
Galaxy沐梓狸
2025年7月3日 13:36:06更新
36次阅读
关注
私信
这里应该没有小鬼了吧
大家好 这里是沐梓狸。全网同名。以后会在这里已及红薯 b站更新ch绘画相关。谢谢你的喜欢 祝吃饭愉快😘～
9
3
分享
Lotus栀.
2025年7月3日 08:13:05发布
6次阅读
关注
私信
“煤炭大省”吗…
省拟
这究竟是美称…还是枷锁？
评分
回复
分享
云归
2025年7月3日 06:41:07发布
25次阅读
关注
私信
无
但愿这里无小鬼，已经被小鬼恶心吐J
7
1
分享
music
2025年7月3日 01:52:33发布
19次阅读
关注
私信
wc发现好东西！太太们还是太权威了
9
回复
分享
Divinity_Knowledge
2025年7月1日 11:59:30发布
46次阅读
关注
私信
其实连续统假设也是CH
什么叫不可判定？一个公理系统（如ZFC）只要自洽或者一致(这一般也被称为形式系统)，那就有多个模型(语言与解释的结合) 如果一个命题(可计算函数等等)在它的所有模型中为真或假，那么它一定能从公理系统证明得到真或假。 反之，如果一个命题(CH/GCH)在有的...
4
4
分享
上一页
1
…
149
150
151
跳转
511人已关注
分享
聊天灌水
聊天灌水，聊聊八卦
发布
关注
帖子
3005
互动
7652
阅读
4.8W+
版块版主
申请版主
元小白
超级版主
关注
云子笑yu
版主
关注
𝓛𝓾𝓯𝓽𝓶𝓮𝓷𝓼𝓬𝓱
版主
关注
创建话题
发布帖子
在手机上浏览此页面
登录
没有账号？立即注册
手机号
验证码
发送验证码
记住登录
账号密码登录
登录
用户名/手机号/邮箱
登录密码
记住登录
找回密码
|
免密登录
登录
注册
已有账号，立即登录
设置用户名
手机号
验证码
发送验证码
设置密码
注册
已阅读并同意
用户协议
公告
APP上线啦！上方导航栏下载！
--！注意！--如有视频/图片需要上传，请先查看教程
【点击查看教程】
点击左上角导航栏-聊天室可进行全站聊天
