假设不能从常识知识提供的公理中演绎出来

后续精彩内容,请登录阅读