×
通過社交網站直接登錄
×
條@我的評論,查看@我
條新私信,查看私信
條新評論,查看評論
位新粉絲 查看粉絲
邏輯思維 邏輯推理 選擇題 思維 原創
於 2023-12-28 02:34提供 來源:33IQ網
一般
(20)

在一個前提:任何足夠強的形式系統中,總存在無法被該系統內的公理或規則證明或否定的命題。
題目:考慮一個形式系統S,其中包含一組公理和推理規則。假設S是足夠強大的系統,能夠描述自然數的基本性質。下面給出了一個陳述P:
p:在系統S中,存在一個命題G,它既不能被系統中的公理和規則證明,也不能被否定。
請根據上述陳述選擇下列正確的是?

標籤: 證明
著作權歸作者所有,轉載請聯繫作者獲得授權
答案:
解析:
25
收藏