查看: 609|回复: 5

[逻辑推理] 【原创】简简单单

原创  简洁模式
发表于 2024-1-6 01:30:21 湖北| 发自安卓客户端 | 显示全部楼层
未经作者同意，禁止转载本篇谜题
在一个前提：任何足够强的形式系统中，总存在无法被该系统内的公理或规则证明或否定的命题。
题目：考虑一个形式系统S，其中包含一组公理和推理规则。假设S是足够强大的系统，能够描述自然数的基本性质。下面给出了一个陈述P：
p：在系统S中，存在一个命题G，它既不能被系统中的公理和规则证明，也不能被否定。
请根据上述陈述判断G是真是假？
| 发表于 2024-1-7 22:48:19 广西| 发自安卓客户端 | 显示全部楼层 发帖际遇
本题真的有解吗？
本帖子中包含更多图片或附件资源

您需要 登录 才可以下载或查看，没有帐号？加入学院

登录帐号可查看完整回帖内容
| 楼主| 发表于 2024-1-21 20:34:59 四川| 发自安卓客户端 | 显示全部楼层 发帖际遇
顶一下
返回版块
尚未登录
高级模式
您需要登录后才可以回帖 登录 | 加入学院