單項選擇題

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

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

微信掃碼免費搜題