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

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