数学联邦政治世界观
超小超大

一阶算术的小trick

我们知道鲁宾逊算术 Q 是 Σ₀ 完全的,进而是 Σ₁ 完全的,即如果标准算术模型

𝕹 ⊨ ∃xφ(x) ,其中 φ(x) 无量词,那么 Q⊢∃xφ(x) 。事实上可以更进一步:假设 Q⊢∃xφ(x) ,那么存在 n 满足 𝕹 ⊨φ(¯n) ,由于 Q 是 Σ₀ 完全的,因此 Q⊢ φ(¯n) 。换言之,如果对某个存在公式 ∃xφ(x) 是 Q 的定理,那么一定存在某个实例 n 满足 φ(¯n) 是 Q 的定理。例如,如果哥德巴赫猜想为假,那么存在一个大于4的偶数 m 不能表示为两个奇素数之和,那么 Q⊢ ¬G(¯m) ,其中 G(x) 表示“满足哥德巴赫猜想”。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

梦:我的一百零一个梦 连载中
梦:我的一百零一个梦
聪明的呆子
他们说,梦里梦到的人,现实就见不到了如果我说我不信呢,我一定会见到你的
0.6万字4个月前
际缘 连载中
际缘
钰柳州
【双男主】+【回忆杀】+【小甜饼】+【幻想】霁清轩和顾闫旭认识,相识许多年,却在结婚几年后出轨。顾闫旭在医院好似出现了幻觉,看到了18岁的霁......
2.0万字3个月前
凌安诺 连载中
凌安诺
埋葬_00207106129821649
一位是清冷的大师兄,一位是皎皎如月的小师妹,他们是人人称赞的模范夫妻……只是小师妹消声灭迹,寻不到人影。大师兄身负重伤,昏迷不醒……
0.7万字2个月前
快穿之我在游戏里当大佬 连载中
快穿之我在游戏里当大佬
子非珏
南宫陌离和君沐泽从小是青梅竹马,全球有些人手腕上有倒计时而消失,他们到家KW游戏世界里,一路上一起和伙伴们通关副本,最终得到了真相……(南宫......
0.6万字3周前
变成男人去救世 连载中
变成男人去救世
白云衣
兽人、羽人、鲛人…没带脑子,想哪儿是哪儿,大女主,全文女主最大。
7.3万字1周前
除了六哥,我们,全都是重生的 连载中
除了六哥,我们,全都是重生的
半生忧伤
(除了主cp外,还有副cp以及同人文cp)先虐后甜百里滟是东临国将军府的嫡小姐,爹爹是东陵国的百里大将军,她上面有六个哥哥,个个人中龙凤…东......
4.2万字19小时前