24小时热门版块排行榜

返回列表

玻尔兹曼之脑

新虫 (初入文坛)

应助: 0 (幼儿园)
金币: 24
帖子: 5
在线: 2小时
虫号: 5945269
注册: 2017-03-12
专业: 西方哲学史

[求助] 哥德尔不完备性定理怎么证明？

如图所示关于这个可表达性定理的说明，少一块，少的应该是什么？

发自小木虫Android客户端

回复此楼

» 猜你喜欢

1楼 2017-11-30 14:02:26

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

相关版块跳转我要订阅楼主玻尔兹曼之脑的主题更新

返回列表

最具人气热帖推荐 [查看全部]		作者	回/看	最后发表

[考研] 求调剂 +7	翩翩一书生 2026-04-09	7/350	2026-04-10 08:11 by Sammy2
[考研] 生物学调剂可调剂到生物与医药 +4	李政莹 2026-04-06	5/250	2026-04-10 08:10 by kangsm
[考研] 0703调剂 +18	拾玖壹 2026-04-04	20/1000	2026-04-09 20:53 by zhouxiaoyu
[考研] 计算机类求调剂，22408-274分 +5	上岸de小虫 2026-04-09	6/300	2026-04-09 20:48 by xujun0624
[考研] 一志愿上海大学生物学346 +4	上海大学346调剂 2026-04-03	4/200	2026-04-09 10:52 by yiminglu
[考研] 求调剂 +15	熊二想上岸 2026-04-04	15/750	2026-04-08 22:52 by 猪会飞
[考研] 化学0703-一志愿211-338分求调剂 +10	vants 2026-04-05	11/550	2026-04-08 16:02 by screening
[考研] 274求调剂求调剂 +10	Jachenbingoo 2026-04-06	13/650	2026-04-08 14:25 by zhq0425
[考研] 265求调剂 +19	小木虫085600 2026-04-06	21/1050	2026-04-08 10:38 by 逆水乘风
[考研] 312求调剂 +4	Say Never 2026-04-04	4/200	2026-04-08 08:41 by barlinike
[考研] 机械工程264学硕求调剂 +3	qiushangxian 2026-04-06	3/150	2026-04-08 01:53 by Linzejun
[考研] 计算机408｜在校多次国家级竞赛获奖｜申请调剂 +4	东山大白鹅 2026-04-05	4/200	2026-04-08 00:18 by chongya
[考研] 材料求调剂 +18	一样YWY 2026-04-05	18/900	2026-04-07 15:49 by dxlg
[考研] 080500求调剂 +12	黄宇博 2026-04-06	12/600	2026-04-07 12:41 by upczlm1989
[考研] 362求调剂一志愿中国石油大学 +4	我要考大 2026-04-06	6/300	2026-04-06 14:11 by 无际的草原
[考研] 346分的生物与医药08600求调剂 +6	常雨阳上岸 2026-04-05	7/350	2026-04-06 12:36 by lys0704
[考研] 专硕304找调剂，一线城市最好 +3	李lsl李 2026-04-05	3/150	2026-04-06 12:16 by ffffjjjj
[考研] 324求调剂 +3	k可乐 2026-04-05	4/200	2026-04-06 09:54 by 蓝云思雨
[考研] 081200-11408-276学硕求调剂 +4	崔wj 2026-04-04	5/250	2026-04-05 14:06 by imissbao
[考研] 求材料调剂一志愿南昌大学 328分 +5	yyy..... 2026-04-03	5/250	2026-04-03 13:46 by 百灵童888