以下列出的哪一项不属于公理系统需要满足的基本条件?()
A:无矛盾性
B:独立性
C:完备性
D:不完备性
出自:计算机科学