A、公理系統(tǒng)不具有獨(dú)立性
B、公理系統(tǒng)不具有相容性
C、公理化方法的局限性
D、公理化方法的優(yōu)勢
您可能感興趣的試卷
你可能感興趣的試題
A、法國
B、德國
C、奧地利
D、瑞士
A、希爾伯特
B、萊布尼茨
C、馬克勞林
D、達(dá)朗貝爾
A、埃拉托斯特尼
B、歐幾里得
C、畢達(dá)哥拉斯
D、阿基米德
A.一致性
B.成套性
C.獨(dú)立性
D.安全性
A、42.0
B、64.0
C、93.0
D、130.0
最新試題
確立了數(shù)學(xué)演繹范式的著作是()
用圓錐曲線解三次方程的阿拉伯?dāng)?shù)學(xué)家是()
談?wù)剬εnD和萊布尼茨創(chuàng)立微積分優(yōu)先權(quán)的理解;并論述兩位創(chuàng)立微積分的相同點(diǎn)及不同點(diǎn)。
斐波那契綜合阿拉伯和希臘資料著成的關(guān)于算術(shù)和代數(shù)的重要著作是()
第一個(gè)給出微積分基本定理嚴(yán)格證明的是()
()的產(chǎn)生標(biāo)志了中國傳統(tǒng)數(shù)學(xué)“半符號代數(shù)”的產(chǎn)生。
()將三角形從天文學(xué)奴仆的地位解放出來,使三角學(xué)脫離了天文學(xué)成為一個(gè)獨(dú)立的數(shù)學(xué)分支。
近代數(shù)學(xué)的開端是解析幾何的誕生,被稱為“解析幾何之父”的是()
解析幾何的建立者是()
我國著名數(shù)學(xué)家()等人利用代數(shù)方法設(shè)計(jì)了一整套的機(jī)械化程序,在1980年前后實(shí)現(xiàn)了初等幾何和微分幾何中的一些主要定理的機(jī)器證明,國際上稱他的方法為“吳方法”,使得中國學(xué)者在數(shù)學(xué)機(jī)械化領(lǐng)域處于領(lǐng)先地位,為計(jì)算數(shù)學(xué)和計(jì)算機(jī)技術(shù)的發(fā)展開辟了廣闊的前景。