【原創(chuàng)】簡簡單單

240097

在一個(gè)前提：任何足夠強(qiáng)的形式系統(tǒng)中，總存在無法被該系統(tǒng)內(nèi)的公理或規(guī)則證明或否定的命題。
題目：考慮一個(gè)形式系統(tǒng)S，其中包含一組公理和推理規(guī)則。假設(shè)S是足夠強(qiáng)大的系統(tǒng)，能夠描述自然數(shù)的基本性質(zhì)。下面給出了一個(gè)陳述P：
p：在系統(tǒng)S中，存在一個(gè)命題G，它既不能被系統(tǒng)中的公理和規(guī)則證明，也不能被否定。
請根據(jù)上述陳述判斷G是真是假？

230025

本題真的有解嗎？

240097

頂一下