單項(xiàng)選擇題

哥德爾不完備性定理是他在1931年提出來(lái)的。這一理論使數(shù)學(xué)基礎(chǔ)研究發(fā)生了劃時(shí)代的變化，更是現(xiàn)代邏輯史上很重要的一座里程碑。它證明了任何一個(gè)形式系統(tǒng)，只要包括了簡(jiǎn)單的初等數(shù)論描述，而且是（）的，它必定包含某些系統(tǒng)內(nèi)所允許的方法既不能證明真也不能證偽的命題。

A.邏輯
B.自洽
C.自主
D.自足

你可能感興趣的試題

單項(xiàng)選擇題

為避免數(shù)學(xué)以后再出現(xiàn)類似問(wèn)題，數(shù)學(xué)家對(duì)集合論的嚴(yán)格性以及數(shù)學(xué)中的概念構(gòu)成法和數(shù)學(xué)論證方法進(jìn)行邏輯上、哲學(xué)上的思考，其目的是力圖為整個(gè)數(shù)學(xué)奠定一個(gè)堅(jiān)實(shí)的基礎(chǔ)。隨著對(duì)數(shù)學(xué)基礎(chǔ)的深入研究，在數(shù)學(xué)界產(chǎn)生了數(shù)學(xué)基礎(chǔ)研究的三大學(xué)派（）

A.抽象主義、現(xiàn)實(shí)主義、直覺(jué)主義
B.集合主義、抽象主義、形式主義
C.幾何學(xué)派、抽象學(xué)派、現(xiàn)實(shí)學(xué)派
D.邏輯主義、直覺(jué)主義、形式主義

單項(xiàng)選擇題

羅素悖論引發(fā)了數(shù)學(xué)的第三次危機(jī)，它的一個(gè)通俗解釋就是理發(fā)師悖論：在某個(gè)城市中有一位理發(fā)師，他的廣告詞是這樣寫的：“本人的理發(fā)技藝十分高超，譽(yù)滿全城。我將為本城所有不給自己刮臉的人刮臉，我也只給這些人刮臉。我對(duì)各位表示熱誠(chéng)歡迎！”現(xiàn)在的問(wèn)題是：如果理發(fā)師的胡子長(zhǎng)了，他能給自己刮臉嗎（）

A.能
B.不能
C.無(wú)結(jié)果