单项选择题

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

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