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

一阶算术的小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.3万字6个月前
异世界图书馆 连载中
异世界图书馆
镜蝶
〈别名:世界图书馆与少女梦谈〉一个偏远地区流传着一个传说,满月当空时,在荡漾着月辉的河中放下一只纸船,借着月光让纸船载着你一部分的灵魂,为你......
40.9万字4个月前
荆棘本无意 连载中
荆棘本无意
是你喵总
这是荆棘家离开后的故事,莱洛拉受伤被两位老人家救了,却意外害死了这两位老人家。后来,她化名为温溪并认识了阿鹤,结伴与羽逾等人一起去寻找莱洛拉......
2.1万字3个月前
恋爱的九九八十一面 连载中
恋爱的九九八十一面
春敬惊
有虐男师徒恋正常恋爱与笔下角色相恋...你想看的脑洞它都有
2.1万字2个月前
旧梦遇 连载中
旧梦遇
野草啊
大概就是说,楚江和邬渊的故事吧
0.4万字1个月前
总有Alpha想泡我家老大 连载中
总有Alpha想泡我家老大
泡泡糖小姐
Omega老大的甜蜜爱情故事,顶着最温柔的名头,打最狠的架
10.2万字3周前