单项选择题

在公理化思想中,A与非A都能导出叫做“不相容”,A与非A都不能导出叫做()。

A.“相容”
B.“不相斥”
C.“不完整”
D.“不完全”