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

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


你可能感興趣的試題

4.單項(xiàng)選擇題公理化方法的發(fā)展大致經(jīng)歷了這樣三個階段(),用它們建構(gòu)起來的理論體系典范分別對應(yīng)的是《幾何原本》、《幾何基礎(chǔ)》和ZFC公理系統(tǒng)。

A.實(shí)質(zhì)公理化階段、純形式公理化階段和形式公理化階段
B.形式公理化階段、實(shí)質(zhì)公理化階段和純形式公理化階段
C.實(shí)質(zhì)公理化階段、形式公理化階段和純形式公理化階段
D.純形式公理化階段、形式公理化階段和實(shí)質(zhì)公理化階段