形式的公理化方法在逻辑上的要求,是满足()。

形式的公理化方法在逻辑上的要求,是满足()。

A.相容性

B.独立性

C.完整性

D.完全性

正确答案:ABD

猜你喜欢