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

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

相关小说

外星少女在民国 连载中
外星少女在民国
忆轩孤梦
[这一本我更新的非常慢,原因是在于想完结其他本,然后再更新这个。先看其他的哦]【一本男女都可以看的小说】她是银河深处的紫幽星少女,身怀魔力。......
4.5万字9个月前
金花图万事书 连载中
金花图万事书
镀金鸢尾
愿望不都是美好的坚定的感情不都是充满对肉身及财富地位的渴望的人不都是为满足自己的灵魂而活的——当然,这要看你怎么判断这几句话了,是犹带猜疑的......
1.3万字8个月前
暶夜 连载中
暶夜
槑槑乐
我从深渊里来为了生存为了自由为了更迭
6.3万字7个月前
什么时候才能当主角 连载中
什么时候才能当主角
到处随逛
穿越剧情,星越祈穿越到各个剧情中,填各种的坑,填完之后还要带队友做业务,呵呵,不过越来越爽是怎么回事?
0.9万字7个月前
重生之顶尖修真者 连载中
重生之顶尖修真者
一夜长雨
重生女x狼狗男甄秋重生到修真世界,在这个过程中与陌桦相遇,二人从互相试探到真心相待,甄秋一边在修真世界努力升级,一边应对各种阴谋诡计,最终成......
1.3万字5个月前
模仿者那些事 连载中
模仿者那些事
子芮喵喵喵喵喵
模仿者游戏
0.8万字2个月前