×
通过社交网站直接登录
×
条@我的评论,查看@我
条新私信,查看私信
条新评论,查看评论
位新粉丝 查看粉丝
逻辑思维 逻辑推理 选择题 思维 原创
于 2023-12-28 02:34提供 来源:33IQ网
一般
(20)

在一个前提:任何足够强的形式系统中,总存在无法被该系统内的公理或规则证明或否定的命题。
题目:考虑一个形式系统S,其中包含一组公理和推理规则。假设S是足够强大的系统,能够描述自然数的基本性质。下面给出了一个陈述P:
p:在系统S中,存在一个命题G,它既不能被系统中的公理和规则证明,也不能被否定。
请根据上述陈述选择下列正确的是?

标签: 证明
著作权归作者所有,转载请联系作者获得授权
答案:
解析:
25
收藏