97免费在线观看视频,亚洲综合自拍网,黄色毛片免费观看,热久久综合网,免费看日产一区二区三区狠狠操av,久久久涩涩涩,在线精品免费视频,人人插天天干,久久91精品国产91久久

<ruby id="5rtqz"><xmp id="5rtqz"></xmp></ruby>

<blockquote id="5rtqz"></blockquote>

<pre id="5rtqz"><strong id="5rtqz"></strong></pre>

<ins id="5rtqz"></ins>

單項選擇題

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

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

你可能感興趣的試題

單項選擇題

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

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

單項選擇題

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

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

<pre id="micf9"><strong id="micf9"></strong></pre>

<ruby id="micf9"><xmp id="micf9"></xmp></ruby>

<pre id="micf9"><strong id="micf9"></strong></pre>