【名词&注释】
安全性(safety)、一致性(consistency)、解析几何(analytic geometry)、相容性(compatibility)、完全性(complete)、数学归纳法(mathematical induction)、实验法(experimental method)、有贡献(have contributed to)、公理化方法(axiomatic method)、集合论(set theory)
[单选题]形式的公理化方法(axiomatic method)在逻辑上的要求,是满足相容性,()和完全性。
A. A、一致性
B. B、成套性
C. C、独立性
D. D、安全性