單項選擇題形式的公理化方法在邏輯上的要求,是滿足相容性,()和完全性。

A.一致性
B.成套性
C.獨立性
D.安全性


您可能感興趣的試卷

你可能感興趣的試題

1.單項選擇題9個平面可以把空間分為()部分。

A、42.0
B、64.0
C、93.0
D、130.0

2.單項選擇題單因子構(gòu)件湊成法進(jìn)一步被華羅庚以及他的一些學(xué)生發(fā)展,成為()。

A、“孫子—華原則”
B、“華羅庚原則”
C、“羅庚原則”
D、“孫子原則”

3.單項選擇題9條直線可以把平面分為()個部分。

A、29.0
B、37.0
C、46.0
D、56.0

5.單項選擇題5個平面最多可以把空間分為()個部分。

A、20.0
B、23.0
C、26.0
D、29.0

最新試題

中國數(shù)學(xué)的三個繁榮時期是()

題型:單項選擇題

我國著名數(shù)學(xué)家()等人利用代數(shù)方法設(shè)計了一整套的機械化程序,在1980年前后實現(xiàn)了初等幾何和微分幾何中的一些主要定理的機器證明,國際上稱他的方法為“吳方法”,使得中國學(xué)者在數(shù)學(xué)機械化領(lǐng)域處于領(lǐng)先地位,為計算數(shù)學(xué)和計算機技術(shù)的發(fā)展開辟了廣闊的前景。

題型:單項選擇題

高次方程數(shù)值求解集大成者是()

題型:單項選擇題

劉徽用割圓術(shù)得到的圓周率稱為徽率,化成分?jǐn)?shù)就是()

題型:單項選擇題

談?wù)剬εnD和萊布尼茨創(chuàng)立微積分優(yōu)先權(quán)的理解;并論述兩位創(chuàng)立微積分的相同點及不同點。

題型:問答題

微分方程近似解法的創(chuàng)始人是()

題型:單項選擇題

()的問世標(biāo)志了解析幾何的誕生,進(jìn)而標(biāo)志了近代數(shù)學(xué)開始。

題型:單項選擇題

歷史上最大的符號學(xué)者之一,他所創(chuàng)設(shè)的微積分符號遠(yuǎn)遠(yuǎn)優(yōu)于牛頓的符號,這對微積分的發(fā)展有極大的影響,他是()

題型:單項選擇題

簡述隋唐中國數(shù)學(xué)的兩件大事。

題型:問答題

()將三角形從天文學(xué)奴仆的地位解放出來,使三角學(xué)脫離了天文學(xué)成為一個獨立的數(shù)學(xué)分支。

題型:單項選擇題