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

一阶算术的小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.5万字5个月前
作者的发疯或随笔 连载中
作者的发疯或随笔
季亭.
作者的发疯随笔小日常而已啦,可能存在多元素,毕竟我有的时候可能就灵感爆发,嗯,想写一些如咒回文野的同人短文我可能就会写在这里,当然更多时候是......
0.5万字3个月前
她在惊悚童话中求生 连载中
她在惊悚童话中求生
蒲零月
末日孤魂穿越进童话副本追溯世界真相
2.1万字2个月前
排球:姓名 连载中
排球:姓名
AAA掺水苏威瓷兔批发商
涉及排球少年,未定事件簿孤爪研磨+北信介+赤苇京治+佐久早圣臣爱情向梦女+穆子悠亲情向梦女有梦图,谷子,此是梦文【请注意避雷,雷者左上角划走......
0.6万字2个月前
2068年的世界 连载中
2068年的世界
基拉哈斯提
2.3万字2个月前
捉住你的小尾巴 连载中
捉住你的小尾巴
淤鱼与欲
“重来一世,我会为你叛神……”迟安无奈苦笑道,醉卧在宫苑中的桃花树下。一朝间,迟安回到年少却什么都不记得,十三出头的迟安在马停街前接住了坠楼......
1.3万字昨天