问答题

一个形式系统,如果它是无矛盾的,那么,它就具有不完备性和_______。

答案: 这个问题涉及到了哥德尔不完备性定理。哥德尔在1931年发表的不完备性定理表明,在任何包含基本算术的一致的形式系统中,都存...
微信扫码免费搜题