形式的公理化方法在逻辑上的要求,是满足()。
A.相容性
B.独立性
C.完整性
D.完全性
正确答案:ABD
形式的公理化方法在逻辑上的要求,是满足()。
3次阅读