()正确数学文化（二十八）在公理化思想中，A与非A都能导出叫做“不相容”，A与非A都不能导出叫做()