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

一阶算术的小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),接着再看更方便。

相关小说

性格缺陷 连载中
性格缺陷
Le néant
【架空世界,双男主,1V1】男主喝了副作用最小的实验体,后期会很强。脑洞可能会有点奇怪,无厘头,男主不善良,有时候可能会有点小阴暗,甚至可能......
22.4万字6个月前
救命!这个外星人统治的世界! 连载中
救命!这个外星人统治的世界!
_白控
我,幸星海,需要拯救即将被外星人统治的水域。在白的帮助下,我来到了外星人统治的世界。将人类看做宠物?我不敢想下去了……
7.6万字5个月前
龙和吸血鬼 连载中
龙和吸血鬼
红竿
龙女,她不知族人还剩几个,也不知自己的长生有何意义。吸血鬼,猎杀和爱情带给他同等的神经震颤。他不知道自己是想杀了她,还是爱上了她。两个都不属......
20.7万字3个月前
乐曲的终章 连载中
乐曲的终章
穗岁碎觉
浮音飘渺,乐曲有始有终,乐曲的音符随指尖跳动,自由无可替代。为自己而活,为自己喝彩!
10.1万字3个月前
快穿:攻略对象非人类 连载中
快穿:攻略对象非人类
甜蜜的语言
【甜文+双洁】单身一万年的顾纤言被系统绑定。系统:想不想谈段甜甜的恋爱?顾纤言:想想想!!做梦都想!在系统的一顿忽悠下,顾纤言踏上了攻略美男......
3.4万字3个月前
无限重置 连载中
无限重置
补密码的课,写密码的作业
只是我写的无脑爽文,双男主林嘉言x牧赫一
3.9万字4周前